{"entities":{"Q3510858":{"pageid":5540762,"ns":120,"title":"Item:Q3510858","lastrevid":50400212,"modified":"2026-01-13T23:35:07Z","type":"item","id":"Q3510858","labels":{"en":{"language":"en","value":"Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5297098"}},"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":"Q3510858$CC50B399-7D32-423A-A0D0-20C0AE813922","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"28dddf4f5d326f0b8d35a82119364909c86f9dd2","datavalue":{"value":{"text":"Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3510858$B15AEBDD-FE8D-4020-8402-1C48A24A42C2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9aae81ec04afc6fc34b47a6361a3cdd4b6c73f65","datavalue":{"value":"1143.68476","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510858$04AEF943-4EBC-40B9-98C0-3235151CA1B1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e921202941b2d15cd1b393a961f84197986134dd","datavalue":{"value":"10.1007/978-3-540-68746-7_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510858$D214FD3E-166D-46B1-BE08-38CA3F6CA1F2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ca8f7623dffb50fa0322171ba3188f8d4031660","datavalue":{"value":{"entity-type":"item","numeric-id":3510857,"id":"Q3510857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510858$CE27873D-FBAB-4C20-A9AE-789AEADF7AD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"339e021ba63ce43474248ae6e57750fa061ec58e","datavalue":{"value":{"entity-type":"item","numeric-id":218984,"id":"Q218984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510858$8D527651-8256-4487-927F-9408D9B5CACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6e639d2eeaa2d3553e052d48e38290f102cbe38","datavalue":{"value":{"entity-type":"item","numeric-id":227613,"id":"Q227613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510858$CF596557-BCFE-4926-A20E-E52BE92DB31B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8fd49a16391e6b6827eea9ce95f0764c9a57b27e","datavalue":{"value":{"entity-type":"item","numeric-id":1083860,"id":"Q1083860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510858$2ACBC54F-6AA2-4C57-9E7D-9509800DABD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"251a808fff74ce5335640aab6d5f066cde242d2f","datavalue":{"value":{"entity-type":"item","numeric-id":418850,"id":"Q418850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510858$F133A21E-8296-4B4F-B309-8282D71F11AA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7fed0ee404adfbd97dd01b078802384497e926f4","datavalue":{"value":{"entity-type":"item","numeric-id":3011877,"id":"Q3011877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510858$A674C45C-AB33-4329-9C87-F7A2003DF243","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7f56be72f9fbb489e432bf17d8b59be96c2fd855","datavalue":{"value":{"time":"+2008-07-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3510858$DBB01D80-134E-45C9-A6FE-FBF0374149B2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510858$42DEE746-FBD4-469F-814A-7B3792589FF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510858$D90A8CA1-062F-49BB-8C35-62DEB170A272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71b42e4e887bf125b7436fe1334aef39047fb5c","datavalue":{"value":"94A62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510858$6356CFD0-128D-4E6A-8EBB-CC6A57FFE740","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c1d52d34b70cf1ae29554edd6e1518d1c862f074","datavalue":{"value":"5297098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510858$15324F1F-30CA-4B3A-8F71-4E39B7C20423","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7156857ffe92ce842aee3549f498ec9de33be1f7","datavalue":{"value":"security protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q3510858$BF0A637F-5223-453F-8AA8-5452D646C3E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87994eb840961e5165378eb7f918102952689b42","datavalue":{"value":"formal specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3510858$63C56C18-8816-4A9A-93EA-E3E5B60D3799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ae395d07c0cbb6688769c2b5ef9101b8fd31880","datavalue":{"value":"process algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3510858$6F9BC853-2CF2-4463-B2AB-90A2D7773C33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3510858$0D6F59A9-2611-4048-AA30-734AA49887DB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"15db61fa432026488c4ff63cfec65b45cbb00638","datavalue":{"value":{"entity-type":"item","numeric-id":18651,"id":"Q18651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510858$55B7C113-0A29-4267-B451-BF79EFEE620B","rank":"normal"},{"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":"Q3510858$1AD98492-38AC-46D9-A957-FC30ABC73B77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6eacfb33cc0cc6dc5ca15df41e5da6790304cd9e","datavalue":{"value":{"entity-type":"item","numeric-id":16560,"id":"Q16560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510858$DA7A5F4B-2709-4BA0-BDFC-26E99136E016","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":"Q3510858$4CA02355-8289-445C-86CF-CB730CAC8E87","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c0d709a9a86e84cba04e8a0f9afb1d8c4b11a6b8","datavalue":{"value":"https://doi.org/10.1007/978-3-540-68746-7_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q3510858$51560BFD-5EDC-450B-B420-BFC13517D95C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3a16b17ecb345dcc0b8c6064a0a8d3eee998be80","datavalue":{"value":"W1585279410","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510858$AFED762E-64AE-4EFC-A7A0-BE5FAFC2F757","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72f241cff2b82dfec547d197f5c51a7f7ebad6c2","datavalue":{"value":{"entity-type":"item","numeric-id":4341695,"id":"Q4341695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd8d139c3d911e392370dcaff59c5273877e0bae","datavalue":{"value":{"amount":"+0.7985884547233582","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":"Q3510858$7624BF76-74B1-42CB-8136-97C38298DE7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"261238cc610d3dbb55a68be635677340acdbc8c4","datavalue":{"value":{"entity-type":"item","numeric-id":3369931,"id":"Q3369931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d1e3bf8a431a662e7116d80c9fe16f49a8cf042","datavalue":{"value":{"amount":"+0.7760041356086731","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":"Q3510858$C67F731C-52C7-4ACF-9396-50E8CD559CF0","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":"512c8e87096a4c750f80fafcd62d8bffb3232704","datavalue":{"value":{"amount":"+0.7454183101654053","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":"Q3510858$0C64AC0F-6D96-40C1-9328-324B22750CE0","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":"2c1b3e512817046746c9457cc9395d3f093b8dc6","datavalue":{"value":{"amount":"+0.7382542490959167","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":"Q3510858$8745268A-C177-4218-82DC-17AC7E29E383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f67717d1ff5ca60a3a7267d3106d3b5356e1b60","datavalue":{"value":{"entity-type":"item","numeric-id":5422290,"id":"Q5422290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4b9de5ab1a3738c57f2dae45b03dcc7129693e7","datavalue":{"value":{"amount":"+0.7341515421867371","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":"Q3510858$2F88398D-011C-4DB4-ADA1-A7E8CE5E9160","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3510858","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3510858"}}}}}