{"entities":{"Q2037994":{"pageid":2048736,"ns":120,"title":"Item:Q2037994","lastrevid":43487108,"modified":"2025-07-29T08:16:31Z","type":"item","id":"Q2037994","labels":{"en":{"language":"en","value":"Formal methods analysis of the secure remote password protocol"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7370023"}},"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":"Q2037994$A62DB53B-8F82-4FAA-818F-6455997D3DAA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fe9d3daa12b61138ea34b8ba270abaa327dfc988","datavalue":{"value":{"text":"Formal methods analysis of the secure remote password protocol","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2037994$2BC20DEB-E867-4D61-87C9-D4A5D60E72C7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b2dac7c32b6f7f8287bb944af29762d13268f07a","datavalue":{"value":"10.1007/978-3-030-62077-6_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2037994$C0AC268B-D9F4-4B5D-8AE2-DED7FB84FB5D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"40149d56b5c0218e66a69ce2e3c6fdfbec524b38","datavalue":{"value":{"entity-type":"item","numeric-id":293134,"id":"Q293134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2037994$BED0077B-038A-495C-A0D5-6443CF4EBC42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"00171d3314c123877c82ad3f75d9f1428cbc0aaa","datavalue":{"value":{"entity-type":"item","numeric-id":1741929,"id":"Q1741929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2037994$70B940EE-1352-4C14-A441-EDFCEEE7C810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4bfdaf69b48f20303dc877f7ed5b6b820b0f190","datavalue":{"value":{"entity-type":"item","numeric-id":451117,"id":"Q451117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2037994$7DE51D41-14E6-45E4-901D-60F918898A5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd9c713884488e0ec9c5ca92e40cd21c009829c8","datavalue":{"value":{"entity-type":"item","numeric-id":2037988,"id":"Q2037988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2037994$208C8F7E-EA8F-4CEC-B1D8-7E07E234FCB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8cad012cdc841e75e9fc6f3e6935ad0506451863","datavalue":{"value":{"entity-type":"item","numeric-id":1176237,"id":"Q1176237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2037994$AD8BF242-5BC3-4B60-92A6-EF4747DDB7C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d96647471e388b9a8e042509ac693d53385d6e8f","datavalue":{"value":{"entity-type":"item","numeric-id":2037989,"id":"Q2037989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2037994$A2201432-4ACC-49E1-ACF0-32ED0C72EDDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6b9d0db926a4a6af89db1a56f95a6cecf3823bd","datavalue":{"value":{"entity-type":"item","numeric-id":2037990,"id":"Q2037990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2037994$9E507EE7-F6B8-4FA0-B4B5-F68B83AD430E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5671b22b4f4c44a4ff298266962cce413fb8a6ab","datavalue":{"value":{"entity-type":"item","numeric-id":2037991,"id":"Q2037991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2037994$6AB17479-2571-42A4-A0D0-1CD33A12D79D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fccbf9867cbb99cbebed1789b971a6326e66d2c5","datavalue":{"value":{"entity-type":"item","numeric-id":2037992,"id":"Q2037992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2037994$FFD79CF6-4FDF-44C1-8E42-DFE3B6D4DFC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"89c7b98781370975578f97ae7b79c2a59ce20a35","datavalue":{"value":{"entity-type":"item","numeric-id":2037993,"id":"Q2037993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2037994$FBD7D4AB-DF94-4481-A416-9DDBFF045BA7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a1926b5e5d0313a397a856b5060f2ee4412bba3","datavalue":{"value":{"time":"+2021-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2037994$1531CC21-2691-4D0E-A749-0400D65FBEDF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"21061ea469aab1fdadeb3f7849f04c374ba7d3fc","datavalue":{"value":"https://arxiv.org/abs/2003.07421","type":"string"},"datatype":"url"},"type":"statement","id":"Q2037994$1776EA5A-679D-4B53-8E0C-6FB47359EB02","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2037994$BA257DCF-834D-4119-9A34-207FBCB5F8BD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"14e784cdb3c3514695139ac3dac957bf6e082359","datavalue":{"value":"7370023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2037994$B2D9B9D2-DED5-4D8B-96F9-B90131599CFF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbc7cf19c4844f555afeb1874e534e59c2314744","datavalue":{"value":"cryptographic protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q2037994$5EF2F61F-E7D5-4034-8743-7ACB126AB844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d54d97c9d74a7974164bd27bc3725f50a6bd71c8","datavalue":{"value":"cryptography","type":"string"},"datatype":"string"},"type":"statement","id":"Q2037994$065B2A09-14D4-49E7-AB64-622EAF290C5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8452a900d775dfb5e46290a5ba6c528aa5206306","datavalue":{"value":"cryptographic protocol shapes analyzer (CPSA)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2037994$F6AF3B4B-A431-4293-9179-7B600CEF9722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21675e77a562cd53fd1239e05f6be7f09f69a336","datavalue":{"value":"cybersecurity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2037994$18284CD6-6DDD-4CB0-918F-522D721C731B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q2037994$32AA601B-F030-44B7-BF36-1A7BFCEF50C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d991aaf355bb6bf0e684f5077fe0096a1fc0704","datavalue":{"value":"password authenticated key exchange (PAKE) protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q2037994$E772214E-63F7-4355-91D3-CF5DAB2175EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"198806c59e37372f0e3456be07622ad581fb0135","datavalue":{"value":"protocol analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2037994$10C962B9-486E-4154-A51A-43B4B41C318D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6eed06c8b17c361a94be8a555a1d8afde572be29","datavalue":{"value":"secure remote protocol (SRP)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2037994$ED9DEADF-F18D-46D0-B561-F7C8B3980AF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e5253641f89c5b0be237bb6c9e304cb29c41891","datavalue":{"value":"UMBC protocol analysis lab (PAL)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2037994$3AE1E119-D022-477E-9B1B-DC15DA0BDD4C","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":"Q2037994$95E8C50D-26C8-48CC-A390-EB34BDCCA438","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a0eeb37566e880667ba957979cff371ef2ab74fd","datavalue":{"value":"W3128884990","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2037994$A15FC606-A2A6-4EF0-953B-B35939D8AC3D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b81dd5c7ad198a64fb52eeb77fffdcbb8cbae7e","datavalue":{"value":{"entity-type":"item","numeric-id":4817437,"id":"Q4817437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4770e0b4cffc44962f4aadf22b861f947781adeb","datavalue":{"value":{"amount":"+0.9003464","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2037994$CB7EE3D1-D457-4205-B65C-787C77B8DDCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"095a0c2cd72ed0def6d3c0a642b67690b105649d","datavalue":{"value":{"entity-type":"item","numeric-id":5898107,"id":"Q5898107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43ab41cf10284b4dd6c75796376af361335e760c","datavalue":{"value":{"amount":"+0.8941333","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2037994$6676B46A-C6C9-41ED-A746-0E7B03A0B6DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1b3453b05a7b4a657c9711449bea1e1f0bebf6c","datavalue":{"value":{"entity-type":"item","numeric-id":2763942,"id":"Q2763942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e4a6f6d215a77114c6ecd3e1f3991cf764e048d","datavalue":{"value":{"amount":"+0.88863873","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2037994$EEB27A41-855E-4798-A8E3-D22F5F62A338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88a25b62f5615e6076bc7dd3c10616ad44543173","datavalue":{"value":{"entity-type":"item","numeric-id":3404405,"id":"Q3404405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c14808bc5ca84df3f7637c21753ce5f763220465","datavalue":{"value":{"amount":"+0.8853619","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2037994$AFA2C004-EFA4-433B-A20D-8F3946DC309A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aeceb28506bb63025a9c09db56951fbba1a4d519","datavalue":{"value":{"entity-type":"item","numeric-id":2385411,"id":"Q2385411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d2571f54b406786cb4b0ea331c43617cfc8c757","datavalue":{"value":{"amount":"+0.8815822","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2037994$0616635E-FFA8-415D-9B7C-57C79DDAF5CF","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":"90f68dfb35b8e545016495d7ee9bd63159f85ceb","datavalue":{"value":{"amount":"+0.8800024","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2037994$9FDBCC61-A8AE-477E-872E-75ED10E5A32F","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":"16f0862bb059af329108c9d39fdc8c6008dcac84","datavalue":{"value":{"amount":"+0.87508744","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2037994$CAD0EB65-C77F-4572-83E3-016E3BDF3C22","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2037994","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2037994"}}}}}