[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.
Disciplines :
Ingénierie, informatique & technologie: Multidisciplinaire, généralités & autres
Identifiants :
UNILU:UL-CONFERENCE-2011-077
Auteur, co-auteur :
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
Langue du document :
Anglais
Titre :
A constructive conditional logic for access control: a preliminary report
Date de publication/diffusion :
2010
Nom de la manifestation :
19th European Conference on Artificial Intelligence
Organisateur de la manifestation :
European Coordinating Committee for Artificial Intelligence
Lieu de la manifestation :
Lisbon, Portugal
Date de la manifestation :
16–20 August 2010
Titre de l'ouvrage principal :
ECAI 2010
Maison d'édition :
IOS Press, Amsterdam, Pays-Bas
Edition :
978-1-60750-605-8
Collection et n° de collection :
Frontiers in Artificial Intelligence and Applications, 215
