{"entities":{"Q2453106":{"pageid":2463849,"ns":120,"title":"Item:Q2453106","lastrevid":73199466,"modified":"2026-04-14T14:57:05Z","type":"item","id":"Q2453106","labels":{"en":{"language":"en","value":"Protocol insecurity with a finite number of sessions and a cost-sensitive guessing intruder is NP-complete"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6301500"}},"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":"Q2453106$A9C4B5B0-3C00-46AD-AC47-D21946210DF5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dc89016e0d55d04d3fc3226b7e8ab5f27bcdb42f","datavalue":{"value":{"text":"Protocol insecurity with a finite number of sessions and a cost-sensitive guessing intruder is NP-complete","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2453106$114A9EF5-B7F1-4D15-8433-87BE3B24AE98","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"89da2a393898d88a808c0a05489819ac12135aff","datavalue":{"value":"1359.94564","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453106$7995354C-14CB-4E8D-ACA8-C0CA20020820","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"43f9f8c6ba291230c6c736c75a1eee030d381d45","datavalue":{"value":{"entity-type":"item","numeric-id":280458,"id":"Q280458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453106$2F1B3C67-43A2-482B-9A04-969C07D8D9DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"70b45d72ed2ba2486377818ff4f18636ea6d5a4a","datavalue":{"value":{"entity-type":"item","numeric-id":549723,"id":"Q549723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453106$083CEE2E-181A-46C5-9DEF-3BFD6B883FAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a84b60f04d7f3967bc1c5e6d2b05e98b9765d5f5","datavalue":{"value":{"entity-type":"item","numeric-id":265391,"id":"Q265391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453106$06182020-081C-4AA2-8592-40DDAE3968A1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453106$FF2B6E6E-EFDE-4D75-8736-E654E42FDC4E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f7f3fbc447f1c390e2d7e7b93294821ab0240de3","datavalue":{"value":{"time":"+2014-06-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2453106$611567B9-3C4A-4910-88C7-636382DDB62D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453106$01AE4828-BEE2-4C6A-8110-2466F11BBE17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453106$EA2EF3E3-AFD6-4F37-8BDC-73CD5B1412A3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"782370a5065898ec23a6c22e6608cccc8f1d001b","datavalue":{"value":"6301500","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453106$241413AA-C4A7-4E3E-A8B6-68DC55883726","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84c612e97d0bbc5f0fc0c1fc6c648d85c6d9bbe2","datavalue":{"value":"security","type":"string"},"datatype":"string"},"type":"statement","id":"Q2453106$0F205E38-C575-424F-96DE-49B7C2D8ED73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfb18ae1e54169b32c6e8d0048d73f69a1d0c3fd","datavalue":{"value":"protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q2453106$C4573DD8-67CB-40DD-9183-AC81575C1F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49ea3abc6ccb159a2fa2f746e6d420a873b74704","datavalue":{"value":"guessing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2453106$7DE7F84F-AFEF-4926-8EA9-F1736B0FDB50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2453106$C0A4019C-F529-4CC5-A034-9A200D226FB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2453106$7AAE7236-A158-493C-A99E-F2858C73B1E0","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a38f42ed076acc761aa73fafa1cf17b7e6694ae1","datavalue":{"value":"Q59196633","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453106$8F786316-16C1-41D7-A6D6-733EBD447E66","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"370b1d887d679924155714b84355ed741cc355be","datavalue":{"value":{"entity-type":"item","numeric-id":21449,"id":"Q21449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453106$C8BCA22A-C072-4735-8D07-B2CE60210A41","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":"Q2453106$1C6379AA-583C-4DAC-A93F-E3C9A0A2049A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f178a85351de86c414a4bae547354c5032939342","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2013.09.015","type":"string"},"datatype":"url"},"type":"statement","id":"Q2453106$27434A9B-B121-4001-824D-0C42F91DFD95","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fd2cbac0692a931ef3434454bff0fc6cd2530e7d","datavalue":{"value":"W2129038350","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453106$0157089A-DBD6-4B49-83C4-CD317FB55D9D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e489f60b50ffbcb76ff4a8ca52e7c0625bf4ef0","datavalue":{"value":{"entity-type":"item","numeric-id":4536615,"id":"Q4536615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453106$34731547-A431-405E-AEE5-759B832466B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"696d1979c9964d07688b1f48cbcbb2210aabc078","datavalue":{"value":{"entity-type":"item","numeric-id":5446172,"id":"Q5446172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453106$C176F43F-7DF9-445B-B50C-1887D3FA55BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd2a66adde1572dd62844706f77b656f9ab64e2d","datavalue":{"value":{"entity-type":"item","numeric-id":2849571,"id":"Q2849571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453106$27062E64-3E34-40FA-B8DA-ED2E284F4B97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11ee05faceb53aff6c2caaa10111b4abe02741c3","datavalue":{"value":{"entity-type":"item","numeric-id":861696,"id":"Q861696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453106$80043F7E-EFB1-48F3-AE2D-2F1B2D734890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4a73265bad6ea50fe9fad5bfba6b38941e6752f","datavalue":{"value":{"entity-type":"item","numeric-id":3968876,"id":"Q3968876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453106$FE3A6379-F348-4DD9-93CC-681E368F9212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c181e52b81a331d1cbe2947ce9e8c9219a094aec","datavalue":{"value":{"entity-type":"item","numeric-id":3661462,"id":"Q3661462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453106$E5052A50-4A30-49C9-9908-57AED986D4B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82c1819e35000cc3969e46ed8d18df761969351d","datavalue":{"value":{"entity-type":"item","numeric-id":5705935,"id":"Q5705935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453106$0EF7A0D4-5A2A-4E74-ABAE-696EFAAE0979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a9bdd39754d44bf8e3eda07b5167dd592264d5c","datavalue":{"value":{"entity-type":"item","numeric-id":2368990,"id":"Q2368990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453106$F67AC1CA-E155-404B-B385-1814AEBAC5A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"626d7a62e073def6cda0e756433e91c381c28af8","datavalue":{"value":{"entity-type":"item","numeric-id":1874404,"id":"Q1874404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453106$6D764EDF-16F8-4E69-9D8D-5ECE29D0946A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b6d5e5486283a4f1941c7672eb18dc468ce38ef","datavalue":{"value":{"entity-type":"item","numeric-id":5464840,"id":"Q5464840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453106$F5D91A39-2ADA-409A-8E4F-C2FD0E9F4199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b75c85b2a4a6cc03b2c82d4297d035681ae102db","datavalue":{"value":{"entity-type":"item","numeric-id":557896,"id":"Q557896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453106$79DF6CE9-88B8-41C2-A363-C302CB786BCB","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"c44167e738cb1a0d0b0a0a9a063343abd597e3ef","datavalue":{"value":"journals/tcs/AdaoMV14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453106$F188870B-E6AC-4B93-953C-9C96763532F8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6e67e3b04cd1cd6f8f513e9b629745e32efe5e7b","datavalue":{"value":"10.1016/J.TCS.2013.09.015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453106$783DF0BE-155E-4D78-97D2-06A20F5931BD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cc5fb4c70405369a825c60203f9ed01ab03baa6","datavalue":{"value":{"entity-type":"item","numeric-id":1874404,"id":"Q1874404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b786810d62f512cd98edf349b7d3489020b0f7b4","datavalue":{"value":{"amount":"+0.9364962","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":"Q2453106$969D07AD-506D-4E1E-B95D-2CB5EFC4BC63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ee9fa22fef036a9ec5d24ed2fd065ec736af9fe","datavalue":{"value":{"entity-type":"item","numeric-id":3636823,"id":"Q3636823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d370b08f27c11aa314d2c1f08c4779337a47b95e","datavalue":{"value":{"amount":"+0.8782299","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":"Q2453106$30043ADF-0C65-4532-BA3F-797ECB8C443C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6d40fbfc7c79288a8a58dff3230ad87bb3e37d6","datavalue":{"value":{"entity-type":"item","numeric-id":557799,"id":"Q557799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe023871ddd86962312c1978a04059cc23125b5f","datavalue":{"value":{"amount":"+0.86092514","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":"Q2453106$2355A075-2D9F-4B12-8EC0-55B3E7DA06AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ac20af6fcc50b8dece2a94b91108d5a46913df6","datavalue":{"value":{"entity-type":"item","numeric-id":3695176,"id":"Q3695176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87aeff37e0539bc294f46eed8ce3912c2bf0b5e8","datavalue":{"value":{"amount":"+0.8542524","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":"Q2453106$838BE087-B41F-4E83-8CFA-6517FB8C4534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecbbc55e6d276a6c44610e97892685be7ff3e0b2","datavalue":{"value":{"entity-type":"item","numeric-id":3586028,"id":"Q3586028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af20eda208f71251647dfeab46362e27865c3dcf","datavalue":{"value":{"amount":"+0.83887345","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":"Q2453106$CF20FAD2-80A8-40B6-A8D0-9B585FECA6CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4809be8c457cac7dc5415b4ffbf7673377e61edd","datavalue":{"value":{"entity-type":"item","numeric-id":3613472,"id":"Q3613472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61ab36b7e7a912afff32c1b4315157a59f7b9511","datavalue":{"value":{"amount":"+0.83843505","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":"Q2453106$F7EFAEA6-FEF3-4E4E-87B2-6B8C59C6439F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"431dccf95c674cf0d54940d56c8671e1a3135ac8","datavalue":{"value":{"entity-type":"item","numeric-id":5705935,"id":"Q5705935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd6015ca8ec50884450f3197509bd40e0408a533","datavalue":{"value":{"amount":"+0.83602285","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":"Q2453106$A601CE39-4441-4FAF-A7A2-5124C658D86E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"705be0c32e30022569ae6c0ce3206f4eeb5fda58","datavalue":{"value":{"entity-type":"item","numeric-id":3631368,"id":"Q3631368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75fa49496cb2d5d14ed8b48c0de7394053d374df","datavalue":{"value":{"amount":"+0.83274066","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":"Q2453106$68F844B1-0297-40D8-BD28-B37F1D10AA32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a395f18c09021c11bf1b7310608b4e7a6c55076f","datavalue":{"value":{"entity-type":"item","numeric-id":2037996,"id":"Q2037996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1cd86a25e402c67cf12710457b37e7f6c0ce41f","datavalue":{"value":{"amount":"+0.8286525","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":"Q2453106$CC891A2A-C077-4CD9-B759-4CFA4BF7A006","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Protocol insecurity with a finite number of sessions and a cost-sensitive guessing intruder is NP-complete","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Protocol_insecurity_with_a_finite_number_of_sessions_and_a_cost-sensitive_guessing_intruder_is_NP-complete"}}}}}