{"entities":{"Q802867":{"pageid":804715,"ns":120,"title":"Item:Q802867","lastrevid":49495828,"modified":"2026-01-07T07:55:44Z","type":"item","id":"Q802867","labels":{"en":{"language":"en","value":"Applying a formal analysis technique to the CCITT X.509 strong two-way authentication protocol"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4199618"}},"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":"Q802867$523FC59C-6343-45AB-82DD-F1B72E0D6D82","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e7713d8cc031b09d8db87b77ed3151647e2f4306","datavalue":{"value":{"text":"Applying a formal analysis technique to the CCITT X.509 strong two-way authentication protocol","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q802867$6EC742B2-2134-4896-A3CD-EB6569C51106","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6861c9c043cca73abf2fb2f621a737c707053e26","datavalue":{"value":"0726.68028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q802867$813067CA-10B9-4F2A-BAD5-FE68CB3F1962","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a2146749a3a6c1910efdcb97717e5a673612bb06","datavalue":{"value":"10.1007/BF00196790","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q802867$A47A7FEB-FC60-40F2-9C7E-67A804B8B008","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d037e392f9b18604632fee291fbab1ae32f0855","datavalue":{"value":{"entity-type":"item","numeric-id":802865,"id":"Q802865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802867$8FB98042-5066-4808-8EB8-9F29B07FE033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"85cc6bce62ad67826a67d5db9122216af28a4e46","datavalue":{"value":{"entity-type":"item","numeric-id":802866,"id":"Q802866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802867$46AE14F0-713F-4ED6-9795-A5BA4543A0CA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d5eab3bbb3b6673353b9ed770934b15d004ef795","datavalue":{"value":{"entity-type":"item","numeric-id":166358,"id":"Q166358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802867$C13B0D7E-6126-4CCD-9BE4-8157A1B34428","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q802867$75EB95FC-DB26-4FFC-B029-1A5D7FBFCD69","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q802867$230DC125-FF50-4F7A-BE30-EEBA5FF575C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d76fd70953928771174d6295b3815da203088bca","datavalue":{"value":"4199618","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q802867$77D8E878-4363-4A6E-BC31-683F22A5148C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68eaf8a24da690646c56e56c0af9eae16b30fed8","datavalue":{"value":"authentication protocol","type":"string"},"datatype":"string"},"type":"statement","id":"Q802867$B4E3779B-899B-46A1-B287-B900DA3CEE56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b5ca4758585207487a4d04aaaf2698eac445330","datavalue":{"value":"public key cryptography","type":"string"},"datatype":"string"},"type":"statement","id":"Q802867$F1E75A14-86E3-4043-B15B-FAA3F77E9773","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":"Q802867$3FBDBBC5-1C3B-4020-9C8C-313AE7B01549","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"07bedb181cce1fb675cf4598cfa819487309198c","datavalue":{"value":{"entity-type":"item","numeric-id":5203714,"id":"Q5203714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802867$D8A26863-1A6B-476D-A9CD-3E7F3AA9123B","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":"Q802867$A8D5C00D-EB80-47DC-8A96-CEA334177368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e40651885e589ae16736b2ed26430168a8207418","datavalue":{"value":{"entity-type":"item","numeric-id":3875826,"id":"Q3875826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802867$B6276203-6942-4152-BD5C-66AACA47E3BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18d61579d9949e96d2a3d9ee11cbf91e51d5f0d6","datavalue":{"value":{"entity-type":"item","numeric-id":1112785,"id":"Q1112785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802867$AF6F9600-D11E-41FB-9BFF-D686854526F0","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":"Q802867$1AE420DA-9D82-4564-AFBD-9FE7FF8DC681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802867$2B08D9A7-B18B-49A5-B616-ECFFFAA5931C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80187e65c3d02218a1c1b84468898391dd828b52","datavalue":{"value":{"entity-type":"item","numeric-id":4145254,"id":"Q4145254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802867$B40A133A-55D5-4FB4-8D13-93D74F7B364B","rank":"normal"}],"P1643":[{"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":"493a3c2d84cf6d102a32ef42817cd62332073298","datavalue":{"value":{"amount":"+0.9414846301078796","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":"Q802867$6B2FD643-3B05-4F4C-B7AC-FC3D416D4153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6366a3d408ef4e5077e6b97a7018260e5a1ecfdf","datavalue":{"value":{"entity-type":"item","numeric-id":4206382,"id":"Q4206382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a648a271d7756f6927c36a056261c174fad3c7d","datavalue":{"value":{"amount":"+0.7996684312820435","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":"Q802867$4DEC3B5E-5EA4-4608-930C-C99DA96B2F5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59caa49b08ca36d2fcc757573350b49e3a31e65c","datavalue":{"value":{"entity-type":"item","numeric-id":4656171,"id":"Q4656171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bfabc24da8885be42af6a49d793c2789a8567b5","datavalue":{"value":{"amount":"+0.7856742739677429","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":"Q802867$48C8577D-FB89-42F8-84A1-17397FE83595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff26f55f0ef9070d0b9df786579bd9ad38ee05b2","datavalue":{"value":{"entity-type":"item","numeric-id":4387322,"id":"Q4387322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c35ddda0eb431a9ca94bf58036636eafc6ddc58","datavalue":{"value":{"amount":"+0.7786252498626709","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":"Q802867$501B0A32-C134-4D4D-BAD3-A78AF012AF98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75938c139f8aee0deac46de73099b74a36e65918","datavalue":{"value":{"entity-type":"item","numeric-id":3125910,"id":"Q3125910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d6e37159e453e79d6511f6a03395f7e31a3ca91","datavalue":{"value":{"amount":"+0.7648261785507202","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":"Q802867$5E901E13-2EA0-4761-90DD-CAC78A7E3DE8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:802867","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:802867"}}}}}