{"entities":{"Q2336155":{"pageid":2346898,"ns":120,"title":"Item:Q2336155","lastrevid":57312663,"modified":"2026-03-30T09:28:50Z","type":"item","id":"Q2336155","labels":{"en":{"language":"en","value":"Formal modeling and analysis of fairness characterization of E-commerce protocols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7131345"}},"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":"Q2336155$3A4F0922-1422-43A4-B2B1-978E5E425939","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9faf8eb5ac3fb9192aed31f8899bed3dc01b279c","datavalue":{"value":{"text":"Formal modeling and analysis of fairness characterization of E-commerce protocols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2336155$327432ED-CCB4-4118-9957-DCC44C4AE64A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3684a41cb5acbf7c864b709fa136e5dffbc0915c","datavalue":{"value":"1437.68018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2336155$344DF2ED-7A40-4211-BDA1-657F120A0323","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cc833489cab79bb92dd553d6225f2b73d06979b0","datavalue":{"value":"10.1155/2014/138370","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2336155$AD8B0219-AAD0-4819-B5E3-9A176E94D1BD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bdbb97aee560d27c698293cffe5b59e3c96f92d9","datavalue":{"value":{"entity-type":"item","numeric-id":623921,"id":"Q623921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336155$6A187F1C-6BB9-4DD4-BE13-0EF37B454A1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec17470febb753c947bc4f99345c79e9a4f2767a","datavalue":{"value":{"entity-type":"item","numeric-id":280523,"id":"Q280523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336155$645F7B95-B47E-413E-BBC4-19C80E06B16B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c43fba3a291ae0f0f13d4461800ed099df70ec44","datavalue":{"value":{"entity-type":"item","numeric-id":2336154,"id":"Q2336154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336155$5C4D2F06-644E-48D0-A2D5-F802185E390A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"75c788aca87bb31f7a74578e70063dc4fd1b9e5a","datavalue":{"value":{"entity-type":"item","numeric-id":479412,"id":"Q479412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336155$E25C12CC-B30C-414D-BB5A-36804ABF408A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0467f00d186915bbdc8d0486fd0cb1fccd52f960","datavalue":{"value":{"entity-type":"item","numeric-id":490281,"id":"Q490281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336155$A9592801-07AF-41FD-AC56-7A347E421A5F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bb299feb2b87699ac8beef494c52fd2765eaf609","datavalue":{"value":{"entity-type":"item","numeric-id":118601,"id":"Q118601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336155$DD02746A-2731-4993-8DBC-72CC8B231628","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"10393ba55f1a886ba53e75eccd4b56403eff1eb9","datavalue":{"value":{"time":"+2019-11-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2336155$BEBE5324-5FB4-45BA-8A07-1A11F1E84C06","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"18476dbaa61f2d22ef82809f4024cf863422606e","datavalue":{"value":"Summary: In the past, fairness verification of exchanges between the traders in E-commerce was based on a common assumption, so-called nonrepudiation property, which says that if the parties involved can deny that they have received or sent some information, then the exchanging protocol is unfair. So, the nonrepudiation property is not a sufficient condition. In this paper, we formulate a new notion of fairness verification based on the strand space model and propose a method for fairness verification, which can potentially determine whether evidences have been forged in transactions. We first present an innovative formal approach not to depend on nonrepudiation, and then establish a relative trader model and extend the strand space model in accordance with traders' behaviors of E-commerce. We present a case study to demonstrate the effectiveness of our verification method.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2336155$B560A839-36C0-43D2-B459-68EB6E0D6E0F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2336155$10CB4C19-3B7E-4A9E-BE2E-1A658FA4870E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2336155$1A25BA94-1331-4B34-A45A-DBEC6C034C96","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ef40ecb0f94c75445638ad081f361c6cd94dc0da","datavalue":{"value":"7131345","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2336155$433C8C2C-2BD0-4330-8BF0-8CCEF7854B14","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"acc837ea7c3325988276693c9210e342db43800b","datavalue":{"value":"Q59049557","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2336155$39128A3A-E628-462C-B944-8144DB09EBFA","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":"Q2336155$D4DDDB0B-CCFE-475C-BE36-F075261C3DBB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d2b21ca67a656e13d57b5fe484c77df22f6597dd","datavalue":{"value":"https://doi.org/10.1155/2014/138370","type":"string"},"datatype":"url"},"type":"statement","id":"Q2336155$A1C066C0-747D-4E99-8B20-19F373CBD80A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f0ce8be33a5fe2196694dd6363459b6b8be1d35c","datavalue":{"value":"W2123724485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2336155$8F382128-04C8-4C43-B48C-1250E8CFCAA1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"332e157eb7283fa0c1e5f812f8647f043f9662d9","datavalue":{"value":{"entity-type":"item","numeric-id":4250674,"id":"Q4250674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336155$7D38AB69-B7D6-472F-B49C-F29C148CCE1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88841c928c327a6860d292686b79d9d48a1bdc75","datavalue":{"value":{"entity-type":"item","numeric-id":4484507,"id":"Q4484507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336155$E23E1457-C213-4269-BA41-69C26FED2BFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a11c31fc1a1ea5b89d891d2de7b328dc2bb7c81","datavalue":{"value":{"entity-type":"item","numeric-id":5170670,"id":"Q5170670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336155$C5E44046-DD93-4072-8839-C62057E379E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17bc581a4601573a8e1cd5d0d5367514c6cb3fe2","datavalue":{"value":{"entity-type":"item","numeric-id":437028,"id":"Q437028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336155$D9946EF0-ED66-44FB-A521-47F0B4D57332","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"811a53a40a1eccf74e04a9ae45ea14feebfab753","datavalue":{"value":{"entity-type":"item","numeric-id":5714530,"id":"Q5714530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"689bd1016396e240bf513e899416d8b0a1411a9a","datavalue":{"value":{"amount":"+0.8203125596046448","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2336155$65BB7245-C47D-4019-B61C-55C8AC46D7F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03e895ccc425892d2259f66f4230fe6adcaa798e","datavalue":{"value":{"entity-type":"item","numeric-id":866173,"id":"Q866173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89b6d3dc2a603d25877e50025eb752e3848e3bc9","datavalue":{"value":{"amount":"+0.7768456935882568","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2336155$CA375C24-C868-4FD3-B65C-CC03C3C6018A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63be283a7aa410d257eff5ae3a39699b64d79bf5","datavalue":{"value":{"entity-type":"item","numeric-id":4413343,"id":"Q4413343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"499fc5df6df5decc54ce51e2fe1f820daad051f8","datavalue":{"value":{"amount":"+0.7647453546524048","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2336155$57DFA708-BE8F-4948-8729-7E1AB508AB54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46f9ce0cea134d292c77c91de3ea3c9c35050dc2","datavalue":{"value":{"entity-type":"item","numeric-id":4415933,"id":"Q4415933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4db1de55043c1f99b786d7acb4c7021d5abf1f6","datavalue":{"value":{"amount":"+0.7638209462165833","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2336155$DF708BD0-59E3-457C-B233-E76D4BECAFF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6343e7e97a1b2758f1079de2a981fba9b65e9060","datavalue":{"value":{"entity-type":"item","numeric-id":2321532,"id":"Q2321532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e63e030a440e562d6e2c174d7ad00e70e65192b","datavalue":{"value":{"amount":"+0.7574688196182251","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2336155$7D0E538A-8E46-427D-92F2-68FCA547E608","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":"Q2336155$4F532FAF-2323-4BBE-B59A-C6B233AA1115","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2336155","badges":[]}}}}}