Formal Analysis of Android's Permission-Based Security Model, .
Gustavo BetarteJuan Diego CampoCarlos LunaAgustín RomanoPublished in: Sci. Ann. Comput. Sci. (2016)
Keyphrases
- security model
- formal analysis
- access control
- security policies
- public key
- security requirements
- fine grained
- security analysis
- formal methods
- malware detection
- designated verifier
- agent model
- provably secure
- access control policies
- authentication and key agreement
- security mechanisms
- third party
- software systems
- low cost
- case study
- public key cryptography
- artificial intelligence
- real time