{"entities":{"Q3178245":{"pageid":3188954,"ns":120,"title":"Item:Q3178245","lastrevid":52573388,"modified":"2026-01-23T00:23:29Z","type":"item","id":"Q3178245","labels":{"en":{"language":"en","value":"Compositional system security with interface-confined adversaries"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6602804"}},"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":"Q3178245$99D617A6-1191-4859-849F-8E31050A3168","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b64d215069fc7fe83555d82fe4d181a7da518b60","datavalue":{"value":{"text":"Compositional System Security with Interface-Confined Adversaries","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3178245$DE8A33A1-F407-4BB4-BAB9-D944E69B53BA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a0b17a43293c44db6c540c93eebaed8b20aa8e46","datavalue":{"value":"1342.68083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178245$9B68C1CD-330F-43AF-A408-61D790CA1648","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b6ed5eb3ed9fff3c6429e68d8bf1ac9d63219f0","datavalue":{"value":{"entity-type":"item","numeric-id":1615409,"id":"Q1615409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178245$DD50B8B7-44F4-43F7-88F7-1F018E26E7C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a09792f032081d33860f42a553eedbbb5daf719e","datavalue":{"value":{"entity-type":"item","numeric-id":2894311,"id":"Q2894311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178245$69392271-E7B3-43CE-A842-B8A011A3B067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b3aa02ec81b2b09be8562948bbbdd02d234ad42","datavalue":{"value":{"entity-type":"item","numeric-id":1020555,"id":"Q1020555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178245$78B6F38C-7284-4846-9380-D7A446F7EA5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e211c695368008413217636e920ea6dbeb72f3d0","datavalue":{"value":{"entity-type":"item","numeric-id":276484,"id":"Q276484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178245$578ABA5B-C152-4FC4-A7A7-0C9CCB5E27E5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178245$0CD93546-7C1F-4E2A-8F44-CB6E92C1E524","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6d94d7fb93a112f04dcda84d3b27e1ba4f782c3b","datavalue":{"value":{"time":"+2016-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3178245$120DF86F-4F87-45F7-9742-402C9B2781EA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178245$B8B7FFB5-5AE0-4CF0-8141-8A202540144A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178245$1B78A123-D4E8-4F89-A11B-F1E5681AF707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178245$2016A9AD-93E0-46A3-8CC1-1E168C55A458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178245$4B0907D8-6817-4532-8B44-D89A45318B64","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"02fd97de8f65790b8ed592c5d4b9a5578d46817b","datavalue":{"value":"6602804","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178245$F85F9F7A-DA91-4B6B-9014-FE5FFCCAC3F8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e1a285ff04fac4432124b9179360589f66057fb","datavalue":{"value":"compositional system security","type":"string"},"datatype":"string"},"type":"statement","id":"Q3178245$EED87439-1C6B-4136-B17D-B09D11E56395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bf8a6acc7c8f0e1d4c6a6f8a79bc23cd97bca04","datavalue":{"value":"program logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3178245$2D7E4957-AB18-4716-B434-3999FD3AA8B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3178245$3FAAEDEB-BAF4-47B7-A816-9ED206956CB8","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":"Q3178245$8BB6B505-0C1C-4642-8C28-E983DAC39D7B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b6456637ec2f5f0a8cdbf4dd9fb1663c643c2ce6","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2010.08.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q3178245$2FE3C212-1BD3-4DC5-9AF2-EAE20CCEF7B4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d6dbb08cee8a7e5ec1fd8173c2be3765232c5dab","datavalue":{"value":"W2111057313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178245$D6F924FA-7B10-4BBD-92F3-E78C8E9EA35D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2c57dfd81934c0c76c7925c937211e00638a6bf","datavalue":{"value":{"entity-type":"item","numeric-id":1100884,"id":"Q1100884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178245$C27747AE-44E5-4839-BBA1-EADDBBB5E04D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7521bef4e1d06d1bc91b727b4cf2c09696156f37","datavalue":{"value":{"entity-type":"item","numeric-id":5255101,"id":"Q5255101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178245$B0BAE051-9817-4117-AD04-1C11AD54BE92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"070e2e89c3486a2c9d067a01dcc011ff74bd361e","datavalue":{"value":{"entity-type":"item","numeric-id":4487266,"id":"Q4487266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178245$5E7E01CB-4F63-4781-8476-E70365D844E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a55d67ee07eb0895f125068c91ad8cf1e0960376","datavalue":{"value":{"entity-type":"item","numeric-id":1028731,"id":"Q1028731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178245$B36DF119-1B3E-4161-9600-9B9EA6E2FBCE","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":"Q3178245$DA637C90-0DD5-4048-A096-D48D20D08B79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70434bd037c21613c35cc4a429ac64d577db822b","datavalue":{"value":{"entity-type":"item","numeric-id":5756496,"id":"Q5756496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178245$2C078861-8446-47AA-B9FF-6502DE3E5912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31cbdd6e86de11f8deef8dbb0b206284ff5d5bc3","datavalue":{"value":{"entity-type":"item","numeric-id":3178245,"id":"Q3178245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178245$A033C109-C0C7-4C98-AE17-9263151FB4F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"817843a7139d1f70c38676e32e4b5862f0d3f2a9","datavalue":{"value":{"entity-type":"item","numeric-id":3666252,"id":"Q3666252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178245$C9F06E98-23FF-4338-9016-B91EE67FFFC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ccc368591937b0e93f76ce0ee9913a83d02dd0c","datavalue":{"value":{"entity-type":"item","numeric-id":3922150,"id":"Q3922150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178245$3B1A3DD0-DC8A-4E75-8094-FBC82C0C02A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49fa5b39ffa40b318449c3af5a336d8c38885f30","datavalue":{"value":{"entity-type":"item","numeric-id":3546051,"id":"Q3546051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178245$E7F627EC-0F04-48F4-A1CD-9712485EB9ED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0266994552d198692c805faf55673b4a8084170b","datavalue":{"value":"10.1016/J.ENTCS.2010.08.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178245$CC4E9534-92A3-4AC9-87B1-09F0A0B71B13","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6a81250ac5a05d5c92a518d9f56e9f51081dd98","datavalue":{"value":{"entity-type":"item","numeric-id":3304803,"id":"Q3304803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a66a0b250a22a4312019318732178b4cc8bebd6f","datavalue":{"value":{"amount":"+0.7458094954490662","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":"Q3178245$33A74734-876F-4767-B88A-DA73CF9348D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c8f1ca6ffb1c1fad92e2634ec45af34492152c8","datavalue":{"value":{"entity-type":"item","numeric-id":4217655,"id":"Q4217655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea769323de47b670238342bc9f56a8b79159364a","datavalue":{"value":{"amount":"+0.7350518107414246","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":"Q3178245$8E45187B-1791-4F28-9C70-2A2379FD514B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bba9be1de89f6b342da1ed2ab9ff202790b7e432","datavalue":{"value":{"entity-type":"item","numeric-id":2324194,"id":"Q2324194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ae63c7f9097c02125ad4ce0de964c4140e75454","datavalue":{"value":{"amount":"+0.7136825919151306","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":"Q3178245$FDF76C9B-4E86-4830-9676-23754226EA5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a49713591421d542ac856c60647732701ed74a86","datavalue":{"value":{"entity-type":"item","numeric-id":4916055,"id":"Q4916055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e9d3d013059ac5d06767c9a91e133e3f09fa7a5","datavalue":{"value":{"amount":"+0.7099658846855164","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":"Q3178245$38179D97-AA55-4D6C-B506-41FDAEE13A98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26d07a144fecbfaee72c7f438e42c8499c974022","datavalue":{"value":{"entity-type":"item","numeric-id":5901780,"id":"Q5901780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2931df21ad7e600016f02ac913089084adf56051","datavalue":{"value":{"amount":"+0.7082458138465881","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":"Q3178245$A9163DE8-C74F-43BC-983F-C2543BA8F54D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3178245","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3178245"}}}}}