{"entities":{"Q866176":{"pageid":868024,"ns":120,"title":"Item:Q866176","lastrevid":64943940,"modified":"2026-04-11T23:16:36Z","type":"item","id":"Q866176","labels":{"en":{"language":"en","value":"Knowledge structure approach to verification of authentication protocols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5128639"}},"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":"Q866176$99102C1F-87D0-46EB-A630-12BC6F96F443","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3f620cd8382932049433b7531f67d9b09931550d","datavalue":{"value":{"text":"Knowledge structure approach to verification of authentication protocols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q866176$D26E15B6-A0C9-4CCF-BA1A-70CB7DBF8E12","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4126c57751de5a672a7e97862d166f0285c70e60","datavalue":{"value":"1161.68323","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866176$E6381A07-89A5-4155-B266-DE37C459F86C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9067f8663bc4535221a064e05e63cdbfbb8b607","datavalue":{"value":{"entity-type":"item","numeric-id":238000,"id":"Q238000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866176$07A09E8B-E89E-4CC7-81B9-8E1C4866FD6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e305608516719fbc337e6ae0ea6e0f64eb1179c3","datavalue":{"value":{"entity-type":"item","numeric-id":866174,"id":"Q866174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866176$0C9AF1D1-8D63-488E-8E55-7240E2268AF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"59e0174a2bc8094180b85dd34fd9bb77f0215056","datavalue":{"value":{"entity-type":"item","numeric-id":866175,"id":"Q866175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866176$4B98F6F0-71C3-4916-97C7-B59C8101211F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f98e7827e954b81f9efe2be64c5ae8ff8fac944c","datavalue":{"value":{"entity-type":"item","numeric-id":419702,"id":"Q419702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866176$036678D0-9539-4B22-97B2-D8BFAA519E90","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b6a3b01ed43848088ad19bc3cf2f29651a0e98f7","datavalue":{"value":{"time":"+2007-02-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q866176$093BC7AE-7FE1-41CD-8126-DB9F2E0CABFE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6dd950cc7644c54d8921dae437c81276184ec96a","datavalue":{"value":"The standard Kripke semantics of epistemic logics has been applied successfully to reasoning communication protocols under the assumption that the network is not hostile. This paper introduces a natural semantics of Kripke semantics called knowledge structure and, by this kind of Kripke semantics, analyzes communication protocols over hostile networks, especially on authentication protocols. Compared with BAN-like logics, the method is automatically implementable because it operates on the actual definitions of the protocols, not on some difficult-to-establish justifications of them. What is more, the corresponding tool called SPV (Security Protocol Verifier) has been developed. Another salient point of this approach is that it is justification-oriented instead of falsification-oriented, i.e. finding bugs in protocols.","type":"string"},"datatype":"string"},"type":"statement","id":"Q866176$6B5D6513-4F75-4E30-B842-5F65752788D7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866176$6C4D7383-DC72-4EC0-B8D4-CDA2362E8B5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866176$4AB6AF58-F0A9-41F8-8D94-BD9B636FEBFD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b3c4d8293cdcadbe1f9df5c90009ed8004f53683","datavalue":{"value":"5128639","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866176$4FCE37E2-6FF9-440C-8664-095C73F1D4D9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866176$1C2F1CB2-A791-445F-B22E-C16819BA0BC9","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":"Q866176$EEC25EA0-3FE9-476B-9800-179B797ECCE8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5211db9dd28e851dbec80f2ff085af8d5de81b9","datavalue":{"value":{"entity-type":"item","numeric-id":5486065,"id":"Q5486065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e66c2bad4c2d7fc05e0df1a344b578eb0d84d4c","datavalue":{"value":{"amount":"+0.7976483106613159","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":"Q866176$F7D7BE33-C50C-46AF-BFE0-E28CC4F9C3CB","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":"56a40841c674419ab57d0757619d700a8b5ba022","datavalue":{"value":{"amount":"+0.776979923248291","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":"Q866176$DC5D1ECD-742C-4818-AC2C-807C28AE4195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"517678da449e1b6d17e2cbca64d0d59c2f1110dd","datavalue":{"value":{"entity-type":"item","numeric-id":3384076,"id":"Q3384076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"758e4dff821f4388fe90f6dcb938419a51ed6396","datavalue":{"value":{"amount":"+0.7734543085098267","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":"Q866176$D47934E6-14F5-4D4F-99DB-0440660CCECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3622f32b04cbb8feb46ca3a97b5b0b7547ea01b","datavalue":{"value":{"entity-type":"item","numeric-id":625717,"id":"Q625717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e986d6757ff5c14d45b8d93ac19278364b55b5a9","datavalue":{"value":{"amount":"+0.7688375115394592","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":"Q866176$783DB880-1E7C-4A5A-9FF6-87E94770668B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0aa90897b77db9fbf8f7c1ff268e1f15ab1cfb58","datavalue":{"value":{"entity-type":"item","numeric-id":5096417,"id":"Q5096417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84249a42329a3a704c1add000c8aca285007c34b","datavalue":{"value":{"amount":"+0.7596357464790344","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":"Q866176$77F0FB0F-E1A9-45C1-8D7E-4D58865D6054","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Knowledge structure approach to verification of authentication protocols","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Knowledge_structure_approach_to_verification_of_authentication_protocols"}}}}}