An automatically verified prototype of the Android permissions system (Q6103592)
From MaRDI portal
scientific article; zbMATH DE number 7702723
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An automatically verified prototype of the Android permissions system |
scientific article; zbMATH DE number 7702723 |
Statements
An automatically verified prototype of the Android permissions system (English)
0 references
27 June 2023
0 references
Android
0 references
Coq
0 references
\(\{log\}\)
0 references
security properties
0 references
automated proof
0 references
