{"entities":{"Q3557736":{"pageid":5587640,"ns":120,"title":"Item:Q3557736","lastrevid":50965367,"modified":"2026-01-15T23:27:05Z","type":"item","id":"Q3557736","labels":{"en":{"language":"en","value":"Verification of security-relevant behavior model and security policy for model-carrying code"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5700711"}},"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":"Q3557736$C3AA12A2-32A5-45E6-852F-8B5A65D14561","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cb9e92986ad411ee370fdf1e8bd3dfd7cc13e359","datavalue":{"value":{"text":"Verification of Security-Relevant Behavior Model and Security Policy for Model-Carrying Code","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3557736$8468F13E-FCFB-4C96-B53A-C358FA14689C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e22a9bdf139e496579e41c81d4d195cb6c1aadff","datavalue":{"value":"1200.68156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557736$F05FF152-185E-41BB-8B83-F855D688840E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ac11b65e42ad62b1e4623f506a8d061ed76719ee","datavalue":{"value":"10.1007/978-3-642-10847-1_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557736$EAA66390-D7CB-43D6-A3CF-87D8ECBA4D50","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7687a0b0b4bff14582b8a1c471216f090128ae5","datavalue":{"value":{"entity-type":"item","numeric-id":3557732,"id":"Q3557732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3557736$EE162F87-420E-4A34-9529-EBE0BFC2295A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"318920e1c7a1328b00cbe895035411a735a18c9f","datavalue":{"value":{"entity-type":"item","numeric-id":1936349,"id":"Q1936349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3557736$AB63E206-CB82-4234-8BA9-DA3DE8BC12DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e0d435ac92782cfc44d6919aed930191ab32f9c","datavalue":{"value":{"entity-type":"item","numeric-id":3557733,"id":"Q3557733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3557736$6421DD2F-288C-458D-8EE1-37BA95E14CD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3006cb19e3c69e726ee6cefe49e7cee9b232241c","datavalue":{"value":{"entity-type":"item","numeric-id":3557734,"id":"Q3557734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3557736$9263F100-AE37-4BE9-B035-E764131BE165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d1066ab0aef859138db1d9db2f5ba55fdaababe","datavalue":{"value":{"entity-type":"item","numeric-id":2041416,"id":"Q2041416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3557736$CC91199A-E749-4E59-B87C-94C8D067EF00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f66f0b96d29c84b5b8f360540bcaa6a6e80910e","datavalue":{"value":{"entity-type":"item","numeric-id":3557735,"id":"Q3557735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3557736$3F592DC0-3A2F-458D-A45C-F5CC96B31BD3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94b1efd394a3cce67ce5de455dd61b0333ee80a1","datavalue":{"value":{"entity-type":"item","numeric-id":3557692,"id":"Q3557692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3557736$60603116-9A47-4915-9CED-D016C3E21944","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"61499de60b4472161f22a83fc07a7ebb72c37d7a","datavalue":{"value":{"time":"+2010-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3557736$6FACB2BE-5D98-4469-9CBB-841F03D98F94","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557736$D3ED9A6F-A083-41FB-8834-C7A42BA3D590","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"21b00ac1d462afa2db6df338eb40af004caa84ac","datavalue":{"value":"5700711","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557736$BC61DFE1-42F1-44C5-8F07-8F4FE93D5E5D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"111dada13d2c6dc2c98c9db73efc1a7744dfabd2","datavalue":{"value":"mobile code security","type":"string"},"datatype":"string"},"type":"statement","id":"Q3557736$0A4C5449-CD32-450F-8026-1E18A7B787D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3557736$8D0DC657-0529-4F24-8881-EB5DD7A06ACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a65b4921c365cb32f2034c0af985589902a9568","datavalue":{"value":"behavior model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3557736$CA240831-4FF0-4A25-AB59-024B39F52E3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10fa0aa0a0e5d87361ad1551832a2dcc0ae650d9","datavalue":{"value":"security policy","type":"string"},"datatype":"string"},"type":"statement","id":"Q3557736$BB7D5DC3-B2A4-45B1-9E8F-364A45888D56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16a0415149635d90bfe895e73b1f902b1b351bc5","datavalue":{"value":"model-carrying code","type":"string"},"datatype":"string"},"type":"statement","id":"Q3557736$607B1DCA-0A5C-4624-93AF-052B53A883E3","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":"Q3557736$032F4476-D545-47CC-800C-3337C8360A95","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a6058cd7cf3977dfe039d888de279117529e3ca3","datavalue":{"value":"https://doi.org/10.1007/978-3-642-10847-1_19","type":"string"},"datatype":"url"},"type":"statement","id":"Q3557736$5C3118AE-BEE6-46B5-8711-92B7368A7200","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aa9480d890a105adf3daf1b3935ea0f97aabb2d8","datavalue":{"value":"W100820593","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557736$5C8D57CC-6A3C-46DA-BB8A-1F60D41C11F1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6d6366326a39e6aa5d51b96f78f0cf952748ee9","datavalue":{"value":{"entity-type":"item","numeric-id":432137,"id":"Q432137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48bd56ca7cd019e27280ea03003daa5753442acf","datavalue":{"value":{"amount":"+0.8020843863487244","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":"Q3557736$8E4D352A-C19E-45C1-BDE1-60ABAEBDC205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a66e91ac7a1aa7be69333e480dfdc429f74549b3","datavalue":{"value":{"entity-type":"item","numeric-id":3576154,"id":"Q3576154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"307ccf912649c7380dd0fe1b58019bd6d07642df","datavalue":{"value":{"amount":"+0.7808066010475159","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":"Q3557736$13AD7E79-8160-4CF6-BA33-D5E5C4A4EF5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"844611b28045e4d89e73d9c7828d2270a11c0b8f","datavalue":{"value":{"entity-type":"item","numeric-id":4809041,"id":"Q4809041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1528427e88f56286840f4f08e8a83f66a84fc25","datavalue":{"value":{"amount":"+0.7332120537757874","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":"Q3557736$46DA4C8F-1C93-4987-A18C-281C95A285D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c28ffde56c07e13c0f2b27208e760f8b8404e3e","datavalue":{"value":{"entity-type":"item","numeric-id":4261077,"id":"Q4261077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76d1a62ac3c0e58116b1f93933cc48bc16644120","datavalue":{"value":{"amount":"+0.7210263609886169","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":"Q3557736$4FFD5EB9-8785-4C83-A7B7-B1AD8FEFC7A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"968738de06da72b36d62f783679b4737aac4979c","datavalue":{"value":{"entity-type":"item","numeric-id":3077280,"id":"Q3077280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"859b2e5e5cdd8f2fcacddac5c1ab63a9acc7504e","datavalue":{"value":{"amount":"+0.7158598899841309","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":"Q3557736$9E14C4A7-5F65-4148-BE5E-98B307D6E30C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3557736","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3557736"}}}}}