Safety and Liveness for an RBAC/MAC Security Model.
Charles E. PhillipsSteven A. DemurjianT. C. TingPublished in: DBSec (2003)
Keyphrases
- security model
- access control
- role based access control
- fine grained
- security requirements
- public key
- access control policies
- data security
- security policies
- security mechanisms
- security analysis
- provably secure
- high dimensional
- authentication and key agreement
- case study
- software systems
- similarity measure
- database systems