{"entities":{"Q462499":{"pageid":464266,"ns":120,"title":"Item:Q462499","lastrevid":62009262,"modified":"2026-04-11T03:09:53Z","type":"item","id":"Q462499","labels":{"en":{"language":"en","value":"Bounded memory Dolev-Yao adversaries in collaborative systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6359042"}},"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":"Q462499$F1EDE3DD-2550-449C-ADD7-79DD09AA744E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6ec7edc694dd2fb20581f48dbe091f7527dddd5d","datavalue":{"value":{"text":"Bounded memory Dolev-Yao adversaries in collaborative systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q462499$5E7D0865-E460-4A5E-B77E-DD5403AFCC65","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"76fd7528da575209212a200fe34904d7dacf378e","datavalue":{"value":"1360.68860","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q462499$8B4CCE30-4C64-4A0E-A72B-7C8990C2A38A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0206dced1d121eca631a5525158864f5f288ec1c","datavalue":{"value":{"entity-type":"item","numeric-id":462498,"id":"Q462498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q462499$1906752A-523E-4ABD-AB2B-FF000AF33ABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ef528bc8876184f9d4707e8d3f50dda4f6f700b","datavalue":{"value":{"entity-type":"item","numeric-id":281158,"id":"Q281158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q462499$73B74EBA-9BED-47F7-B95E-ED070D93FAFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f77aa9981ae6690e559660487e9993c7adcfdc1","datavalue":{"value":{"entity-type":"item","numeric-id":1326779,"id":"Q1326779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q462499$B25E3CFF-6DA1-401F-895A-7296D5045159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"183df695ae89db8e2a7647ddbe2de62ff0deb022","datavalue":{"value":{"entity-type":"item","numeric-id":1052316,"id":"Q1052316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q462499$7334F426-1983-407D-848E-2F621D1CF7BA","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":"Q462499$518EF5BA-F09B-4B35-82AB-B50E89AC3220","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"808f6bb4b9d5080e5d4668c53f28970905e173e5","datavalue":{"value":{"time":"+2014-10-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q462499$52B82816-61F0-4CE0-8B7F-AA71DF440B35","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q462499$CBCF2617-13C6-43F8-BF69-DA1B91BEE48A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q462499$66D1162A-0EF1-461A-B23A-B8A301ED1B87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q462499$CF7715D5-86A2-4190-90E9-97301335D3F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q462499$434B376F-3CF4-41F0-8B43-D1810FFB2D8C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fa4802fa25d1ff74cb74090a5946177dddac1d53","datavalue":{"value":"6359042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q462499$F9036E44-2438-44C6-880D-BEB1342A04B1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc1559491638c52cd7785fac34acd6c19eeba9ca","datavalue":{"value":"collaborative systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q462499$83894203-C88A-4C38-884E-D0BF1E097110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95145f9861f9d642945fd75a4cf3e1831dbd4402","datavalue":{"value":"protocol security","type":"string"},"datatype":"string"},"type":"statement","id":"Q462499$B1136BFA-BC27-4038-9991-5CFDB26CCD6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e2c88cf105fe5835137ad2fa3a42c08ea633895","datavalue":{"value":"complexity results","type":"string"},"datatype":"string"},"type":"statement","id":"Q462499$75B6A94D-D98C-4D20-AB58-B32407166D4F","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":"Q462499$CE2AF74D-C054-4A7D-9240-7822186CFAA6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"54e458cdec66dc88f0f5d194ae829d6e453e73ab","datavalue":{"value":"https://doi.org/10.1016/j.ic.2014.07.011","type":"string"},"datatype":"url"},"type":"statement","id":"Q462499$5FD828D9-07C9-4C18-9B89-EDD055AF167F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"32c4288475dc5e1f20e269f7192de0aa41aa93c8","datavalue":{"value":"W2005648310","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q462499$6489C978-AE3F-44C8-965C-B25FD171958F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e489f60b50ffbcb76ff4a8ca52e7c0625bf4ef0","datavalue":{"value":{"entity-type":"item","numeric-id":4536615,"id":"Q4536615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q462499$B1640370-B8F8-4B1A-A624-F679234A36C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2359ea34b4e7685569c1fcc0ec424abb83c93aa","datavalue":{"value":{"entity-type":"item","numeric-id":1853612,"id":"Q1853612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q462499$66E2DDCF-7D8C-4023-B516-F943091F266B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bea19c14e22df2b6e79717ffd43e171ec62a0d31","datavalue":{"value":{"entity-type":"item","numeric-id":5505548,"id":"Q5505548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q462499$669184D3-5570-4D18-B93D-6D43A0B52862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1dedb1e0be010d88e386bff2e67d96183277317","datavalue":{"value":{"entity-type":"item","numeric-id":5458850,"id":"Q5458850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q462499$F24C78C1-7F51-44D9-BADB-E02E2556C18C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6749097b3d24a4cc9ba62580498b90d1488191f9","datavalue":{"value":{"entity-type":"item","numeric-id":860899,"id":"Q860899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q462499$AAF2C61E-D5FD-4A50-AD24-56E8A015AD2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59913fe185c6401611a45f959636e2872d075951","datavalue":{"value":{"entity-type":"item","numeric-id":2482453,"id":"Q2482453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q462499$2A69E153-300B-4DE6-9CBE-09D8C7E58C54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fa049e0fc5fa200e717f584fe754fb818a519c","datavalue":{"value":{"entity-type":"item","numeric-id":731895,"id":"Q731895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q462499$02045E62-A82E-43FF-AA8A-AB4D9E9E1D8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4928528fce2a350e872c3b2f160a2368e4b5def6","datavalue":{"value":{"entity-type":"item","numeric-id":557799,"id":"Q557799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q462499$E5A35722-B2B5-48DA-8842-69BBF184576F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca7e027091589776f78a6d7ad8457e805c17b28","datavalue":{"value":{"entity-type":"item","numeric-id":5777498,"id":"Q5777498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q462499$F22823BF-50B5-4973-BB66-ACDA124B4C35","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":"Q462499$50EAF408-5E40-4E23-A4F7-CCFCC3F2496A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"257df51e393b0d853943fde502aaeb273a88b89c","datavalue":{"value":{"entity-type":"item","numeric-id":4289279,"id":"Q4289279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q462499$DC4B5B39-CE53-4FED-81A4-0FC2DA886439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9edf3386419ba92cbfd146dac2ca29f0efe38f5","datavalue":{"value":{"entity-type":"item","numeric-id":5862524,"id":"Q5862524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q462499$0DC9A5B8-FE44-41F5-9157-04070E9812A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1c9576a9af1e44009a9ef9a0f7f22e091829d5","datavalue":{"value":{"entity-type":"item","numeric-id":5610986,"id":"Q5610986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q462499$0E2BED14-18F2-4350-97E8-F6C6AEA4A6F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q462499$444BDE87-6714-413E-BA88-4ECB3C0D5D40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37354d2e32834c75d5a3fc5a65d59487cbb50a8e","datavalue":{"value":{"entity-type":"item","numeric-id":462499,"id":"Q462499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q462499$AD5B0B00-F4B0-47F9-8193-87732D0E241C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46c25fd1b72ea8ffa2a6dc5876723fb14055d640","datavalue":{"value":{"entity-type":"item","numeric-id":2973251,"id":"Q2973251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q462499$BA2B6C20-A08F-4F77-8F71-634C6C3E293B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e19bd8fa21a9ca134f7bbcae159b1edf3ab375e","datavalue":{"value":{"entity-type":"item","numeric-id":540688,"id":"Q540688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q462499$6D988921-7B1F-4093-8C8B-82A88AE36504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7401b715cfc118e43dac4b9c66de8e9c8e99c024","datavalue":{"value":{"entity-type":"item","numeric-id":4534180,"id":"Q4534180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q462499$B8C3902E-EDC8-4EDD-9A1B-DA265DD86069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d435c0f67ddf85d33870a390e8862774ba1ecdd","datavalue":{"value":{"entity-type":"item","numeric-id":4248252,"id":"Q4248252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q462499$EF447ED9-91FA-4E7A-AFCA-0C8A92F3EA88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"990393bd70b90fd085a53f98d66454d70d95783b","datavalue":{"value":{"entity-type":"item","numeric-id":1238999,"id":"Q1238999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q462499$BE62171D-DE74-4D2C-9532-0D809A8103E5","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":"Q462499$F9F93D86-D9E5-487E-9A2C-3E99042E20AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c2cb03a5c2c8c1e9cd2f83af3d7b218ea3dacf2","datavalue":{"value":{"entity-type":"item","numeric-id":2986827,"id":"Q2986827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q462499$23C6C621-4763-4C85-9DC8-ADA615D034BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q462499$7B4633D3-54A6-4FE4-BE2D-40AD2B45ABEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b673bbc3f5418c0aa993600aa0db97882717ad","datavalue":{"value":{"entity-type":"item","numeric-id":5191532,"id":"Q5191532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q462499$C31C57D2-10CE-4619-B2C1-9E2318D4735C","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":"Q462499$6F5EEF97-E25C-455A-80A2-AE4CF67539BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"736a1d463d18d2f300e2b9600c3f86eae2986ef8","datavalue":{"value":{"entity-type":"item","numeric-id":2537313,"id":"Q2537313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q462499$04968F70-7932-4674-8BB4-7740B5FA349F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bb289c31fba0f9e78d67ba17bb13761aad9e32b5","datavalue":{"value":"10.1016/J.IC.2014.07.011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q462499$2386D9FE-16D2-4330-8EBE-A71F6A2497EF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd6adcc5b0d8b99d2ef15a77f39c643c039677bb","datavalue":{"value":{"entity-type":"item","numeric-id":2339157,"id":"Q2339157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e58d09fe6936a302716e159c04d2315276b9bcfb","datavalue":{"value":{"amount":"+0.824005126953125","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":"Q462499$B01B4C2A-F990-4167-8AB5-15FD79E19FB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e712eaebcdaff5e5fb7b9b5d5573d5905e7e2306","datavalue":{"value":{"entity-type":"item","numeric-id":5292632,"id":"Q5292632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"deac75dbfcf1dee8a0b9d954fffac71594d6d15c","datavalue":{"value":{"amount":"+0.6756941676139832","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":"Q462499$7EA030B5-6655-4CB0-AAA1-737A14C48737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81948f2a71003d40e4a93cf1f93f006b8785b884","datavalue":{"value":{"entity-type":"item","numeric-id":557888,"id":"Q557888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0efc9a94b9b2ad81f41d0b76a6d184b6f1dbeef","datavalue":{"value":{"amount":"+0.6755772829055786","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":"Q462499$063FDDA4-DBB7-48C0-8551-C78DED359D83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d14f51f53aa7dfff9736f935fac5edb71e95ffda","datavalue":{"value":{"entity-type":"item","numeric-id":1887730,"id":"Q1887730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8255042e3f99f531b3d25126cf355e9b4eb9c19f","datavalue":{"value":{"amount":"+0.6682363748550415","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":"Q462499$3966D14D-E227-49EB-8381-5A6067413594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a2106c2e0f532e3773727cdbc71d47d0cfd2b19","datavalue":{"value":{"entity-type":"item","numeric-id":4364559,"id":"Q4364559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc09ee5cf2ab7704a35471bc523d1ee1f057d5cb","datavalue":{"value":{"amount":"+0.6658272743225098","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":"Q462499$5E074128-E3DF-49E1-B1E5-09387DD029CF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bounded memory Dolev-Yao adversaries in collaborative systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Bounded_memory_Dolev-Yao_adversaries_in_collaborative_systems"}}}}}