{"entities":{"Q7232180":{"pageid":24494630,"ns":120,"title":"Item:Q7232180","lastrevid":84476165,"modified":"2026-05-18T15:33:45Z","type":"item","id":"Q7232180","labels":{"en":{"language":"en","value":"Towards a certified reference monitor of the android 10 permission system"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8189424"}},"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":"Q7232180$164F14C2-933D-427C-B968-97BD0CE24734","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c3bea8a35d147bad341beb193e4fea14450dcaf3","datavalue":{"value":{"text":"Towards a certified reference monitor of the android 10 permission system","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7232180$FB9ED1BC-27F8-4EDC-A6AD-D1E228C9CDD8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"41e4beed7599fe474c42178142a4d757c801b39f","datavalue":{"value":"10.4230/LIPICS.TYPES.2020.3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7232180$00FD82E4-20D9-4AA6-9A79-503D9B8C3C1F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cee2a0b5e1a38b20fef9e804040e321c339c9eb","datavalue":{"value":{"entity-type":"item","numeric-id":6103591,"id":"Q6103591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232180$3DDD5C55-A84E-4B46-8E76-0097B387D118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"98b1d0c3bcc0f90d6fd18a317c6452cb60f2ad98","datavalue":{"value":{"entity-type":"item","numeric-id":1671161,"id":"Q1671161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232180$085E21E9-97C1-441E-B3C2-6E26C0907AF8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"22b7db1ee47288e2a17e9877aecc2cd5315e6862","datavalue":{"value":{"time":"+2026-04-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7232180$D5ED76F9-42BD-4EF5-82B2-91B99D5AA0A3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7232180$58DEE987-D22D-477C-81FF-8A61DAA1C560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7232180$1471C4C3-B54B-48EF-9666-E05FB8C3B24E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7d64aea50618e09de306ef974a529fdaca71d7f3","datavalue":{"value":"8189424","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7232180$3405D49C-C4C6-4FB3-BCD2-D34B1B90C846","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232180$F8ABD151-83CC-4228-8DBC-7A5A2FD4F091","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec79b7e9a16923c9d8fa4440d168618004ddaec0","datavalue":{"value":"android","type":"string"},"datatype":"string"},"type":"statement","id":"Q7232180$8E004F4F-4A4A-453F-9486-15D42346E524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ceb4163352ab903254889892429446cba554d1d","datavalue":{"value":"permission model","type":"string"},"datatype":"string"},"type":"statement","id":"Q7232180$01244AB3-DBAE-4470-B804-25E2BB43B938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a26918e9858edba7115d35692965aa3433109e18","datavalue":{"value":"formal idealized model","type":"string"},"datatype":"string"},"type":"statement","id":"Q7232180$869C545C-B3D5-4F43-AC2C-155310DFCFC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01591f94b8c85f226f60d427dbe4c847cc111229","datavalue":{"value":"reference monitor","type":"string"},"datatype":"string"},"type":"statement","id":"Q7232180$10A6F88C-E16B-4C85-BD0C-FBBA2549EA20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55caf05c57404ab910cf1d6d785d791abcc73ea3","datavalue":{"value":"formal proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q7232180$716853BF-B51F-4A43-ACF1-5B78C11C69C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc8e2ace67377fddf84ca32ea269853516d8eebf","datavalue":{"value":"certified implementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q7232180$0ABF79F5-141B-462F-AD26-9386433E7799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q7232180$60CD60E3-2872-4A70-86F5-7C16A7A17AE5","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":"Q7232180$421C24AA-9AB5-47A6-8639-37A3F7F36D4D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"522a4e7310cc1c6039596283d9903c87524a94ff","datavalue":{"value":{"entity-type":"item","numeric-id":2754027,"id":"Q2754027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232180$33E893AD-A3F1-4F66-81CA-163B2A98E198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad38e0ef5109c872fd15da36ed5bb76b94d70ec6","datavalue":{"value":{"entity-type":"item","numeric-id":3434629,"id":"Q3434629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232180$1B647E5D-B5BC-447C-A7B4-C1D8A08B26E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c857aaf69cf79c87b310efd65fcb1c3f1d2baf0f","datavalue":{"value":{"entity-type":"item","numeric-id":3183524,"id":"Q3183524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232180$AE12960A-4923-4CBF-80EB-2657CAC9AD6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d10a6625d3207be315c3c8393b47cc5939e7c8a","datavalue":{"value":{"entity-type":"item","numeric-id":1671162,"id":"Q1671162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232180$45E04991-3D8F-4B69-900C-0C9D884B490B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb1812a83c3a4aee25d6a67b2527c143aea9ae4","datavalue":{"value":{"entity-type":"item","numeric-id":4435471,"id":"Q4435471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232180$9C9B1878-B3BD-450F-BE96-72A154E8615C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25306047135725f913a4f7e74905e97b4e740016","datavalue":{"value":{"entity-type":"item","numeric-id":4916053,"id":"Q4916053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232180$4527B93F-D5FA-49F1-859D-4EC8960F05B1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Towards a certified reference monitor of the android 10 permission system","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Towards_a_certified_reference_monitor_of_the_android_10_permission_system"}}}}}