A Formal Specification of Access Control in Android with URI Permissions.
Samir TalegaonRam KrishnanPublished in: Inf. Syst. Frontiers (2021)
Keyphrases
- formal specification
- access control
- fine grained
- model checking
- dynamic access control
- data security
- access control models
- mobile devices
- role based access control
- security policies
- reverse engineering
- access control policies
- database security
- security mechanisms
- security model
- access control mechanism
- mobile applications
- database
- open source
- multi agent