Verifying Access Control in Statecharts.
Levi LucioQin ZhangVasco SousaYves Le TraonPublished in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2011)
Keyphrases
- access control
- fine grained
- dynamic access control
- data security
- access control policies
- security model
- role based access control
- security policies
- rbac model
- model checking
- security mechanisms
- access control mechanism
- database security
- access control systems
- identity management
- role based access control model
- access control models
- unauthorized access
- security architecture
- security requirements