Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Verifying Android’s Permission Model - MaRDI portal

Verifying Android’s Permission Model (Q2787445)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Verifying Android’s Permission Model
scientific article

    Statements

    title
    Verifying Android’s Permission Model (English)
    0 references
    author
    Gustavo Betarte
    0 references
    Carlos Luna
    0 references
    Agustín Romano
    0 references
    Juan Diego Campo
    0 references
    publication date
    25 February 2016
    0 references
    zbMATH Keywords
    Android
    0 references
    security properties
    0 references
    formal verification
    0 references
    Coq
    0 references
    describes a project that uses
    Coq
    0 references
    Lintent
    0 references
    CRePE
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68Q60
    0 references
    68M25
    0 references
    68N25
    0 references
    68V15
    0 references
    zbMATH DE Number
    6545743
    0 references
    OpenAlex ID
    W2403020213
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2787445&oldid=32146462"
    Powered by MediaWiki