Permission to speak: A logic for access control and conformance.
Nikhil DineshAravind K. JoshiInsup LeeOleg SokolskyPublished in: J. Log. Algebraic Methods Program. (2011)
Keyphrases
- access control
- security policies
- role based access control
- fine grained
- dynamic access control
- access control policies
- data security
- access control models
- security mechanisms
- database security
- security model
- identity management
- security architecture
- security requirements
- access control mechanism
- database systems
- cloud computing
- privacy aware
- trust relationships
- digital rights management
- access control systems