Formal analysis of Android's permission-based security model (Q4621200)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Formal analysis of Android's permission-based security model |
scientific article; zbMATH DE number 7020194
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Formal analysis of Android's permission-based security model |
scientific article; zbMATH DE number 7020194 |
Statements
Formal Analysis of Android's Permission-Based Security Model (English)
0 references
8 February 2019
0 references
Android
0 references
security properties
0 references
formal verification
0 references
Coq
0 references
0.9241403937339784
0 references
0.8208348751068115
0 references
0.7418695688247681
0 references
0.736949622631073
0 references
0.7293356657028198
0 references
