{"entities":{"Q5862307":{"pageid":7891858,"ns":120,"title":"Item:Q5862307","lastrevid":54242114,"modified":"2026-01-26T13:04:38Z","type":"item","id":"Q5862307","labels":{"en":{"language":"en","value":"A cryptographically sound Dolev-Yao style security proof of the Otway-Rees protocol"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7485493"}},"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":"Q5862307$EABC31FE-BB0C-4BBB-924F-DDA1C5903F7D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bac00f6c84ccb95e73cb5f9519b6adbfe87cb218","datavalue":{"value":{"text":"A Cryptographically Sound Dolev-Yao Style Security Proof of the Otway-Rees Protocol","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5862307$A9B1D0EC-9571-4E07-A93F-2F2D8A1B0139","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3d63da872fd8f6c56fa96f20274e2cc688644283","datavalue":{"value":"1487.94099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5862307$F71B4515-FE61-4554-B2CC-33FACEDCE1DB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9fd7bdc3d15a4c7d4b3dbf90fa37f176701dbeeb","datavalue":{"value":"10.1007/978-3-540-30108-0_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5862307$85DD6FD9-2EBC-42B6-8C77-DFA0D86B2920","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"94da2d388842df4fa004fbbcc16b763ee85cf5cc","datavalue":{"value":{"entity-type":"item","numeric-id":860895,"id":"Q860895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862307$1914DC70-8645-4311-8FE7-986D4C2D9A3A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d12e12d91c50423ddb89fdd9402a0af7a1510ded","datavalue":{"value":{"entity-type":"item","numeric-id":5862304,"id":"Q5862304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862307$FC326A8A-CB03-4EBB-824C-D27B26EB109B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b5783a1d8b5962f0874bec2519202727b162b8e9","datavalue":{"value":{"time":"+2022-03-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5862307$397F90D6-60EC-45C3-AD48-EE7EF128A97C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5862307$B1F190B2-A5CB-4475-8DF1-F88A8F5FC541","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0947352d1aa25ab25ac60caa3ca934c6dbd21f49","datavalue":{"value":"7485493","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5862307$AF4404F9-59B0-4FED-9055-14C7681E4A4A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f93c6caef986b21f94fd941149b5d6249ceb752","datavalue":{"value":"cryptographic protocol","type":"string"},"datatype":"string"},"type":"statement","id":"Q5862307$71C40327-AFB2-4F65-98A0-64D7FD9859D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8c5d8eb2c6ff991c91c60ef83dc327dbbd41d67","datavalue":{"value":"security proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q5862307$0C4E8185-E390-4E6C-94B8-C2683D5C2259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67cb8bbf2dd3c312980d93498f9033cad6fec01b","datavalue":{"value":"consistency property","type":"string"},"datatype":"string"},"type":"statement","id":"Q5862307$3511A91B-F0E9-4B59-BC53-D3A4A357F4BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b20193e17ab3d83c6d11ac47e585305bdc072b28","datavalue":{"value":"symmetric encryption","type":"string"},"datatype":"string"},"type":"statement","id":"Q5862307$4F42F65C-3E38-493F-BF20-A759A469A607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d6cd7f7394f40de1a2cc4f138fd1a8ed1a84f79","datavalue":{"value":"commitment problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5862307$6587D743-7681-4869-B715-27DFF14E272A","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":"Q5862307$86BFF901-B70F-40C3-98A9-7357C59A07A6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eb91f61014e48315e398d0a8d9431e1f0d7c10df","datavalue":{"value":"https://doi.org/10.1007/978-3-540-30108-0_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q5862307$356B4502-E808-4CF4-8204-7C84D1B868B8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2fde8b0889c9acebda9fcb6a8a7ef39e6d4fd9ce","datavalue":{"value":"W1805869620","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5862307$A70956E2-E4EA-4144-9651-4A21C588C56D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fefd3695fc6c127353eeeaf9bb631916756e929","datavalue":{"value":{"entity-type":"item","numeric-id":4168037,"id":"Q4168037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862307$C7FCEC93-320B-461B-BB0A-0EC956C31B3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37cd9ae076b03f5666fc617caadfb5663d6a977e","datavalue":{"value":{"entity-type":"item","numeric-id":4917062,"id":"Q4917062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862307$D891C250-3D65-48F6-9371-F6D4E798EFBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5632424fd240eec5b55466f40f697e80e5ad87d1","datavalue":{"value":{"entity-type":"item","numeric-id":5901769,"id":"Q5901769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862307$45036465-DF0C-4E56-AB43-63C90F9CA038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56658c0f1c23c8e6d167b1a6ff1c123b84e63f98","datavalue":{"value":{"entity-type":"item","numeric-id":2763667,"id":"Q2763667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862307$05960D8A-336A-4FD3-97AB-145A32698BE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2274b4a592bb83702fecba1e161643ae9d90f3e2","datavalue":{"value":{"entity-type":"item","numeric-id":2490263,"id":"Q2490263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862307$A8C0ED4B-AC30-47AF-9A36-B3FDFD3B9A19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75e13da62d75a35cc6f34a79e2fc305fac920487","datavalue":{"value":{"entity-type":"item","numeric-id":5428141,"id":"Q5428141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862307$913D9B15-CE4D-41E6-A205-08A0A035563F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae477ba2300400eec2908d55329cb4248dc074d4","datavalue":{"value":{"entity-type":"item","numeric-id":3833627,"id":"Q3833627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862307$254A1B87-C775-4CFC-9884-79DB1EFD0EAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b548fb76f8ef8a56f9223030f407f1a96f0c7ba1","datavalue":{"value":{"entity-type":"item","numeric-id":1057832,"id":"Q1057832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862307$89C51B98-EC8C-45B5-B6E1-DE0866D7EAC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4a73265bad6ea50fe9fad5bfba6b38941e6752f","datavalue":{"value":{"entity-type":"item","numeric-id":3968876,"id":"Q3968876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862307$5B1B82B2-C8BD-4F1B-A812-8C6126262634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ea5c7bfcd7d33e8177170c842fe7d83d5fbf89c","datavalue":{"value":{"entity-type":"item","numeric-id":4206382,"id":"Q4206382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862307$AEC64A95-A722-4CC5-9168-5303B85C2CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"508da4b446b1323ff8f8631bf6f8d3e648404b09","datavalue":{"value":{"entity-type":"item","numeric-id":4249316,"id":"Q4249316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862307$0A768314-4B80-4F55-A705-A5CCDA12F932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0a9cd0ff2e4768e54916357e6075fb6f2b99819","datavalue":{"value":{"entity-type":"item","numeric-id":2707428,"id":"Q2707428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862307$730D1FD0-CC79-4E38-B3DF-626E51329627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11aa0185864ef3eadb00f4de9c7973d08d1b9b91","datavalue":{"value":{"entity-type":"item","numeric-id":2707451,"id":"Q2707451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862307$C0859978-22EF-4E75-8AA7-CF49BF5A79AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94a9e397bf6cae63bc78ef2d4e84716c6ae01a70","datavalue":{"value":{"entity-type":"item","numeric-id":4249318,"id":"Q4249318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862307$C9869632-E524-447B-A9C2-C751E9E051E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afc453d9916b26f0198b780a4b2091b5933194b2","datavalue":{"value":{"entity-type":"item","numeric-id":5030211,"id":"Q5030211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862307$C3678B42-C5DA-487A-AC7F-DECB85F4334E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1a02a7b29347f944f593d59d369d68d56f349db","datavalue":{"value":{"entity-type":"item","numeric-id":5191499,"id":"Q5191499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862307$A7A8C5EB-8192-4B9C-83B8-7C84422836C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e85a3649d41a9347b8aca4b0e92d80927452ee9","datavalue":{"value":{"entity-type":"item","numeric-id":4418691,"id":"Q4418691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862307$5850BAD5-452A-4B58-A908-46103B53F238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e262605de3748950c95c0e00a42a0dd21930251","datavalue":{"value":{"entity-type":"item","numeric-id":4536407,"id":"Q4536407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862307$B662E535-5A59-4EED-9AA7-57C8C3DE0699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e7c275656b065cfc7f52f87dfa7161ed8104fe","datavalue":{"value":{"entity-type":"item","numeric-id":5714435,"id":"Q5714435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862307$201C5AD2-F9E8-4194-9CFA-8E1B5A6776A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d60ab50b8d1d4756f8ebae8cf9fd6ef9acae13a1","datavalue":{"value":{"entity-type":"item","numeric-id":1283776,"id":"Q1283776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862307$E20D8A43-409D-4CF8-A7B1-855ABC43609D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21b098bac7c990abb8263dccb81ec85885c524ba","datavalue":{"value":{"entity-type":"item","numeric-id":2852347,"id":"Q2852347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a121bce66006e61f976fd5eb50ce157bb5ad6bb4","datavalue":{"value":{"amount":"+0.9218815565109252","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":"Q5862307$2424093E-E374-4F5E-BF1B-05A6B79EB541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"779064f67f2cbdea52ee3d66ee0bba9658ac5c0f","datavalue":{"value":{"entity-type":"item","numeric-id":5897457,"id":"Q5897457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f5704976e48796b97383719f3188357d2ec829a","datavalue":{"value":{"amount":"+0.8516891598701477","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":"Q5862307$9228FF15-6D91-4D92-82F0-0F894AE0C690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"679bd7f2075d8a679fbdd4c6e43bd14364d671f1","datavalue":{"value":{"entity-type":"item","numeric-id":5191499,"id":"Q5191499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0ca717a75e451c1e3df9d3a1829a2c6119a6582","datavalue":{"value":{"amount":"+0.8383041024208069","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":"Q5862307$B9AE9B32-712B-4904-91B7-5EACAF82AD73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d17899e20f0b0345e35b4c6f62005d856f6280d","datavalue":{"value":{"entity-type":"item","numeric-id":5030211,"id":"Q5030211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fea6bd9641df0df43db462dc9efc730251cf0801","datavalue":{"value":{"amount":"+0.7788943648338318","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":"Q5862307$030AC932-0232-473E-9499-45F4F076C575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2ea166715a651b57d0d53c959094461424595c7","datavalue":{"value":{"entity-type":"item","numeric-id":4418691,"id":"Q4418691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef4c791c5f882549bb060c78e98f57b3c53edfe2","datavalue":{"value":{"amount":"+0.764625072479248","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":"Q5862307$FE40036D-4D7A-4AA0-8336-D7E1CE92C8DB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5862307","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5862307"}}}}}