Labeled Sequent Calculi for Access Control Logics: Countermodels, Saturation and Abduction.
Valerio GenoveseDeepak GargDaniele RispoliPublished in: CSF (2012)
Keyphrases
- access control
- sequent calculi
- conditional logic
- modal logic
- fine grained
- belief revision
- dynamic access control
- security policies
- data security
- cut elimination
- role based access control
- access control models
- security model
- supervised learning
- access control mechanism
- database security
- security mechanisms
- natural deduction
- security requirements
- default reasoning
- nonmonotonic reasoning
- inference rules
- logic programming
- access control policies
- wide class
- linear logic
- access control systems
- intrusion detection
- machine learning