Formal Analysis of Android's Permission-Based Security Model (Q4621200)

From MaRDI portal
scientific article; zbMATH DE number 7020194
Language Label Description Also known as
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
    0 references
    0 references
    0 references
    0 references
    8 February 2019
    0 references
    Android
    0 references
    security properties
    0 references
    formal verification
    0 references
    Coq
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references