{"entities":{"Q4621200":{"pageid":6650783,"ns":120,"title":"Item:Q4621200","lastrevid":53350007,"modified":"2026-01-24T19:12:22Z","type":"item","id":"Q4621200","labels":{"en":{"language":"en","value":"Formal analysis of Android's permission-based security model"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7020194"}},"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":"Q4621200$112E1FB1-B365-4D8C-AB0C-177A04B5B08E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7ae9d69f0782c18ed844192903e80100169228b9","datavalue":{"value":{"text":"Formal Analysis of Android's Permission-Based Security Model","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4621200$6757F27D-595F-4156-B0EB-A89EEE7C7787","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eb21f7cc8cbda75c27ce3cffdf3d4e5715bdbcf3","datavalue":{"value":"1424.68029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621200$D56AFABB-0D1D-4C80-965B-497D0A81EDE4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"04bf15c69c5d1f6b17d258cbc9f8a8a1820b7151","datavalue":{"value":"10.7561/SACS.2016.1.27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621200$A4E859DD-72A5-402E-98C4-5C6F40CC603F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"15a57b693560fd34c9f1a1c205f9ff110b249458","datavalue":{"value":{"entity-type":"item","numeric-id":1671158,"id":"Q1671158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4621200$0262A507-E2B9-425A-A43F-03244CD7E1A0","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":"Q4621200$E0BF0C5B-9471-41B9-9B30-68BE3EF31F5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cdaa4015bf90865e62634e3a9556f53b1a1bcae","datavalue":{"value":{"entity-type":"item","numeric-id":2787444,"id":"Q2787444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4621200$10D21D9C-B486-4FC9-93C6-3FE26421422F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"25b25a080b2a9378f05d9de4d0c4a4329519376e","datavalue":{"value":{"entity-type":"item","numeric-id":2228438,"id":"Q2228438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4621200$EE6E2056-A5DA-461F-AE9A-AE0B3878FE84","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28f1c5b29888d205254bb73c58fdc8777ff4112f","datavalue":{"value":{"entity-type":"item","numeric-id":4621157,"id":"Q4621157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4621200$F8926AFC-C7FF-4B97-94BF-8CDD9511D616","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"32a6dc046c0aa99508538df457dbadf7aa620337","datavalue":{"value":{"time":"+2019-02-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":"Q4621200$1724C917-D5AB-4232-8D10-B3E863ADBACE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621200$D642F2E2-711F-457D-8ADF-85B3C4D73373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621200$00C9AE46-CD48-492F-B78C-6A500328ACF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621200$0CA8A1AA-235F-42C6-B039-E1275999D1C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71b42e4e887bf125b7436fe1334aef39047fb5c","datavalue":{"value":"94A62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621200$4B112129-90A6-48D5-AC0A-79505294B5C6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c59ab02a19c251859d9d59dfc313e19b6858c0eb","datavalue":{"value":"7020194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621200$AFF4F3F4-AA17-4CAA-AD75-735504361437","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7efb3bbc32c7fd7e76cf0b9b7638a794e0c1c1e","datavalue":{"value":"Android","type":"string"},"datatype":"string"},"type":"statement","id":"Q4621200$AD6A96B6-DC9F-4C37-B878-821F70BA0D03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"225f51b6cb6d12ae1298f6527a5bacaaa7fa84d3","datavalue":{"value":"security properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q4621200$B9DB5037-AD84-43DD-8D59-F9D0F3F43093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4621200$25A583AE-E8EF-4FC9-88E6-CBE088C65C2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q4621200$B2FD79C5-9D92-4CD8-8D7A-ABD49049E20D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ccaefc44a137144d452b45ce1a7696b0e10c972a","datavalue":{"value":"Q114917394","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621200$CD0C20AB-EB3F-420F-B003-629DEB0A96ED","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4621200$414F662D-A918-4D77-83CF-4E861E78C43F","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":"Q4621200$C77BE242-85C1-4F7F-B559-831FBEBCEF74","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"61a3dbec5c686ba35b2aedf7551aae4686cd5338","datavalue":{"value":"https://doi.org/10.7561/sacs.2016.1.27","type":"string"},"datatype":"url"},"type":"statement","id":"Q4621200$95909EE6-41C7-4478-A95C-4BB15791A3F1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cd1a01b6b344847e04b3932cbefb2c01fae00abc","datavalue":{"value":"W2575185288","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621200$967D57B3-716D-481B-B62D-8226C26F8F98","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b34b9891a94d799acfe61fa21c4df280d8c90364","datavalue":{"value":{"entity-type":"item","numeric-id":2787445,"id":"Q2787445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdc8fbd59b70ba3ea030cb56c50a272207d3009d","datavalue":{"value":{"amount":"+0.9241403937339784","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":"Q4621200$1C02C28E-700A-454A-8824-20AA5C72700C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0846002191bd95d7bde0440e91f3d0f300c464af","datavalue":{"value":{"entity-type":"item","numeric-id":1671162,"id":"Q1671162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e12829823eb06529786245c8844dcda7cfdf9035","datavalue":{"value":{"amount":"+0.8208348751068115","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":"Q4621200$2EF399A4-5199-427A-8F3B-A5402346D0A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dac753d9e42cc53f6535a390983604c84ccecf47","datavalue":{"value":{"entity-type":"item","numeric-id":5883569,"id":"Q5883569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06e52f0f3815943040b93127cee4f07a0d6b0764","datavalue":{"value":{"amount":"+0.7418695688247681","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":"Q4621200$8E8D6F04-C7F6-410B-9CDB-CAC844A0EEE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"587b4823909c1a7604765d1660348d6bccce6794","datavalue":{"value":{"entity-type":"item","numeric-id":5170786,"id":"Q5170786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8068b2e5824f32dacab8101da1d4f2edf2bfbf5","datavalue":{"value":{"amount":"+0.736949622631073","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":"Q4621200$468B6982-F6E3-47FF-84DB-35F5BCBD6859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"551e99ded8f3159137c146ecffc22ee27c3ca5e7","datavalue":{"value":{"entity-type":"item","numeric-id":5176883,"id":"Q5176883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7db449f423a5d2ba708ce43d478615ce3d917ac","datavalue":{"value":{"amount":"+0.7293356657028198","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":"Q4621200$04A811F6-3D06-4CFA-AFB0-734D035B1CD7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4621200","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4621200"}}}}}