A constructive conditional logic for access control: a preliminary report

Reference : A constructive conditional logic for access control: a preliminary report


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

Title :	A constructive conditional logic for access control: a preliminary report
Language :	English
Author, co-author :	Genovese, Valerio [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
	Giordano, Laura [> >]
	Gliozzi, Valentina [> >]
	Pozzato, Gian Luca [> >]
Publication date :	2010
Edition :	978-1-60750-605-8
Main document title :	ECAI 2010
Publisher :	IOS Press
Collection and collection volume :	Frontiers in Artificial Intelligence and Applications, 215
Pages :	1073–1074
Peer reviewed :	No
City :	Amsterdam
Country :	The Netherlands
Event name :	19th European Conference on Artificial Intelligence
Event date :	16–20 August 2010
Event organizer :	European Coordinating Committee for Artificial Intelligence
Event place (city) :	Lisbon
Event country :	Portugal
Abstract :	[en] We define an Intuitionistic Conditional Logic for Access Control called CICL. The logic CICL is based on a conditional language allowing principals to be defined as arbitrary formulas and it includes few uncontroversial axioms of access control logics. We provide an axiomatization and a Kripke model semantics for the logic CICL, and we prove that the axiomatization is sound and complete with respect to the semantics.
Permalink :	http://hdl.handle.net/10993/16075
DOI :	10.3233/978-1-60750-606-5-1073

There is no file associated with this reference.

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