Using alloy to analyse a spatio-temporal access control model supporting delegation.
Manachai ToahchoodeeIndrakshi RayPublished in: IET Inf. Secur. (2009)
Keyphrases
- access control
- dynamic access control
- spatio temporal
- security model
- data security
- rbac model
- data management
- role based access control
- role based access control model
- fine grained
- security policies
- access control systems
- moving objects
- access control policies
- databases
- database security
- management system
- access control mechanism