Modal Access Control Logic - Axiomatization, Semantics and FOL Theorem Proving.
Valerio GenoveseDaniele RispoliDov M. GabbayLeendert W. N. van der TorrePublished in: STAIRS (2010)
Keyphrases
- theorem proving
- access control
- predicate calculus
- nonmonotonic logics
- modal logic
- inference rules
- modal operators
- first order logic
- automated reasoning
- proof procedure
- logical inference
- situation calculus
- kripke models
- fine grained
- decision procedures
- complete axiomatization
- logic programming
- propositional logic
- data security
- theorem prover
- proof search
- logical framework
- model theoretic
- term rewriting
- natural deduction
- dynamic access control
- formal semantics
- security policies
- role based access control
- default logic
- proof planning
- temporal logic
- autoepistemic logic
- security mechanisms
- access control models
- consequence finding
- access control policies
- operational semantics
- classical logic
- horn clauses
- nonmonotonic reasoning
- access control mechanism
- database security
- timed automata
- sequent calculus
- rbac model