{"entities":{"Q507348":{"pageid":509115,"ns":120,"title":"Item:Q507348","lastrevid":62359446,"modified":"2026-04-11T05:33:18Z","type":"item","id":"Q507348","labels":{"en":{"language":"en","value":"Intruder deducibility constraints with negation. Decidability and application to secured service compositions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6680822"}},"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":"Q507348$7EF61313-BC3C-49A1-9265-100293F469A0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"01cbc6f48e619a08d5ee5784ed0758b1ad89ee93","datavalue":{"value":{"text":"Intruder deducibility constraints with negation. Decidability and application to secured service compositions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q507348$2FD705E8-ED89-4566-B3DC-C1760FF7DEA2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f5731cd90a821aff35d1b30e76c9c6fd829a5c06","datavalue":{"value":"1356.68012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507348$3661F5DA-FCA0-4BD3-9437-47BB90188DE4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"84b147a61425da7670f9167e4e6807a6d7ea6e53","datavalue":{"value":{"entity-type":"item","numeric-id":507346,"id":"Q507346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507348$88181A1E-4489-4E89-A055-26530D3275A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3be771d01fbe526b5c76e8fa4a0f32fad7031aa","datavalue":{"value":{"entity-type":"item","numeric-id":437029,"id":"Q437029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507348$5F5CE139-CA71-4A1C-BA5D-6E312B261E48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"16ef045480748e3614e1b5878bf1fcba81019b64","datavalue":{"value":{"entity-type":"item","numeric-id":507347,"id":"Q507347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507348$6A781A3E-5070-4822-9F48-D192DFD9A9B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5450522126073beebe5b41bdc84b794c874c239","datavalue":{"value":{"entity-type":"item","numeric-id":437030,"id":"Q437030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507348$50892AFE-2250-420E-BB61-C661EBBD76D0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507348$0454CF50-0380-49E1-ABDB-2D907785256C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"69224595960101be6ec21574e4c403135d7942f5","datavalue":{"value":{"time":"+2017-02-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":"Q507348$CAF98D1D-684A-40A0-BAC9-D063A904DBF4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1daf2dea62de206cb3c467f62195bfa36b994853","datavalue":{"value":"https://arxiv.org/abs/1207.4871","type":"string"},"datatype":"url"},"type":"statement","id":"Q507348$70AB0F98-75B7-4EC2-AEED-712035EB725A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"62ef7b4207e4a3c53960e33eb6f7ea01fa4cb97d","datavalue":{"value":"http://oatao.univ-toulouse.fr/22620/1/avanesov_22620.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q507348$3CD8166A-FE69-4A21-B4DD-F44605189C24","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bb3685facee6981d0664afe5afbdc986c78292cb","datavalue":{"value":"68M11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507348$E66E1DA5-453D-4206-A1FF-9220350063EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507348$8B944720-7ECC-4441-ACCE-B11FAE9B1CD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507348$893CBE70-7662-4295-BE49-6F4D5D185EA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71b42e4e887bf125b7436fe1334aef39047fb5c","datavalue":{"value":"94A62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507348$7970754F-E1E0-421D-A5A4-80D4B7C99404","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"72664b23a9632758c2a2b471bc4696fd1acdc7db","datavalue":{"value":"6680822","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507348$F6BEC530-DF1E-4507-A321-16AA46A6B913","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d17c23c3d6a2abc84029cb6ca54e8b131745004e","datavalue":{"value":"web services","type":"string"},"datatype":"string"},"type":"statement","id":"Q507348$8970E65A-0012-4463-AB18-22540F1114AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"707fb6115c912b20da759b1a2afce146f607c08d","datavalue":{"value":"orchestration","type":"string"},"datatype":"string"},"type":"statement","id":"Q507348$DD32A7B5-CA71-4042-9C9B-4067B2EED747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10fa0aa0a0e5d87361ad1551832a2dcc0ae650d9","datavalue":{"value":"security policy","type":"string"},"datatype":"string"},"type":"statement","id":"Q507348$6738FFB5-963C-4672-A272-AC3792A16D90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"994210162920d27927dec1b929bf0c0d8d115b16","datavalue":{"value":"separation of duty","type":"string"},"datatype":"string"},"type":"statement","id":"Q507348$EFB18EC3-D6AB-44FD-B6FA-CF8A4EF84665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93a5556dbdfe13ffd0bae3bc3f899c626d141a44","datavalue":{"value":"deducibility constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q507348$E56DB324-07EF-4E1F-B6E0-E8A49F479729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbc7cf19c4844f555afeb1874e534e59c2314744","datavalue":{"value":"cryptographic protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q507348$D4A708C8-17C9-44A9-8C7C-BB60A9A556D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q507348$09A37AE7-F84F-423F-8EDF-4CD46148C43F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5c8ba46ca3cfc960c989c4fc1677ad7c552dab4","datavalue":{"value":"automated verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q507348$0D7CFBB0-48D7-4754-BA8A-B6DFEE6F40A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66099e696a2c19d271c11a5347ac1363d45c8b06","datavalue":{"value":"synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q507348$95CA12E2-1AB7-43AB-967F-6977797C24B3","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":"Q507348$264A65C1-8B35-4773-856F-EDA7BE96D501","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"16d4443eb61c2c552cc0d375ba5f0b9570084947","datavalue":{"value":"W2132938106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507348$61A18200-46CC-461F-8D9A-54B221377188","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"737414dce6c255e1c801bd9ffb1616ecb5d1d9fa","datavalue":{"value":{"entity-type":"item","numeric-id":860894,"id":"Q860894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507348$2D8F3053-70E0-41FD-A126-C4065028A2BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"552bf039ed0a24c8a4a34dc5dcdafecc32a34e0c","datavalue":{"value":{"entity-type":"item","numeric-id":2946596,"id":"Q2946596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507348$17BCCAE1-D650-4B6A-89C8-F4A67EE4F02F","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":"Q507348$053175F7-E448-43EA-BA91-CEF48532B9B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55e4515644432a8df48bee056b406ffea2f6c328","datavalue":{"value":{"entity-type":"item","numeric-id":3550961,"id":"Q3550961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507348$2563C031-2AC7-47E1-9DDB-C741B1023854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cf30fb04224126fbe042f2e5f91e603882132fb","datavalue":{"value":{"entity-type":"item","numeric-id":3522042,"id":"Q3522042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507348$13908051-0924-409A-97AF-97ABFE9EBC3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6668db57bb0152828329198a0e28c75cbeba99e8","datavalue":{"value":{"entity-type":"item","numeric-id":2848034,"id":"Q2848034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507348$A369C2AC-4CE6-4F61-82B7-F65858D720BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9172f4cb3c0f3bf372fb0b99f870e14536b0bb5b","datavalue":{"value":{"entity-type":"item","numeric-id":4989024,"id":"Q4989024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507348$C3DA0310-CEBA-4E40-AFEE-410FF462A5BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa504e0f08fb80deb55e9670109c1f4ade70333c","datavalue":{"value":{"entity-type":"item","numeric-id":5286164,"id":"Q5286164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507348$61062D8D-CC6C-49DE-9053-26DAC0722A24","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":"Q507348$80E60409-D701-4F28-95EA-B77EABC7C0ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37ce28ba231ab96eb63bacf761d7575dcc5ab0fa","datavalue":{"value":{"entity-type":"item","numeric-id":3527301,"id":"Q3527301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507348$0B0F48D3-CF53-46AA-B20D-528734331E49","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fab7c6c48f15aff0d8a59dc4019f4f9b63b2215a","datavalue":{"value":"10.1016/J.JSC.2016.07.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507348$1720D2D6-BA16-4BDA-BD77-991F25831B64","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0202efa54f18a9a53ff37dad2f5d332542ef786","datavalue":{"value":{"entity-type":"item","numeric-id":507349,"id":"Q507349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de431fc58375afe0c6a9e651f874ba45b4d4e3b0","datavalue":{"value":{"amount":"+0.7488285899162292","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":"Q507348$873302AA-1337-4032-B17D-4EECD639C966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18d561c31ef58d5a8f7573ee94598d2d324ee800","datavalue":{"value":{"entity-type":"item","numeric-id":5890483,"id":"Q5890483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4732b028a548814ae7a268addee78673dea74ee7","datavalue":{"value":{"amount":"+0.7455515265464783","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":"Q507348$47C8F4E0-79E3-4D08-9842-9567B5790843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b1a56570cd0c242749bdcb3ec929fc5653ced2b","datavalue":{"value":{"entity-type":"item","numeric-id":5716815,"id":"Q5716815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9531fa3d1989f9677be269068438f3d924f6d664","datavalue":{"value":{"amount":"+0.738638162612915","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":"Q507348$578AB67C-B51B-4B11-955B-21E8C66F17F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91556c4310be4307fbe7dabae3bb64fc8d0cdc7e","datavalue":{"value":{"entity-type":"item","numeric-id":3527287,"id":"Q3527287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05c6aeb63380e27513495bbce2b375ed976cfdfe","datavalue":{"value":{"amount":"+0.7287524342536926","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":"Q507348$EAC4DEE5-2838-48DA-B02E-F0A1F6D16C99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d3c513c5f19e3dd174d95f2bdb02e3b6e5f45fa","datavalue":{"value":{"entity-type":"item","numeric-id":462488,"id":"Q462488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97f09fb4f5253216c5b388f2f735e54224e9b899","datavalue":{"value":{"amount":"+0.7245992422103882","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":"Q507348$478BDC2A-42B4-40A5-BEE2-13F0C917526E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Intruder deducibility constraints with negation. Decidability and application to secured service compositions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Intruder_deducibility_constraints_with_negation._Decidability_and_application_to_secured_service_compositions"}}}}}