{"entities":{"Q2321532":{"pageid":2332275,"ns":120,"title":"Item:Q2321532","lastrevid":78568580,"modified":"2026-05-06T11:54:25Z","type":"item","id":"Q2321532","labels":{"en":{"language":"en","value":"Fairness analysis for multiparty nonrepudiation protocols based on improved strand space"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7097779"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2321532$3A8D9995-D43C-444A-839E-FBA9364E3B9A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"322b004faf12a1af8e32419e12585ea6307ef263","datavalue":{"value":{"text":"Fairness analysis for multiparty nonrepudiation protocols based on improved strand space","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2321532$44626076-E0B8-456F-83E9-99C9CD4ADC1F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bdc80d529663d8136347d8ee00c180f4d1298ff2","datavalue":{"value":"1419.68050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2321532$9958FF82-8566-4380-8C94-C2D4069C75C8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e35db7632ee7426ae0bea44b664547aa97ca30b7","datavalue":{"value":"10.1155/2014/904717","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2321532$04000417-3631-484B-813A-34B5B94140AF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e095005b3bcc1e95b3fe798bb9b24d09d44d234","datavalue":{"value":{"entity-type":"item","numeric-id":294100,"id":"Q294100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2321532$D07C0D42-83C8-4045-A3A9-DC50F5A5FB3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0a530172623020b8fda695f6c371dd7a5fbcfc75","datavalue":{"value":{"entity-type":"item","numeric-id":283618,"id":"Q283618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2321532$D4E6D744-3211-4A22-B3B7-990B3A2B2347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e9b71ec7b9346c2801f285d6e869a28290af99d","datavalue":{"value":{"entity-type":"item","numeric-id":2321531,"id":"Q2321531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2321532$7273D50B-BCCD-4B02-AB40-580A0B391899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"06a8fff41e39ce5c818c27553766fe610af823b8","datavalue":{"value":{"entity-type":"item","numeric-id":655112,"id":"Q655112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2321532$5907013B-EA57-4704-9865-C2AC059AC3CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b522fe0a425b66cc555d4a8f94b91542f842f90","datavalue":{"value":{"entity-type":"item","numeric-id":474179,"id":"Q474179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2321532$229C4A15-33C9-42CA-BAF0-2A0D9AFC3772","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e5ea7bc024fe2946ca15646035f056e2ab96db7a","datavalue":{"value":{"entity-type":"item","numeric-id":169945,"id":"Q169945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2321532$C9F4E5E6-D079-4E7F-A1DA-452DF6E5CA4B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c21f6f773503b951c39a43e888d8d232f7bcd1c5","datavalue":{"value":{"time":"+2019-08-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2321532$26896A6A-6C72-43E1-BADA-E23FA8085C58","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"975a6f58a97fe60066d7f806af7e0c0d7fa298f0","datavalue":{"value":"Summary: Aimed at the problem of the fairness analysis for multiparty nonrepudiation protocols, a new formal analysis method based on improved strand space is presented. Based on the strand space theory, signature operation is added; the set of terms, the subterm relation and the set of penetrator traces are redefined and the assumption of free encryption is extended in the new method. The formal definition of fairness in multi-party non-repudiation protocols is given and the guideline to verify it based on improved strand space is presented. Finally, the fairness of multi-party non-repudiation protocols is verified with an example of Kremer-Markowitch protocol, which indicates that the new method is suitable for analyzing the fairness of multiparty nonrepudiation protocols.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2321532$E2301EB6-3B6A-43AA-BD7F-2CEA778F3261","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2321532$A1819D16-3EE6-48E3-9661-A339B9276ECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2321532$D77A50EB-DE18-406B-8E56-5A8D073F5409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2321532$BB242421-3A37-4617-84B0-D03145FE4CEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2321532$D3E117B7-CC25-4CA9-8693-3CCE042A3BDF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7df35b18817fb2052ac7eeedbc75717f55778806","datavalue":{"value":"7097779","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2321532$E091FBC1-8997-4062-ABA0-91F978D3B530","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"16672c5149fb0683329a3112047e5e0aaf67b305","datavalue":{"value":"Q59038278","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2321532$087FC1FF-B861-4784-92CD-D2252468FEA5","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2321532$9CC6F3A1-F7A8-4CF7-95A6-78B5DF5398DE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"19fa5b17d8d5c27b6bffb9d8b5590c3ceae94867","datavalue":{"value":"https://doi.org/10.1155/2014/904717","type":"string"},"datatype":"url"},"type":"statement","id":"Q2321532$21271A7A-BB09-4DFA-820F-136DE19C4E63","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7cc27bb2bdbedfaacf52c25589a0190c36a199a1","datavalue":{"value":"W2056728561","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2321532$290272A0-A961-4C97-9272-42BA302B4666","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"92229fa51badf6439310ef0010581f48ff22dec5","datavalue":{"value":{"entity-type":"item","numeric-id":4791273,"id":"Q4791273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2321532$C4B83A12-2B52-4FFA-A301-6E951417244D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8092662f6c5e5c918be8d38fc112657e0d2efc93","datavalue":{"value":{"entity-type":"item","numeric-id":2849849,"id":"Q2849849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2321532$DA6705BB-0BDC-40FB-A791-4CC1025BD724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b54fe21d69f73e3035ec05f9a01283bd218e405","datavalue":{"value":{"entity-type":"item","numeric-id":5326763,"id":"Q5326763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2321532$0AEB83F3-1CB7-4D6E-8A28-636B7455E58A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c316a0949639d161e15386a384e30f606ea5662","datavalue":{"value":{"entity-type":"item","numeric-id":5712254,"id":"Q5712254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14b88b5a10559e6b22952b36bc03497915951e90","datavalue":{"value":{"amount":"+0.8867682","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2321532$DBC99311-E052-461A-A80F-A20C755818B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1659f0a636a33f8ec06161979efac61fae871309","datavalue":{"value":{"entity-type":"item","numeric-id":3562892,"id":"Q3562892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8cb85d5d615a8ceba995adb6a93279554f3e957","datavalue":{"value":{"amount":"+0.8436195","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2321532$53F27714-6A98-4743-B105-BA4D80F54744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0801b891eb24f125bba5e02e3ed85012c718ed2","datavalue":{"value":{"entity-type":"item","numeric-id":882700,"id":"Q882700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20d87b77a9bf64872dcc713c445e3b3a2abfecd8","datavalue":{"value":{"amount":"+0.84250796","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2321532$5AD4143B-FAAA-49F0-AADD-FF7C2DBB55B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42307fe91b5cca0274df19616d911b30d64e9ee6","datavalue":{"value":{"entity-type":"item","numeric-id":3102014,"id":"Q3102014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eed5369ac0478d08d51bcd012815ac26b2238b88","datavalue":{"value":{"amount":"+0.8292879","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2321532$2D0449D3-C186-4829-811D-E370E87D5D11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e934e1613b19f7d69dc929b56fe02381524dab30","datavalue":{"value":{"entity-type":"item","numeric-id":2796263,"id":"Q2796263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd1e2fff4d0f58777d16e89563ec7a3ccbcb1df6","datavalue":{"value":{"amount":"+0.8239354","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2321532$1F65B587-2FD6-4A94-B683-13B0B6A12305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73f532de794b6112a5c7f36bcf8a9667724b6582","datavalue":{"value":{"entity-type":"item","numeric-id":2576587,"id":"Q2576587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9898ba53969c065429a41f2e1f55e63a4220a07a","datavalue":{"value":{"amount":"+0.8186866","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2321532$F35210B4-791B-4988-82DE-82273EC53FB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb874e658e6c109bad0eca9b1bb86bfac6cb4575","datavalue":{"value":{"entity-type":"item","numeric-id":5393987,"id":"Q5393987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ab6c83906d6993c783466743f918147b5f22bfe","datavalue":{"value":{"amount":"+0.81800896","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2321532$6FAE88A9-2C97-4E7E-ACA5-8E3C88D63EC4","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"daf5f856a5d861312ad309ab567540337a5f61d6","datavalue":{"value":{"entity-type":"item","numeric-id":57050,"id":"Q57050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2321532$ED0A7787-49D1-4175-8173-F9883A5B8B08","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Fairness analysis for multiparty nonrepudiation protocols based on improved strand space","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Fairness_analysis_for_multiparty_nonrepudiation_protocols_based_on_improved_strand_space"}}}}}