Reference : A constructive conditional logic for access control: a preliminary report
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Multidisciplinary, general & others
A constructive conditional logic for access control: a preliminary report
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 [> >]
ECAI 2010
IOS Press
Frontiers in Artificial Intelligence and Applications, 215
The Netherlands
19th European Conference on Artificial Intelligence
16–20 August 2010
European Coordinating Committee for Artificial Intelligence
[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.

There is no file associated with this reference.

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.