A logical framework for reasoning about access control models.
Elisa BertinoBarbara CataniaElena FerrariPaolo PerlascaPublished in: ACM Trans. Inf. Syst. Secur. (2003)
Keyphrases
- logical framework
- access control models
- access control
- role based access control model
- privacy aware
- inference rules
- database security
- security issues
- reasoning tasks
- access control policies
- role based access control
- fine grained
- belief revision
- data security
- temporal reasoning
- security policies
- logic programming
- conflict resolution
- privacy preservation
- argumentation frameworks
- data mining
- first order logic
- object oriented
- multi agent
- knowledge base
- decision making