Analyzing the Requirements of an Access Control Using VDMTools and PVS.
Georg DroschlPublished in: World Congress on Formal Methods (1999)
Keyphrases
- access control
- workflow systems
- fine grained
- data security
- dynamic access control
- security policies
- role based access control
- security mechanisms
- access control models
- security model
- access control policies
- access control mechanism
- security requirements
- rbac model
- role based access control model
- identity management
- unauthorized access
- database security
- digital rights management
- role assignment