@inproceedings{9759cc36b6b642a3ba162bb3a076ba3c,
title = "A constructive conditional logic for access control: A preliminary report",
abstract = "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.",
author = "Valerio Genovese and Laura Giordano and Valentina Gliozzi and Pozzato, {Gian Luca}",
year = "2010",
doi = "10.3233/978-1-60750-606-5-1073",
language = "English",
isbn = "9781607506058",
series = "Frontiers in Artificial Intelligence and Applications",
publisher = "IOS Press",
pages = "1073--1074",
booktitle = "ECAI 2010",
address = "United States",
note = "2nd Workshop on Knowledge Representation for Health Care, KR4HC 2010, held in conjunction with the 19th European Conference in Artificial Intelligence, ECAI 2010 ; Conference date: 17-08-2010 Through 17-08-2010",
}