{"entities":{"Q3075867":{"pageid":3086583,"ns":120,"title":"Item:Q3075867","lastrevid":51189548,"modified":"2026-01-17T03:51:01Z","type":"item","id":"Q3075867","labels":{"en":{"language":"en","value":"Formal analysis of security protocols for wireless sensor networks"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5852288"}},"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":"Q3075867$505ECA31-D697-4796-A2D3-9BCE66B39C85","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"05fd5e2202edf0439c80d02f3f6e85c95a78adf0","datavalue":{"value":{"text":"Formal analysis of security protocols for wireless sensor networks","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3075867$0283A2C7-A864-4FD3-BB1C-AF9FD16CE694","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6f1486bc5cc4ae564df457c9228f20733df079dc","datavalue":{"value":"1287.94092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075867$736C2207-175D-4C7B-8059-499633835B28","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b59e762c2b392e3a617198d47c8be36002149c2","datavalue":{"value":{"entity-type":"item","numeric-id":2917299,"id":"Q2917299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075867$B2862CBC-2FB3-4119-BC40-47C56AF28F5B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d2f2f8d99efc72d8c8774c973e07c89a0c8e48e3","datavalue":{"value":{"entity-type":"item","numeric-id":2057282,"id":"Q2057282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075867$51B5881D-BE99-4405-B900-81C2620F5FD7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"94e6b8b6646efe001edd9b80358ba7f0d8e6d8ae","datavalue":{"value":{"time":"+2011-02-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3075867$BE5FEB9B-769C-4606-B732-B43D8F31824F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e1a11a93ce6c487024898c34bfec9087e8782c54","datavalue":{"value":"http://tatra.mat.savba.sk/Full/47/05novot.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3075867$57CA0170-8CD8-4089-9823-34F8B57A5428","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075867$32AB33A4-FF64-4D13-96F1-60552CCF4B7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075867$173C2F85-8E8C-4241-8160-728FFE229B64","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8813c95727680fc0e2ab45c9654cf5ad83a13eb5","datavalue":{"value":"5852288","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075867$4489BBCB-9E29-4F7B-B79C-9D3CAF7CE743","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7156857ffe92ce842aee3549f498ec9de33be1f7","datavalue":{"value":"security protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q3075867$179343A6-13B0-40D8-AC36-2859C7C5A4C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bba43ee3064ab057bd0dad152790e61c877e224b","datavalue":{"value":"Wireless Sensor Networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q3075867$D9AB5C84-CA13-43CA-A3A6-00455E88610B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26852e62a89689e7d4ead334a2523749d2837df2","datavalue":{"value":"formal analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3075867$E2BA43F8-7EF6-450F-B2B2-B5EC866951D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfbc97c1cc65cae6a3ec4dd076af16224e207435","datavalue":{"value":"Dolev-Yao model of the attacker","type":"string"},"datatype":"string"},"type":"statement","id":"Q3075867$42D01790-5D72-475F-A422-CFF3960E09D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc1821e692c0dc339c13a347eb390ff2e84a634e","datavalue":{"value":"data integrity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3075867$84D91D08-006B-492A-9E8C-72F396FDCB3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89ca33163bb2b6cd40341ed13a2d2f9a0d6a00b1","datavalue":{"value":"applied pi-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3075867$9BF2039A-F55D-4544-842E-0A63C30266E1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"580cc01f523eb259b29d75d715bd1b2876d59d0d","datavalue":{"value":{"entity-type":"item","numeric-id":15706,"id":"Q15706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075867$3772FADB-9F0C-4493-A793-85360F2ECE9E","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":"Q3075867$B146C989-36F7-4568-B901-D964754AF1F9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4c13cc586d39d706c7ac9015b490fdc668db8637","datavalue":{"value":"W2062569358","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075867$45DEF308-5CD4-48FE-BF07-55427474EAC8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4659e4b65a5166be2e30470c613179619fe95b23","datavalue":{"value":{"entity-type":"item","numeric-id":5178877,"id":"Q5178877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075867$0C0344B0-879E-496E-B814-40B10DBB2C6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"500b7013db46803970c07a38c3e11d7b9fe62b46","datavalue":{"value":{"entity-type":"item","numeric-id":5716566,"id":"Q5716566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075867$EFF89019-4D32-483D-A7F3-4701F19B26C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bf7c064b76af9494a13caa5e890527a5341bec5","datavalue":{"value":{"entity-type":"item","numeric-id":5394433,"id":"Q5394433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075867$E06292BB-7E7D-4A4E-ABF4-8370471D6EEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c5c1aa602e2ab6867eb09c994970bc604aacfee","datavalue":{"value":{"entity-type":"item","numeric-id":4718481,"id":"Q4718481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075867$7064A79D-1D21-4BA9-94D8-C093B99521B8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fb150dfa62e47fce62bee2d83d7c973e1a429e8a","datavalue":{"value":"10.2478/V10127-010-0032-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075867$610AD86B-714C-48B2-99CE-42B25C75D755","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d0eae367b05ec54f3cd8313f4e270dc091581c6","datavalue":{"value":{"entity-type":"item","numeric-id":5902546,"id":"Q5902546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc7206493a2664e0e04319da7c4f3e1112558636","datavalue":{"value":{"amount":"+0.7521392107009888","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":"Q3075867$54F08D9F-6FE1-41CF-8C13-FD22A21549E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6206fb2333e843b84a862f154bfb633db182fcda","datavalue":{"value":{"entity-type":"item","numeric-id":1853583,"id":"Q1853583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c26def1856a31f53c3355bf195199f0734b7a5f","datavalue":{"value":{"amount":"+0.7167507410049438","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":"Q3075867$3F9877D7-E5CD-4AB3-88CB-7269F5FFE47A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f0effb2e43e18f997744cafc022d2adca78fabf","datavalue":{"value":{"entity-type":"item","numeric-id":860908,"id":"Q860908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21f3f20f9000e6d7f1e064b6794c1377fbd41898","datavalue":{"value":{"amount":"+0.7147604823112488","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":"Q3075867$5F83831B-A5B2-41A7-ACEF-E1E5F6312214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"deb9d2a38b09a70f3b29ee1ad72d28ea19532423","datavalue":{"value":{"entity-type":"item","numeric-id":2848031,"id":"Q2848031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"485e8df7124e92034323099cb6377596e7e728f1","datavalue":{"value":{"amount":"+0.7077115178108215","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":"Q3075867$A6F8B62A-1C68-4891-B3DC-B4FC89C98C6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a212e9f5020f5e6672306a0d1ad9597f4a9b9f40","datavalue":{"value":{"entity-type":"item","numeric-id":1758154,"id":"Q1758154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44f260896f86eca278ecc4b3f16aaffe1ef2b5f9","datavalue":{"value":{"amount":"+0.7067053318023682","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":"Q3075867$D7481A7F-1A20-484A-95AA-1C60973B3225","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3075867","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3075867"}}}}}