On the Decidability of the Safety Problem for Access Control Policies.
E. KleinerT. NewcombPublished in: Electron. Notes Theor. Comput. Sci. (2007)
Keyphrases
- access control policies
- access control
- conflict resolution
- distributed environment
- security policies
- access control systems
- fine grained
- extended logic programs
- description logics
- security mechanisms
- trust negotiation
- role based access control
- knowledge representation
- automated trust negotiation
- knowledge base
- sensitive data
- security requirements
- network security
- incomplete information
- query processing
- web services