A Constructive Conditional Logic for Access Control.
Valerio GenoveseLaura GiordanoValentina GliozziGian Luca PozzatoPublished in: CILC (2010)
Keyphrases
- access control
- conditional logic
- default reasoning
- belief revision
- nonmonotonic reasoning
- modal logic
- fine grained
- dynamic access control
- data security
- knowledge representation and reasoning
- security policies
- role based access control
- access control policies
- security mechanisms
- access control models
- security architecture
- logic programming
- access control mechanism
- security model
- partial order
- identity management
- sound and complete axiomatization
- knowledge base
- temporal logic
- software engineering
- knowledge representation
- role assignment
- role based access control model
- natural language