Specification and Verification Using Alloy of Optimistic Access Control for Distributed Collaborative Editors.
Aurel RandolphAbdessamad ImineHanifa BouchenebAlejandro QuinteroPublished in: FMICS (2013)
Keyphrases
- access control
- fine grained
- data security
- dynamic access control
- distributed systems
- role based access control
- security policies
- rights management
- role based access control model
- security mechanisms
- identity management
- access control policies
- high assurance
- security architecture
- security model
- rbac model
- access control systems
- database security
- directory service
- access control mechanism
- distributed data
- access control models
- computer networks
- mobile agents
- domain specific
- workflow systems
- trust relationships
- security requirements
- distributed environment
- peer to peer
- discretionary access control