We present a new modal access control logic, ACL +, to specify, reason about and enforce access control policies. The logic includes new modalities for permission, control, and ratification to overcome some limits of current access control logics. We present a Hilbert-style proof system for ACL + and a sound and complete Kripke semantics for it. We exploit the Kripke semantics to define Seq-ACL +: a sound, complete and cut-free sequent calculus for ACL +, implying that ACL + is at least semi-decidable. We point at a Prolog implementation of Seq-ACL + and discuss possible extensions of ACL + with axioms for subordination between principals. © 2012 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Genovese, V., & Garg, D. (2012). New modalities for access control logics: Permission, control and ratification. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7170 LNCS, pp. 56–71). https://doi.org/10.1007/978-3-642-29963-6_6
Mendeley helps you to discover research relevant for your work.