{"entities":{"Q3619471":{"pageid":5649377,"ns":120,"title":"Item:Q3619471","lastrevid":50625938,"modified":"2026-01-14T14:54:14Z","type":"item","id":"Q3619471","labels":{"en":{"language":"en","value":"Automatic Methods for Analyzing Non-repudiation Protocols with an Active Intruder"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5540669"}},"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":"Q3619471$2270F874-D178-48A5-BF04-C9EE6E10CF67","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a611a5f7704b0d0d91faa0bfcf6b8def2e1e02be","datavalue":{"value":{"text":"Automatic Methods for Analyzing Non-repudiation Protocols with an Active Intruder","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3619471$BFD2F15C-2A61-4065-B97D-D79648CED8FE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"896800e5057d1f043d2907d466d228a178fedc49","datavalue":{"value":"1302.68112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3619471$21F5EE9E-10D9-4698-95BD-81CF5AD24435","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c9d9cc696f3261eda96ef1800ee74f1796b2d29a","datavalue":{"value":"10.1007/978-3-642-01465-9_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3619471$2597733B-CB49-4FAD-A633-3020EEE363BF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a840afa34f6a384a05fd0e57a1805c00addfcdf1","datavalue":{"value":{"entity-type":"item","numeric-id":553315,"id":"Q553315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3619471$86F867D4-B8C4-4243-B8F1-19620AA11CDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6859fc6fdda561ce847e5098101dd47b5d4060af","datavalue":{"value":{"entity-type":"item","numeric-id":1340507,"id":"Q1340507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3619471$E7CF5625-33AF-4FB5-A46C-BEA5FC1DB44F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6dfc668c358184d7e755e170f23a9b0aad6e0729","datavalue":{"value":{"entity-type":"item","numeric-id":3619467,"id":"Q3619467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3619471$34D7D81B-EB4D-424D-ADCA-757FE490140B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f584a175cfc2fafdfc362244f176e06010bbf381","datavalue":{"value":{"time":"+2009-04-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":"Q3619471$F9D4EABB-FDF7-4F01-A759-8204F25FBDF6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3619471$46A55523-2A98-4025-97D4-E4ED6DFEBFEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71b42e4e887bf125b7436fe1334aef39047fb5c","datavalue":{"value":"94A62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3619471$586C600A-7F8A-47A5-8237-54AB0433F77B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"87e4d89ac3b4740a5f3f479cfa1e30ca25c570fe","datavalue":{"value":"5540669","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3619471$423347AB-1A36-4E06-BD4C-483D0DB6EF49","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbc7cf19c4844f555afeb1874e534e59c2314744","datavalue":{"value":"cryptographic protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q3619471$4F839B32-C2F7-435B-A003-C6D243BDF712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3805ccb3a081026192e6ab8a59423465f4f71a90","datavalue":{"value":"non-repudiation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3619471$9FFDBC83-26EB-4738-BBA4-74769F422FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"636b794da077dcaa1805ce93cc3d55482029d3dd","datavalue":{"value":"fairness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3619471$948A4343-9755-4AA5-AD49-BBC7B5D66C30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0143d2a1dc41fa935e59c3be31e1263c6255764","datavalue":{"value":"authentication","type":"string"},"datatype":"string"},"type":"statement","id":"Q3619471$B880AEC7-50D1-4098-9DBA-0C165465A935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e72677197119fc19b24d494dca7ac30fa6e7ff5f","datavalue":{"value":"automatic analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3619471$4DD22BEB-F39B-4125-A2E5-D90961EDE224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f26d9084bf77dc0251860630e161af0da5afe109","datavalue":{"value":"AVISPA Tool","type":"string"},"datatype":"string"},"type":"statement","id":"Q3619471$477EBFC0-B98D-413E-941A-BC8799C7EE83","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":"Q3619471$5CBC0414-9444-4AD6-8EC5-24A1B5BF9A40","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aec73d89203f66c67e72d00423ada772adbf8067","datavalue":{"value":"https://doi.org/10.1007/978-3-642-01465-9_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q3619471$C1856D0B-FF5D-43DC-A4D3-4DB481CBF416","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8e3a1ca0b3ad6fe7ded327feb24fde3340069335","datavalue":{"value":"W2169338279","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3619471$A51359DF-E606-411A-B7C4-249CF93A3A3F","rank":"normal"}],"P1643":[{"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":"87037c430c3e4662e80d04f52257b8523956a000","datavalue":{"value":{"amount":"+0.8337653875350952","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":"Q3619471$1E9F8869-DEB9-4A57-95B1-B82F0624467A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ace1ace19966384ba432ceea8a0a195703dd703","datavalue":{"value":{"entity-type":"item","numeric-id":2849849,"id":"Q2849849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f94fa3fbf0a6bd975389f72ca32515e499015124","datavalue":{"value":{"amount":"+0.8175294995307922","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":"Q3619471$EB58222D-EFEB-44E6-ABBD-CEE4791FB8F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"562dd15cd80d6d05a5bec343d5c78cc043aed89b","datavalue":{"value":{"entity-type":"item","numeric-id":3404404,"id":"Q3404404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5126f48fe400b95c19548acb75f517e5e40ac815","datavalue":{"value":{"amount":"+0.7854445576667786","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":"Q3619471$C9D74ECC-0491-4AC9-A2A8-CA313D7D716B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4743a02fe0b9422b7a45c08d3b6e76739b266cb","datavalue":{"value":{"entity-type":"item","numeric-id":1749255,"id":"Q1749255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6ec73e473b7f9bcee262a34b3ba0a61fcebb54c","datavalue":{"value":{"amount":"+0.7809962034225464","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":"Q3619471$85B88C16-95B8-4F52-883F-8FF142401EE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1ae9fce2955988ddc273804e9ea2185b420c865","datavalue":{"value":{"entity-type":"item","numeric-id":4250674,"id":"Q4250674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fb8fb2bd5df32fa590ca25eec7bed59de40aea1","datavalue":{"value":{"amount":"+0.7781851291656494","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":"Q3619471$6359C930-CDAB-48DF-A674-3D197F391B46","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3619471","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3619471"}}}}}