{"entities":{"Q557888":{"pageid":559655,"ns":120,"title":"Item:Q557888","lastrevid":62730885,"modified":"2026-04-11T08:04:49Z","type":"item","id":"Q557888","labels":{"en":{"language":"en","value":"A computational interpretation of Dolev-Yao adversaries"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2184093"}},"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":"Q557888$4ED48F5E-E908-4875-97C5-E107BE5A45E7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c1e1397a3dd9df8a2b849233985bd9fa1db613c0","datavalue":{"value":{"text":"A computational interpretation of Dolev-Yao adversaries","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q557888$84DF541D-87C4-4B15-8C67-BB56B3F3A70B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"94dc3be62f092167511b10b464179e79c98d0fe5","datavalue":{"value":"1068.94022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557888$8F7C3AE8-A734-4BFB-AE40-2EC9FB142ED5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e63b783dde9c7ba365124c9eca3bab6ebaa01fe9","datavalue":{"value":{"entity-type":"item","numeric-id":449927,"id":"Q449927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557888$70B7B3CC-853A-4DF7-B9E8-B487A32CB96F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557888$DC50E1D3-3752-4F0F-86AA-A55E8F142952","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3be35b99bc40d25914143aa31268a19fcdde1b9d","datavalue":{"value":{"time":"+2005-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q557888$C3F62793-AD41-4B80-B592-6AD92169E5FC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71b42e4e887bf125b7436fe1334aef39047fb5c","datavalue":{"value":"94A62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557888$9BFDE62A-ED52-4A41-99D5-5C180A5B0CD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557888$EBB57CF4-3285-4C63-8C2B-2DA35A896BA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557888$8AABFCA0-CF85-4C91-BE80-9C2CB4E46FFC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"297e74295178bc178e43773fccba317861c0ea8f","datavalue":{"value":"2184093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557888$19627359-100E-4996-9F4B-C23A192BCA94","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25d9bdb3a72fe2d1b2a00fe194e795e98d7570c5","datavalue":{"value":"Computational soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q557888$A64E9026-3A18-4CA8-9241-FA45343F6CEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6662b8fcce98eb54c2efd75e6f356b6319734f1a","datavalue":{"value":"Formal encryption","type":"string"},"datatype":"string"},"type":"statement","id":"Q557888$73C01819-8AE2-4F29-B8F2-DE811784EC52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1162a17c23e3ffb24b5d732ea42418288035784","datavalue":{"value":"Dolev-Yao model","type":"string"},"datatype":"string"},"type":"statement","id":"Q557888$3169ACFB-BCB8-4E39-BBD5-EBD31F4A22E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9f7849d9e517ad5c860f33f9b5b2979646dc829","datavalue":{"value":"Non-malleability","type":"string"},"datatype":"string"},"type":"statement","id":"Q557888$C0426162-15CA-4CA8-BF64-4692D93B1934","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":"Q557888$BAB53C81-7F67-4C77-BB00-8C089B3EBBD9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dcc5bb362ee6ee87526c35d8beba4c2e235725f4","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2005.03.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q557888$E6E5BD73-DA39-427A-AAC6-5F6D8D8B44FC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"98b9a4c1e41771d302ce44ff71fb88180eb6a3d2","datavalue":{"value":"W1999863358","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557888$38756C01-B57F-4FEE-B284-2946A99FD940","rank":"normal"}],"P223":[{"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":"Q557888$97F5DE72-CAA9-4D4F-8EB2-94DF3C60E66E","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":"Q557888$28754D2D-7D47-4DC0-A88E-80A7F58D5118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb649047d8af54739f248f01cac42e5a1915d422","datavalue":{"value":{"entity-type":"item","numeric-id":1601823,"id":"Q1601823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557888$47E865D8-5E58-44E6-A886-226C137320BF","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":"Q557888$0D655F3A-B646-450A-A2AC-7D3BC6DE41A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb3a6e17ff0920e4418b5060610a8d9ce6814491","datavalue":{"value":{"entity-type":"item","numeric-id":4341751,"id":"Q4341751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557888$0DC35D37-391F-404F-B14D-57C8EEF2B3D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79da6177c546ec0921da44b5e7991342c08489d9","datavalue":{"value":{"entity-type":"item","numeric-id":4249317,"id":"Q4249317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557888$E95828EB-09CE-49C8-85E9-FFA779ECBA97","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":"Q557888$73B64260-A9BE-410E-B85C-6CA2853B81E4","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":"Q557888$970C168D-82F1-4208-BCE3-BD328DEA2106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a60a00d6f9607cc63be1e5431445dd12b42cd7b","datavalue":{"value":{"entity-type":"item","numeric-id":1264336,"id":"Q1264336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557888$EBBDB1D3-B1B3-4BE6-8ED8-668F8748D30D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d775e824fadeac6d94bee23311f0bd74e8b7dedd","datavalue":{"value":{"entity-type":"item","numeric-id":4493893,"id":"Q4493893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557888$66052F42-A11D-4F0B-92CA-077D91E5B0F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e627c75a8c881dfc28e6914b1e1e946ace722da8","datavalue":{"value":{"entity-type":"item","numeric-id":5900575,"id":"Q5900575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557888$D3B0421E-EE46-46C0-A6B9-0E9DAA825385","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":"Q557888$A19286AC-5DEC-47E8-BAC2-5C58AE100E3E","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":"Q557888$59DD39DB-37E1-448B-B361-260C30AB5283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b673bbc3f5418c0aa993600aa0db97882717ad","datavalue":{"value":{"entity-type":"item","numeric-id":5191532,"id":"Q5191532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557888$397C436F-C42C-4872-A01B-E180B192B7D5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"93679630965e10566de36be1c8797faa368cc12d","datavalue":{"value":"10.1016/J.TCS.2005.03.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557888$A5FA3F0A-BA9F-4504-B34E-C8B605D22DA4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bddc9426699b30b9c7c536bf8482b193374dbad","datavalue":{"value":{"entity-type":"item","numeric-id":557896,"id":"Q557896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1c887a31fab6194a5cf059cd6697c7c7c2c5ae5","datavalue":{"value":{"amount":"+0.8116555213928223","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":"Q557888$CDCDE275-65B1-4F11-AAF8-2886389F736A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d70331ed3854106d64e7ea91d7ad6c82a1c8a532","datavalue":{"value":{"entity-type":"item","numeric-id":5464840,"id":"Q5464840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1f11cb61c200eef598cce65f67d07bbd71b12ff","datavalue":{"value":{"amount":"+0.7911306619644165","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":"Q557888$05C88F51-5061-4788-8C00-9652F43DA734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9ae890250a17e52964c345d6c6c67a41cdef0e5","datavalue":{"value":{"entity-type":"item","numeric-id":5316563,"id":"Q5316563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22431966252bc03a917b49b932d8758a440778fb","datavalue":{"value":{"amount":"+0.7759761810302734","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":"Q557888$92B73498-A81D-478E-B6BD-F67C8267E483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"103c8f044fffdbf7f9b7f104661fd10a1bc96997","datavalue":{"value":{"entity-type":"item","numeric-id":5446172,"id":"Q5446172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2d087558dbb6a84d997c1f557cff99942842aca","datavalue":{"value":{"amount":"+0.7667487859725952","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":"Q557888$D4793E00-9F1E-4B08-B6F9-0B758C4BE95B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c388a2ec1efed02feba3a0b9595435cf6516e95e","datavalue":{"value":{"entity-type":"item","numeric-id":2881088,"id":"Q2881088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78ca377759e06015270cd496a27337f18f45da78","datavalue":{"value":{"amount":"+0.7614388465881348","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":"Q557888$9362E066-D97B-4469-BA00-BFC9D271E886","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A computational interpretation of Dolev-Yao adversaries","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_computational_interpretation_of_Dolev-Yao_adversaries"}}}}}