{"entities":{"Q115012793":{"pageid":109668783,"ns":0,"title":"Q115012793","lastrevid":2151141081,"modified":"2024-05-11T05:29:23Z","type":"item","id":"Q115012793","labels":{"en":{"language":"en","value":"Abstract Interpretation for Proving Secrecy Properties in Security Protocols"}},"descriptions":{"en":{"language":"en","value":"scientific article published in 2003"},"ast":{"language":"ast","value":"art\u00edculu cient\u00edficu espubliz\u00e1u en 2003"},"fr":{"language":"fr","value":"article scientifique publi\u00e9 en 2003"},"uk":{"language":"uk","value":"\u043d\u0430\u0443\u043a\u043e\u0432\u0430 \u0441\u0442\u0430\u0442\u0442\u044f, \u043e\u043f\u0443\u0431\u043b\u0456\u043a\u043e\u0432\u0430\u043d\u0430 \u0443 2003"},"hy":{"language":"hy","value":"\u0563\u056b\u057f\u0561\u056f\u0561\u0576 \u0570\u0578\u0564\u057e\u0561\u056e \u0570\u0580\u0561\u057f\u0561\u0580\u0561\u056f\u057e\u0561\u056e 2003 \u0569\u057e\u0561\u056f\u0561\u0576\u056b\u0576"}},"aliases":{},"claims":{"P1433":[{"mainsnak":{"snaktype":"value","property":"P1433","hash":"6dfac56d96a10bcf74ee9fe2bdc3f8f46cfe6235","datavalue":{"value":{"entity-type":"item","numeric-id":5358287,"id":"Q5358287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q115012793$ABB53606-C72E-4B51-B055-927D1045304C","rank":"normal","references":[{"hash":"b147a616e738a69194f2a21bf78d17894ec74760","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"a185ae64d472c92d128e6bcb1de168a4b46a2019","datavalue":{"value":{"entity-type":"item","numeric-id":5188229,"id":"Q5188229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P356":[{"snaktype":"value","property":"P356","hash":"3f31c80fc0632bc052e480377e7e7642efb7c44e","datavalue":{"value":"10.1016/s1571-0661(04)00243-9","type":"string"},"datatype":"external-id"}],"P854":[{"snaktype":"value","property":"P854","hash":"6f2564d8ceb995489fc4f543ea5d2b545dc4e958","datavalue":{"value":"https://api.crossref.org/v1/works/https://doi.org/10.1016/s1571-0661(04)00243-9","type":"string"},"datatype":"url"}],"P813":[{"snaktype":"value","property":"P813","hash":"70e1cbb701ecc7cd8e5ca8c28eed43ec7fae9380","datavalue":{"value":{"time":"+2022-11-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P248","P356","P854","P813"]}]}],"P1476":[{"mainsnak":{"snaktype":"value","property":"P1476","hash":"23a4f4b006f6bf2968b162a3f689c4ffe85e0654","datavalue":{"value":{"text":"Abstract Interpretation for Proving Secrecy Properties in Security Protocols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q115012793$28419D16-187B-4B72-B143-497DC19DF559","rank":"normal","references":[{"hash":"b147a616e738a69194f2a21bf78d17894ec74760","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"a185ae64d472c92d128e6bcb1de168a4b46a2019","datavalue":{"value":{"entity-type":"item","numeric-id":5188229,"id":"Q5188229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P356":[{"snaktype":"value","property":"P356","hash":"3f31c80fc0632bc052e480377e7e7642efb7c44e","datavalue":{"value":"10.1016/s1571-0661(04)00243-9","type":"string"},"datatype":"external-id"}],"P854":[{"snaktype":"value","property":"P854","hash":"6f2564d8ceb995489fc4f543ea5d2b545dc4e958","datavalue":{"value":"https://api.crossref.org/v1/works/https://doi.org/10.1016/s1571-0661(04)00243-9","type":"string"},"datatype":"url"}],"P813":[{"snaktype":"value","property":"P813","hash":"70e1cbb701ecc7cd8e5ca8c28eed43ec7fae9380","datavalue":{"value":{"time":"+2022-11-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P248","P356","P854","P813"]}]}],"P2093":[{"mainsnak":{"snaktype":"value","property":"P2093","hash":"5df4ebd9de41c7f609ff9f073775612c799d798e","datavalue":{"value":"K. Adi","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"2a1ced1dca90648ea7e306acbadd74fc81a10722","datavalue":{"value":"1","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q115012793$3349E355-0893-4AA4-968A-4CD00D6590DA","rank":"normal","references":[{"hash":"b147a616e738a69194f2a21bf78d17894ec74760","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"a185ae64d472c92d128e6bcb1de168a4b46a2019","datavalue":{"value":{"entity-type":"item","numeric-id":5188229,"id":"Q5188229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P356":[{"snaktype":"value","property":"P356","hash":"3f31c80fc0632bc052e480377e7e7642efb7c44e","datavalue":{"value":"10.1016/s1571-0661(04)00243-9","type":"string"},"datatype":"external-id"}],"P854":[{"snaktype":"value","property":"P854","hash":"6f2564d8ceb995489fc4f543ea5d2b545dc4e958","datavalue":{"value":"https://api.crossref.org/v1/works/https://doi.org/10.1016/s1571-0661(04)00243-9","type":"string"},"datatype":"url"}],"P813":[{"snaktype":"value","property":"P813","hash":"70e1cbb701ecc7cd8e5ca8c28eed43ec7fae9380","datavalue":{"value":{"time":"+2022-11-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P248","P356","P854","P813"]}]},{"mainsnak":{"snaktype":"value","property":"P2093","hash":"ca69a64942ee038a13b64f1de3423ab2d8a45a05","datavalue":{"value":"M. Debbabi","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"7241753c62a310cf84895620ea82250dcea65835","datavalue":{"value":"2","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q115012793$17D5057C-BE33-4D0A-84B8-7052C142B7C2","rank":"normal","references":[{"hash":"b147a616e738a69194f2a21bf78d17894ec74760","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"a185ae64d472c92d128e6bcb1de168a4b46a2019","datavalue":{"value":{"entity-type":"item","numeric-id":5188229,"id":"Q5188229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P356":[{"snaktype":"value","property":"P356","hash":"3f31c80fc0632bc052e480377e7e7642efb7c44e","datavalue":{"value":"10.1016/s1571-0661(04)00243-9","type":"string"},"datatype":"external-id"}],"P854":[{"snaktype":"value","property":"P854","hash":"6f2564d8ceb995489fc4f543ea5d2b545dc4e958","datavalue":{"value":"https://api.crossref.org/v1/works/https://doi.org/10.1016/s1571-0661(04)00243-9","type":"string"},"datatype":"url"}],"P813":[{"snaktype":"value","property":"P813","hash":"70e1cbb701ecc7cd8e5ca8c28eed43ec7fae9380","datavalue":{"value":{"time":"+2022-11-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P248","P356","P854","P813"]}]}],"P304":[{"mainsnak":{"snaktype":"value","property":"P304","hash":"97dd43d2ac45183d45fc29bc1a3863deb0b08bc7","datavalue":{"value":"25-50","type":"string"},"datatype":"string"},"type":"statement","id":"Q115012793$B442CDC7-11F6-43D5-B2CC-0023594238F4","rank":"normal","references":[{"hash":"b147a616e738a69194f2a21bf78d17894ec74760","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"a185ae64d472c92d128e6bcb1de168a4b46a2019","datavalue":{"value":{"entity-type":"item","numeric-id":5188229,"id":"Q5188229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P356":[{"snaktype":"value","property":"P356","hash":"3f31c80fc0632bc052e480377e7e7642efb7c44e","datavalue":{"value":"10.1016/s1571-0661(04)00243-9","type":"string"},"datatype":"external-id"}],"P854":[{"snaktype":"value","property":"P854","hash":"6f2564d8ceb995489fc4f543ea5d2b545dc4e958","datavalue":{"value":"https://api.crossref.org/v1/works/https://doi.org/10.1016/s1571-0661(04)00243-9","type":"string"},"datatype":"url"}],"P813":[{"snaktype":"value","property":"P813","hash":"70e1cbb701ecc7cd8e5ca8c28eed43ec7fae9380","datavalue":{"value":{"time":"+2022-11-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P248","P356","P854","P813"]}]}],"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"29465f78f13add11b617f0de4ade56cd1122c19c","datavalue":{"value":{"entity-type":"item","numeric-id":13442814,"id":"Q13442814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q115012793$ED702A6D-7856-4FAB-9557-7712C08B9BE1","rank":"normal","references":[{"hash":"b147a616e738a69194f2a21bf78d17894ec74760","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"a185ae64d472c92d128e6bcb1de168a4b46a2019","datavalue":{"value":{"entity-type":"item","numeric-id":5188229,"id":"Q5188229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P356":[{"snaktype":"value","property":"P356","hash":"3f31c80fc0632bc052e480377e7e7642efb7c44e","datavalue":{"value":"10.1016/s1571-0661(04)00243-9","type":"string"},"datatype":"external-id"}],"P854":[{"snaktype":"value","property":"P854","hash":"6f2564d8ceb995489fc4f543ea5d2b545dc4e958","datavalue":{"value":"https://api.crossref.org/v1/works/https://doi.org/10.1016/s1571-0661(04)00243-9","type":"string"},"datatype":"url"}],"P813":[{"snaktype":"value","property":"P813","hash":"70e1cbb701ecc7cd8e5ca8c28eed43ec7fae9380","datavalue":{"value":{"time":"+2022-11-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P248","P356","P854","P813"]}]}],"P356":[{"mainsnak":{"snaktype":"value","property":"P356","hash":"729d21c0c8b91ace0d81fcafc9d6cc9885957ae2","datavalue":{"value":"10.1016/S1571-0661(04)00243-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q115012793$058463A2-D9BF-47B8-96BB-7FD80777EB21","rank":"normal","references":[{"hash":"b147a616e738a69194f2a21bf78d17894ec74760","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"a185ae64d472c92d128e6bcb1de168a4b46a2019","datavalue":{"value":{"entity-type":"item","numeric-id":5188229,"id":"Q5188229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P356":[{"snaktype":"value","property":"P356","hash":"3f31c80fc0632bc052e480377e7e7642efb7c44e","datavalue":{"value":"10.1016/s1571-0661(04)00243-9","type":"string"},"datatype":"external-id"}],"P854":[{"snaktype":"value","property":"P854","hash":"6f2564d8ceb995489fc4f543ea5d2b545dc4e958","datavalue":{"value":"https://api.crossref.org/v1/works/https://doi.org/10.1016/s1571-0661(04)00243-9","type":"string"},"datatype":"url"}],"P813":[{"snaktype":"value","property":"P813","hash":"70e1cbb701ecc7cd8e5ca8c28eed43ec7fae9380","datavalue":{"value":{"time":"+2022-11-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P248","P356","P854","P813"]}]}],"P433":[{"mainsnak":{"snaktype":"value","property":"P433","hash":"962ed10012ef254020e2a8c8a6c8ba7647d35a12","datavalue":{"value":"1","type":"string"},"datatype":"string"},"type":"statement","id":"Q115012793$94447A67-779C-4597-B2FC-D66A1990FB9C","rank":"normal","references":[{"hash":"b147a616e738a69194f2a21bf78d17894ec74760","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"a185ae64d472c92d128e6bcb1de168a4b46a2019","datavalue":{"value":{"entity-type":"item","numeric-id":5188229,"id":"Q5188229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P356":[{"snaktype":"value","property":"P356","hash":"3f31c80fc0632bc052e480377e7e7642efb7c44e","datavalue":{"value":"10.1016/s1571-0661(04)00243-9","type":"string"},"datatype":"external-id"}],"P854":[{"snaktype":"value","property":"P854","hash":"6f2564d8ceb995489fc4f543ea5d2b545dc4e958","datavalue":{"value":"https://api.crossref.org/v1/works/https://doi.org/10.1016/s1571-0661(04)00243-9","type":"string"},"datatype":"url"}],"P813":[{"snaktype":"value","property":"P813","hash":"70e1cbb701ecc7cd8e5ca8c28eed43ec7fae9380","datavalue":{"value":{"time":"+2022-11-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P248","P356","P854","P813"]}]}],"P478":[{"mainsnak":{"snaktype":"value","property":"P478","hash":"4ede167b2a46b830a076883d77ba4f2e1d953663","datavalue":{"value":"55","type":"string"},"datatype":"string"},"type":"statement","id":"Q115012793$BBAAA11E-8802-47E8-B745-81C4AE7BCE2D","rank":"normal","references":[{"hash":"b147a616e738a69194f2a21bf78d17894ec74760","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"a185ae64d472c92d128e6bcb1de168a4b46a2019","datavalue":{"value":{"entity-type":"item","numeric-id":5188229,"id":"Q5188229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P356":[{"snaktype":"value","property":"P356","hash":"3f31c80fc0632bc052e480377e7e7642efb7c44e","datavalue":{"value":"10.1016/s1571-0661(04)00243-9","type":"string"},"datatype":"external-id"}],"P854":[{"snaktype":"value","property":"P854","hash":"6f2564d8ceb995489fc4f543ea5d2b545dc4e958","datavalue":{"value":"https://api.crossref.org/v1/works/https://doi.org/10.1016/s1571-0661(04)00243-9","type":"string"},"datatype":"url"}],"P813":[{"snaktype":"value","property":"P813","hash":"70e1cbb701ecc7cd8e5ca8c28eed43ec7fae9380","datavalue":{"value":{"time":"+2022-11-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P248","P356","P854","P813"]}]}],"P577":[{"mainsnak":{"snaktype":"value","property":"P577","hash":"780324dde7e05e02146151aa20f94585eeea116c","datavalue":{"value":{"time":"+2003-01-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":10,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q115012793$BD930667-7EF5-4C93-AEEC-E29DEB991575","rank":"normal","references":[{"hash":"b147a616e738a69194f2a21bf78d17894ec74760","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"a185ae64d472c92d128e6bcb1de168a4b46a2019","datavalue":{"value":{"entity-type":"item","numeric-id":5188229,"id":"Q5188229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P356":[{"snaktype":"value","property":"P356","hash":"3f31c80fc0632bc052e480377e7e7642efb7c44e","datavalue":{"value":"10.1016/s1571-0661(04)00243-9","type":"string"},"datatype":"external-id"}],"P854":[{"snaktype":"value","property":"P854","hash":"6f2564d8ceb995489fc4f543ea5d2b545dc4e958","datavalue":{"value":"https://api.crossref.org/v1/works/https://doi.org/10.1016/s1571-0661(04)00243-9","type":"string"},"datatype":"url"}],"P813":[{"snaktype":"value","property":"P813","hash":"70e1cbb701ecc7cd8e5ca8c28eed43ec7fae9380","datavalue":{"value":{"time":"+2022-11-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P248","P356","P854","P813"]}]}],"P894":[{"mainsnak":{"snaktype":"value","property":"P894","hash":"1bef47cf5bbf87361fab73bb92dd3572dc452cf0","datavalue":{"value":"1268.94023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q115012793$990C15E3-B39F-47FF-A121-AA14D8C88344","rank":"normal"}],"P6104":[{"mainsnak":{"snaktype":"value","property":"P6104","hash":"a27c5fdb35b42381f12b2a603711e56d98dd77fd","datavalue":{"value":{"entity-type":"item","numeric-id":8487137,"id":"Q8487137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q115012793$682E75A5-9919-4E4B-924D-BFD79871D3ED","rank":"normal"}]},"sitelinks":{}}}}