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.

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.