{"entities":{"Q4370271":{"pageid":6399870,"ns":120,"title":"Item:Q4370271","lastrevid":108313181,"modified":"2026-11-05T21:16:55Z","type":"item","id":"Q4370271","labels":{"en":{"language":"en","value":"Action system analysis of an authentication protocol (extended abstract)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1104389"}},"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":"Q4370271$585ECB11-04EB-4536-BADE-1375FABB66AC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7cb86d7dc2d37cc54e0dba0fd22c418cc300ebc8","datavalue":{"value":"0885.68100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4370271$C767A3DA-3742-4C28-8166-34B65D164CBD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31cbdc215e869344eb50d84c84c1e14723e7a190","datavalue":{"value":{"time":"+1998-05-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4370271$D3E2024B-F697-41D2-BB0C-F25526C860AC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4370271$1EE2A950-5528-4E78-A174-EC1B1FE5451E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"deb2f5ccd43a72227d5f80fab6227835bcc0e90e","datavalue":{"value":"1104389","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4370271$F87FBBCD-201E-402B-8B34-4849108F8F61","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe05cd57e25692c6fec95b7bcab2da0ffb867001","datavalue":{"value":"abstract specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4370271$1B0BD555-077B-42F2-84F6-53BA89CD1826","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":"Q4370271$4DD74839-856B-40CB-9DCB-4645D3B3FB65","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bdf5de2b1585fdf1250594f6e33f182e5e4ee1c","datavalue":{"value":{"entity-type":"item","numeric-id":5308695,"id":"Q5308695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28871c18b7bacb6a7063a847c2b81c440a029cb8","datavalue":{"value":{"amount":"+0.8746568","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4370271$EA901494-5363-4C35-A31A-2595A8B20E3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41cc2b952c596261e9a1a162b9508e1af48e89b3","datavalue":{"value":{"entity-type":"item","numeric-id":4823860,"id":"Q4823860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2671cd5a7390a9c594ddff458331745e657e85c1","datavalue":{"value":{"amount":"+0.86400944","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4370271$200BB103-D6A1-4075-9958-9E8DB86A92CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d05c218af798c68b7febd4538c2011d1efd00f63","datavalue":{"value":{"entity-type":"item","numeric-id":2140957,"id":"Q2140957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11a550d3166f4fbfdaae1625e59ec4f196bb7b0d","datavalue":{"value":{"amount":"+0.85789955","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4370271$F80B8E4D-EE6F-49E0-9FF2-D189166D614C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d92b608a2de3d64b223b9e82023cd9f85e04fc8d","datavalue":{"value":{"entity-type":"item","numeric-id":4520535,"id":"Q4520535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76fbbcb3eb32a3bc87ebb0b844b103e6f1c18d88","datavalue":{"value":{"amount":"+0.8557306","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4370271$D582E73D-C160-48A4-9792-14904C6E8591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdf30233bb0de6e451c328d320f5e0d496a8bd15","datavalue":{"value":{"entity-type":"item","numeric-id":3212262,"id":"Q3212262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5633b29919e57c39be497fdb8f34368e38f852e","datavalue":{"value":{"amount":"+0.8490707","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4370271$21FC3673-AB43-4DD9-B900-E08304B6030B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a54f3faa7b1dc6dc7a3dfede03d79134eb9301cc","datavalue":{"value":{"text":"Action system analysis of an authentication protocol (extended abstract)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4370271$34926B73-9AF1-4F74-92D7-BC6BDA001158","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2cb03812f569837ccc0b9137f5b6ec5a9d1aefab","datavalue":{"value":"We present an abstract specification of a simple authenticated communications service and then refine it in such a way that the communication and authentication of messages is achieved using the fixed version of the Needham-Schroeder authentication protocol. Three stages of development are presented: 1) The abstract system, which is a simple description of a service that allows agents to exchange authenticated messages. 2) The first refinement of the abstract system, which implements the exchange of each individual message using the protocol. 3) The second refinement, which introduces an explicit model of how a spy could fake and replay messages to attempt to violate the authentication. For the entire collection see [Zbl 0877.00014].","type":"string"},"datatype":"string"},"type":"statement","id":"Q4370271$B7200935-F8FF-400B-9EC9-757F6EBA1E13","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c737a58b430c24ec8e3e523ef8b6e090f4692e3c","datavalue":{"value":{"entity-type":"item","numeric-id":1924629,"id":"Q1924629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4370271$924F2ACB-B5B3-43B8-AD01-F343C5E82447","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Action system analysis of an authentication protocol (extended abstract)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Action_system_analysis_of_an_authentication_protocol_(extended_abstract)"}}}}}