A Formal Specification of Access Control in Android.
Samir TalegaonRam KrishnanPublished in: SKM (2019)
Keyphrases
- formal specification
- access control
- model checking
- fine grained
- data security
- dynamic access control
- security policies
- mobile devices
- reverse engineering
- formal methods
- role based access control
- security mechanisms
- security requirements
- access control policies
- database security
- security model
- mobile applications
- business rules
- software components
- access control systems
- building blocks