New Modalities for Access Control Logics: Permission, Control and Ratification

Reference : New Modalities for Access Control Logics: Permission, Control and Ratification


	Document type :	Scientific congresses, symposiums and conference proceedings : Paper published in a book
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/10993/16079

Title :	New Modalities for Access Control Logics: Permission, Control and Ratification
Language :	English
Author, co-author :	Genovese, Valerio [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
	Garg, Deepak [> >]
Publication date :	2011
Main document title :	Security and Trust Management
Publisher :	Springer
Collection and collection volume :	Lecture Notes in Computer Science, 7170
Pages :	56-71
Peer reviewed :	No
ISBN :	978-3-642-29962-9
City :	Berlin
Country :	Germany
Event name :	7th International Workshop, STM 2011
Event date :	June 27-28, 2011
Event place (city) :	Copenhagen
Event country :	Denmark
Abstract :	[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.
Permalink :	http://hdl.handle.net/10993/16079
DOI :	10.1007/978-3-642-29963-6_6

There is no file associated with this reference.

All documents in ORBi^lu are protected by a user license.