A formal approach for the verification of the permission-based security model of Android.
Carlos LunaGustavo BetarteJuan Diego CampoCamila SanzMaximiliano CristiáFelipe GorostiagaPublished in: CLEI Electron. J. (2018)
Keyphrases
- security model
- access control
- java card
- public key
- formal methods
- security requirements
- security analysis
- role based access control
- fine grained
- model checking
- security policies
- data security
- designated verifier
- formal model
- provably secure
- mobile devices
- access control policies
- malware detection
- third party
- public key cryptography