{"entities":{"Q4184301":{"pageid":6213902,"ns":120,"title":"Item:Q4184301","lastrevid":96477713,"modified":"2026-06-05T11:23:00Z","type":"item","id":"Q4184301","labels":{"en":{"language":"en","value":"A model for verification of data security in operating systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3621108"}},"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":"Q4184301$7F89ECA7-C470-4CE5-A00F-03D4A90A615F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2c7a53c8b9d6bd6ec7d63b775d0d260249d35826","datavalue":{"value":{"text":"A model for verification of data security in operating systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4184301$C93ACE66-CB94-486B-926D-B174905087C6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"61056bab9a6d5d68d89b2f0aa43caed2d6385610","datavalue":{"value":"0399.68036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4184301$B3DA39F1-9599-490E-B45F-986AF8B3BFC8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"609835cf1add87538def86c59d6b3fb5c3f0c9cc","datavalue":{"value":"10.1145/359588.359597","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4184301$A9ADEAF9-782E-41A9-9735-BFAB292C069A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec84aad04fb2257252d897d6db096ce48f0e4201","datavalue":{"value":{"entity-type":"item","numeric-id":218037,"id":"Q218037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4184301$1B4100C9-52F0-4D6B-8091-DEAFC85D5FCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c02bd613d1f238f959fe82807db67bc5671ccc7b","datavalue":{"value":{"entity-type":"item","numeric-id":4184300,"id":"Q4184300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4184301$832E3C52-6B1E-4799-BC71-F1299FA5615B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23512e79b17ec0dbe00d89a570006ab4e1ecd403","datavalue":{"value":{"time":"+1978-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4184301$6BBC4EF6-60D1-4296-AD9F-C338EDBE2C66","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4184301$77C6A2DF-F425-40DD-AA67-2BFF1801F90F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4184301$44AAF314-9F6D-4F39-8C20-906BC5DE4CFD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"964ee624af1d13e1829ff55f3b363cc47e56bbc2","datavalue":{"value":"3621108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4184301$EEFB25E1-24F8-4B2D-8CCF-F7D8D73C27BB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51f10e8eaf7b675a1b859f5fcaaa9bfec86cf5aa","datavalue":{"value":"Ucla Secure Operating System","type":"string"},"datatype":"string"},"type":"statement","id":"Q4184301$B973CFED-4AF4-4661-92AA-30B75EE33C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3c972bb0bb3cc5c0aa18ff233125fde89b023fd","datavalue":{"value":"Data Security","type":"string"},"datatype":"string"},"type":"statement","id":"Q4184301$97744956-3295-4423-B9E5-F34F7A68E0C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfed4748623cc6ebc606dbea67d524854f1b90b0","datavalue":{"value":"Program Verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4184301$09EEE121-4C16-4F22-ACA1-512523BDD302","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"8b9cfc239be018388f67e9ec2acd99570249bc91","datavalue":{"value":"Q113434071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4184301$EFF206E6-BE49-4663-98BA-36D199F96FD1","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":"Q4184301$CEC5C41B-EEC9-4B5F-A7F1-825000B8A7CC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d9faf2fdbfe64f871736d421f25ba63902dcf0e7","datavalue":{"value":"https://doi.org/10.1145/359588.359597","type":"string"},"datatype":"url"},"type":"statement","id":"Q4184301$6C7B2805-4CC4-4CA9-B823-7741B4ADEFF4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3a9797f0a63b3205da2c7b1c65fed74e111bec11","datavalue":{"value":"W2025429468","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4184301$FBB75F63-548F-4D81-AAA6-F55FAA7102E0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"087426e75e65ba42be09a15851f31de13b7aa5f3","datavalue":{"value":{"entity-type":"item","numeric-id":56730,"id":"Q56730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4184301$EE442697-08E9-4DD1-8583-DE8D00505007","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A model for verification of data security in operating systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_model_for_verification_of_data_security_in_operating_systems"}}}}}