Paradigm in Verification of Access Control.
JeeHyun HwangVincent C. HuTao XiePublished in: SERE (Companion) (2012)
Keyphrases
- access control
- fine grained
- dynamic access control
- data security
- security policies
- high assurance
- access control policies
- security requirements
- security model
- access control models
- security mechanisms
- database
- role based access control model
- rbac model
- access control systems
- identity management
- unauthorized access
- access control mechanism
- role assignment
- security architecture
- role based access control