Reference : New Modalities for Access Control Logics: Permission, Control and Ratification |
Scientific congresses, symposiums and conference proceedings : Paper published in a book | |||
Engineering, computing & technology : Computer science | |||
http://hdl.handle.net/10993/16079 | |||
New Modalities for Access Control Logics: Permission, Control and Ratification | |
English | |
Genovese, Valerio [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >] | |
Garg, Deepak [> >] | |
2011 | |
Security and Trust Management | |
Springer | |
Lecture Notes in Computer Science, 7170 | |
56-71 | |
No | |
978-3-642-29962-9 | |
Berlin | |
Germany | |
7th International Workshop, STM 2011 | |
June 27-28, 2011 | |
Copenhagen | |
Denmark | |
[en] 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. | |
http://hdl.handle.net/10993/16079 | |
10.1007/978-3-642-29963-6_6 |
There is no file associated with this reference.
All documents in ORBilu are protected by a user license.