{"entities":{"Q2482454":{"pageid":2493197,"ns":120,"title":"Item:Q2482454","lastrevid":50338514,"modified":"2026-01-13T20:41:15Z","type":"item","id":"Q2482454","labels":{"en":{"language":"en","value":"A framework for compositional verification of security protocols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5264858"}},"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":"Q2482454$D578DA46-8DB8-43D0-9495-5F2894957B1E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b541c6adfb757c0ea3469e628d838b4062a6ca2d","datavalue":{"value":{"text":"A framework for compositional verification of security protocols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2482454$CD25E3CE-526C-4C67-BFF0-13CAE5ADCAB2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c4c99c8c46001fbebdaf1a768047c2ef47b27290","datavalue":{"value":"1147.68389","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2482454$EB22F0BC-2AEF-44F9-88F1-683C376AEA53","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d16005753db8d274fdeef9a295ce92917824fddd","datavalue":{"value":{"entity-type":"item","numeric-id":764286,"id":"Q764286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482454$91694D78-5722-4F91-8332-181A1AC533D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddd114fbc09713871f40bf7aa7dd3af26436c876","datavalue":{"value":{"entity-type":"item","numeric-id":826256,"id":"Q826256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482454$6BF813DD-8702-4B09-BCE7-08EF7C6F84CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e3e70fbcd4deaefc27ec372729ecd741b9ab8da","datavalue":{"value":{"entity-type":"item","numeric-id":395656,"id":"Q395656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482454$0C1EB2CD-5E11-4CC5-9041-E036B8F7B4C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7639da5a5e41305d3ca62a2e8a834bdabb8268b1","datavalue":{"value":{"entity-type":"item","numeric-id":2412243,"id":"Q2412243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482454$4504E23F-AB0D-492C-9A7D-1B7C19507EEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"626a9b830ab0405e34ce41f06e9590680e8a3ebe","datavalue":{"value":{"entity-type":"item","numeric-id":860903,"id":"Q860903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482454$2F837FEC-BD83-4930-BC83-10F65FF81381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4af4e672cf0e103adee5e636a5d94f8ed3c3ab8e","datavalue":{"value":{"entity-type":"item","numeric-id":870010,"id":"Q870010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482454$7439383A-C337-4A0B-AD8C-F66CD198B3A2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482454$D0E11FBE-93B7-42C2-A16C-3A8BB4B5595B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6a5658e642f3500324f78b23f55b5ff809190c23","datavalue":{"value":{"time":"+2008-04-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2482454$2E863271-2129-4C37-A0B8-E248D5C4A7F8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"da2ce8b871f934e4bb488f8817246145579b3b79","datavalue":{"value":"https://discovery.dundee.ac.uk/en/publications/4a00d192-5144-4614-bd2e-f486f77b7655","type":"string"},"datatype":"url"},"type":"statement","id":"Q2482454$65382E87-9255-45C7-8E9F-7C1C36EDF0C5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2482454$7BADBBD7-0403-4949-B524-88D63B25FB9E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3ff93f360235dc6ef05816cb6d4a0f975776246a","datavalue":{"value":"5264858","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2482454$B5AD3EE3-C077-49BB-835A-4DCDC8706CCA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dfba264ed923dd13e3004a251bcdab07ddaa86e","datavalue":{"value":"compositionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2482454$6B17420F-FA2E-4145-9C65-9091915C7407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7156857ffe92ce842aee3549f498ec9de33be1f7","datavalue":{"value":"security protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q2482454$812CD7A8-AFAE-497D-BE38-84555B044E07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c20b4fa4782bc26ad106d3b73d2e44447725459e","datavalue":{"value":"automatic verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2482454$471C1AF4-721B-452D-9D58-1A44F227B03C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c42ade081697a732b44cb1556ed47805cb98048","datavalue":{"value":"wimax","type":"string"},"datatype":"string"},"type":"statement","id":"Q2482454$C1702D40-2387-477A-86A4-C12097F5BC97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"225f51b6cb6d12ae1298f6527a5bacaaa7fa84d3","datavalue":{"value":"security properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q2482454$85FDF6FC-0CCD-4ED1-A1F8-EF7FB21C5418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0143d2a1dc41fa935e59c3be31e1263c6255764","datavalue":{"value":"authentication","type":"string"},"datatype":"string"},"type":"statement","id":"Q2482454$FDF25650-A853-4B34-8457-AEAE299DF371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"753a4ef19e43e98ad0ea352274a52de9f8050b77","datavalue":{"value":"confidentiality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2482454$60E6EFBD-81A0-411F-94B6-9CA4AA5EC340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2482454$63015D7C-D7C5-456D-986B-A815D2F20123","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":"Q2482454$D2A69514-F3CA-4BD6-8F73-C0ED88F67370","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":"Q2482454$274AD35C-30B6-425E-BCE8-FCD6AF079073","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c5e35ad6a767b8b699f41a5ac3e8022084d36388","datavalue":{"value":"W2125226998","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2482454$8E6EE68E-EF0D-4A69-94C2-E6F887EA8197","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d60ab50b8d1d4756f8ebae8cf9fd6ef9acae13a1","datavalue":{"value":{"entity-type":"item","numeric-id":1283776,"id":"Q1283776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482454$01A20DE9-99DE-4AE1-890D-439D7DC48DBB","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":"Q2482454$06A4DBDD-76AD-4EDD-8FDE-4E947EFDBD26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d04d0c80b8c408bd2b69f41178c3a3ad5b53c23","datavalue":{"value":{"entity-type":"item","numeric-id":860896,"id":"Q860896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482454$A48750B3-F67A-476C-A493-0667F6A4294E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e13e1e8e45aca38e5f71f93c7eba7563c3a10f0","datavalue":{"value":{"entity-type":"item","numeric-id":4738218,"id":"Q4738218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482454$71A54875-591A-4E56-9C14-E899CD38FB1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6410dcbc63f2a24b93683e1d5ff3473e237c3d8","datavalue":{"value":{"entity-type":"item","numeric-id":5308695,"id":"Q5308695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482454$A3C29569-A26A-402C-B185-8F1B1E0F4332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ea5c7bfcd7d33e8177170c842fe7d83d5fbf89c","datavalue":{"value":{"entity-type":"item","numeric-id":4206382,"id":"Q4206382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482454$9FBC9D28-2E49-47AD-9930-29C1E045AA70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cc38d43de6f3ac9726f598ce3966950df1e400b","datavalue":{"value":{"entity-type":"item","numeric-id":4418587,"id":"Q4418587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482454$6D419C18-D2DB-41C1-AC18-61CA166DC327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"822a596fbfc3a97a60d23e4f2069a139f2e245bf","datavalue":{"value":{"entity-type":"item","numeric-id":610283,"id":"Q610283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482454$180359CD-802C-4A32-8A99-9269956E300F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8db3efa7c5561d955688e2496713ed3eab76b2b","datavalue":{"value":{"entity-type":"item","numeric-id":860905,"id":"Q860905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482454$B58F3D5C-C6BE-4C6B-B48B-FEC5D4ED98E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b91d60dc6b58607d5b8f17ee9286ccd5c15c620f","datavalue":{"value":{"entity-type":"item","numeric-id":2864155,"id":"Q2864155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482454$E89BB311-2659-4EB7-9982-DF36A509233D","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":"Q2482454$C2B085C3-B29E-435A-A5F1-C4AE520EA385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73a8dd6d07dd6ae960ffc56968d5ac03d5dce852","datavalue":{"value":{"entity-type":"item","numeric-id":1603655,"id":"Q1603655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482454$9485D4FB-E37D-4DE0-A3BB-134247743507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bcde542669185c5f01fae7f4f01b544b8e911bd","datavalue":{"value":{"entity-type":"item","numeric-id":4330526,"id":"Q4330526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482454$3C7760E4-5641-4A84-8C9E-5E0AF34AF410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3f3182c6b7e62a8101a6c6001147bd2e27f1907","datavalue":{"value":{"entity-type":"item","numeric-id":4387317,"id":"Q4387317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482454$6220A0D8-EDA6-48D5-89DB-FD419AC8A2DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fefd3695fc6c127353eeeaf9bb631916756e929","datavalue":{"value":{"entity-type":"item","numeric-id":4168037,"id":"Q4168037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482454$74B22053-0BD8-4F63-A1F5-B7B21FF3F827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12e4059e3e3788a873388fc3b6237dcbc3b49d09","datavalue":{"value":{"entity-type":"item","numeric-id":2768503,"id":"Q2768503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482454$7123875E-59F0-4412-B9EF-363AB296BB8E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0329a06d43668b8825aa9535696f4fd480b6a7ec","datavalue":{"value":"10.1016/J.IC.2007.07.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2482454$CC5F0932-A25B-41FC-9D1B-D922566F52D2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6456513432c4ff89bff1eed76856ecdc4d98aee6","datavalue":{"value":{"entity-type":"item","numeric-id":1028731,"id":"Q1028731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf048844e5718d7dcd71f131fd1dad5cd9425cfb","datavalue":{"value":{"amount":"+0.7830938100814819","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":"Q2482454$F7213CD0-41C3-417F-9A67-BB68B1759938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53d7c4c10cd6e660c280c5b961ec5da97080dc18","datavalue":{"value":{"entity-type":"item","numeric-id":4484506,"id":"Q4484506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6796e242c6a8d5b680396fe468b11f94afb4b05d","datavalue":{"value":{"amount":"+0.7817633748054504","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":"Q2482454$B15E03E6-9ED2-4644-8BF5-5544F7C775EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99e7ff7524e20949e66b680a4823dbeb97b707dd","datavalue":{"value":{"entity-type":"item","numeric-id":276488,"id":"Q276488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b41332047fd8d9471b63a5e816f433b013e204bc","datavalue":{"value":{"amount":"+0.7692016363143921","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":"Q2482454$9582A858-1EE8-4179-AAEB-B7570067D100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"224cb5592d1287a483b47592b8fc5a2ef8a33fcc","datavalue":{"value":{"entity-type":"item","numeric-id":2429708,"id":"Q2429708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7735794beaa598ef0ea05b9b0757427be2de30fc","datavalue":{"value":{"amount":"+0.7544618248939514","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":"Q2482454$8C7E583D-7796-4417-AD87-710FD046C3DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bdf5de2b1585fdf1250594f6e33f182e5e4ee1c","datavalue":{"value":{"entity-type":"item","numeric-id":5308695,"id":"Q5308695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a4070967c609e713adb3e2e1897fdb1c2c478d1","datavalue":{"value":{"amount":"+0.7484630346298218","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":"Q2482454$0F014CAB-D739-4305-868A-10EA040555A5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2482454","badges":[]}}}}}