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
http://hdl.handle.net/10993/16075
A constructive conditional logic for access control: a preliminary report
English
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 [> >]
2010
978-1-60750-605-8
ECAI 2010
IOS Press
Frontiers in Artificial Intelligence and Applications, 215
1073–1074
No
Amsterdam
The Netherlands
19th European Conference on Artificial Intelligence
16–20 August 2010
European Coordinating Committee for Artificial Intelligence
Lisbon
Portugal
[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.
http://hdl.handle.net/10993/16075
10.3233/978-1-60750-606-5-1073

There is no file associated with this reference.

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.