Fault coverage of Constrained Random Test Selection for access control: A formal analysis.
Ammar MasoodArif GhafoorAditya P. MathurPublished in: J. Syst. Softw. (2010)
Keyphrases
- access control
- formal analysis
- fine grained
- data security
- dynamic access control
- security policies
- security mechanisms
- access control mechanism
- formal methods
- role based access control
- access control models
- access control policies
- role based access control model
- rbac model
- security requirements
- agent model
- security model
- data protection
- information systems
- access control systems
- database management systems
- distributed systems