{"entities":{"Q2866733":{"pageid":2877453,"ns":120,"title":"Item:Q2866733","lastrevid":51891080,"modified":"2026-01-20T11:54:25Z","type":"item","id":"Q2866733","labels":{"en":{"language":"en","value":"Computational soundness of symbolic analysis for protocols using hash functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6238546"}},"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":"Q2866733$B6A85BC8-5DE6-4265-B8E2-A53533E6D803","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"75dde463370d6666d50a24c1c2c864aca1d24af0","datavalue":{"value":"1277.94026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866733$F59888EE-F430-45D2-850F-E2AB51210C41","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd42336af751d40697def2fca7c41c7a739987a7","datavalue":{"value":{"entity-type":"item","numeric-id":2866732,"id":"Q2866732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866733$4BF9652C-6130-4C77-87B3-77715E9CB760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0186bc7dd1d1b4a4788ea11c9251ab62aea699b5","datavalue":{"value":{"entity-type":"item","numeric-id":2848038,"id":"Q2848038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866733$E4F423B0-94C9-4C03-8029-C93DB3D66B85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf61e1c28cd3e26b0b006a26cc0e8ae38b4ee613","datavalue":{"value":{"entity-type":"item","numeric-id":673879,"id":"Q673879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866733$D9CFEAE1-F825-4D3A-941D-AF4B150AC3AC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866733$818E3CDE-A90C-4BDE-8B0B-BE2E544EA6E7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"53717fa6c8d29b46d6a34473fd09757844b25aa8","datavalue":{"value":{"time":"+2013-12-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2866733$2612669E-9343-4293-9CB7-0B768F00D1D4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866733$1690AC59-416D-4736-8AFB-4C2DBFFB6F2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866733$28033C0E-3878-4D73-8432-973F497366DA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9f23798126885dfff10a83131880f504f8bb3e0a","datavalue":{"value":"6238546","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866733$B37DDD59-3ADE-4EBE-AE26-709910386B82","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84c612e97d0bbc5f0fc0c1fc6c648d85c6d9bbe2","datavalue":{"value":"security","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866733$B7F15FD6-4619-45C2-AD97-CA56D92324DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbc7cf19c4844f555afeb1874e534e59c2314744","datavalue":{"value":"cryptographic protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866733$7E4B0558-D8EB-48CE-9BD9-425B2A1758D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84eb639c587d005fa805c840c17e8793a3d8d98d","datavalue":{"value":"formal encryption","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866733$A375E0F7-01E1-4A5C-BDC9-8B8F3846F49D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31c7e1bf444d86002b6359478ab9a2c8457f5bcb","datavalue":{"value":"probabilistic encryption","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866733$E8ABDA4E-D534-4C96-8BCE-136259BD0EE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8343f5d3f6453a979895cdc366bf28741d3ae225","datavalue":{"value":"keyed hash function","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866733$46C928B3-E7BD-4B06-A337-651C54805159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1162a17c23e3ffb24b5d732ea42418288035784","datavalue":{"value":"Dolev-Yao model","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866733$F8B56981-3C4E-46E1-AAC5-667461BDB844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a6c192e1b2a22bdfbf62e3c2d8d122bf9770822","datavalue":{"value":"computational model","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866733$B3EC5ECB-E1DE-435A-A8F4-982F203D6281","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"34be25f759d910e2ba95bb866ecb2a5c5dda07d3","datavalue":{"value":{"entity-type":"item","numeric-id":13163,"id":"Q13163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866733$78EEEC39-9913-434C-B3CF-1C5B84AFA34E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"580cc01f523eb259b29d75d715bd1b2876d59d0d","datavalue":{"value":{"entity-type":"item","numeric-id":15706,"id":"Q15706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866733$B27A5263-E2C5-4C11-9183-DD152E71D53C","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":"Q2866733$5DBCFEF7-5E9A-4769-9924-A4946D5606DE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3133bac95d68617930dd23f510caa5093009ae07","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2007.01.066","type":"string"},"datatype":"url"},"type":"statement","id":"Q2866733$47565324-4237-4172-BAF2-1072A8CDFDBF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9beb70424c296dd2e6b411da4a630450eb9343f9","datavalue":{"value":"W1995008399","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866733$F2E0EDE0-ACAF-4198-AD0E-6479732BD71B","rank":"normal"}],"P223":[{"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":"Q2866733$2A3D4C50-E9D9-4EA2-9A49-A5C8580CA04B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"500b7013db46803970c07a38c3e11d7b9fe62b46","datavalue":{"value":{"entity-type":"item","numeric-id":5716566,"id":"Q5716566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866733$4096DF56-1DC6-44A5-BF59-4D39A1FCFE0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a26bcd6fef480751c0908ef6c2ce9444051e29ba","datavalue":{"value":{"entity-type":"item","numeric-id":5862528,"id":"Q5862528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866733$AF3C1AA2-7675-452B-BC95-C0812ABDCC2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bea8e9846e13a8715ab50748c9877999c599ec7","datavalue":{"value":{"entity-type":"item","numeric-id":3374913,"id":"Q3374913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866733$9B9BFCCD-51DD-4DF4-B954-447B2FC3DEB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81bf2b52dbf8b3e63cccd313a8280519c811d8f9","datavalue":{"value":{"entity-type":"item","numeric-id":3452335,"id":"Q3452335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866733$8B88740C-F146-44DE-BC47-523A21A3B103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89e031ab8e1b54650c8cb8d2bf6455dc9ceb7809","datavalue":{"value":{"entity-type":"item","numeric-id":4778712,"id":"Q4778712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866733$4FE03FF4-7014-4AB0-92CD-75EE92A4AF30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b0c53fa51e4b081c5a7358e8fa99a55c8bf04b4","datavalue":{"value":{"entity-type":"item","numeric-id":4364570,"id":"Q4364570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866733$2A288DA9-FDBD-4562-A9DF-C9A660402A87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6c30eb471dbac525d524c837b9dcd31bbb743f2","datavalue":{"value":{"entity-type":"item","numeric-id":5385984,"id":"Q5385984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866733$2A0AA910-DDF8-4EC5-AAD1-52E345EE5218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaae6ba22c24049128969838ca5884ba61d6da2f","datavalue":{"value":{"entity-type":"item","numeric-id":5316562,"id":"Q5316562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866733$221452E5-D2B9-4AC4-8DD0-E24A510320A5","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":"Q2866733$CBD37053-CC5E-4987-9367-6A0608A0E309","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":"Q2866733$16895A95-3007-4C08-9A53-97A31D54EDA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2486d9c61cbb1cfcb3c1df66255852d74762bbe","datavalue":{"value":{"entity-type":"item","numeric-id":5316563,"id":"Q5316563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866733$8C6327F8-5EDC-42F6-9092-DBE2AEBDE1D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"606fd070630bb1cb73b0655837c2616dd769a509","datavalue":{"value":{"entity-type":"item","numeric-id":672251,"id":"Q672251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866733$0B6DD157-66C2-4914-B3DC-E99C6FE31F71","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":"Q2866733$47F9D160-930D-416C-87E0-822E3C0EEC09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ce8a059e64b49949a31e7842d77eafeb2c754ac","datavalue":{"value":{"entity-type":"item","numeric-id":5713919,"id":"Q5713919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866733$22637B16-F255-4932-B437-4E5490B2E58E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"626d7a62e073def6cda0e756433e91c381c28af8","datavalue":{"value":{"entity-type":"item","numeric-id":1874404,"id":"Q1874404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866733$A881A517-1C55-4416-A927-2E302CE114B1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e038c2282e28db5cf5b7ed84a9ac27f8d2c7f065","datavalue":{"value":"10.1016/J.ENTCS.2007.01.066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866733$996B41F5-545C-4109-BB8C-68B1C4C63DB9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b0ee078f8abc3273892e3af09e6070f91e477211","datavalue":{"value":{"text":"Computational soundness of symbolic analysis for protocols using hash functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2866733$A2F8335C-CEB2-44C7-8518-C4418D405342","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05283751cefb42cbddd1ca1a47e199acf487bace","datavalue":{"value":{"entity-type":"item","numeric-id":5385984,"id":"Q5385984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3717bc0da094537a70d7b5bc9f033a03a736241f","datavalue":{"value":{"amount":"+0.8445380330085754","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":"Q2866733$BFF4BCEE-9F8C-485B-8A33-1876F64C07A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"700542ceb3f5b2c30756c449176245b294b01fea","datavalue":{"value":{"entity-type":"item","numeric-id":5862528,"id":"Q5862528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f3ee296e9ebefb8e6c62d23190e239ec51d365f","datavalue":{"value":{"amount":"+0.8341814279556274","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":"Q2866733$9571FF9D-7F62-4206-A8AA-9CF862D70DE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f01ff3a2e812400104ccbe76679ee6cfac164ff","datavalue":{"value":{"entity-type":"item","numeric-id":2894343,"id":"Q2894343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9969f50e2ffa3dadef1f89a48b75a228e4036109","datavalue":{"value":{"amount":"+0.8262682557106018","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":"Q2866733$FA87F49E-252C-4B04-A9BF-431DD87A8F81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b172c2d25b0df58c17ec5aa5adec12f9e08d7214","datavalue":{"value":{"entity-type":"item","numeric-id":540683,"id":"Q540683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"758188c79eb8291f4de473190123652ec5deaff2","datavalue":{"value":{"amount":"+0.8098273873329163","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":"Q2866733$DCBA9E3E-042E-4C39-8062-8C4241697891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"211bee25324daa6cdd98705e0052e1c99df99032","datavalue":{"value":{"entity-type":"item","numeric-id":2481980,"id":"Q2481980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ab9396a059b6204fbd5c19ec0706aff0cb36fad","datavalue":{"value":{"amount":"+0.8030246496200562","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":"Q2866733$BB30F110-802A-401E-84A9-D2B3DA007445","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2866733","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2866733"}}}}}