A constructive conditional logic for access control: a preliminary report

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.

• Type: Conference
• Year: 2010
• Where: ECAI
• Authors: Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato
• Keywords: Access Control, Artificial Intelligence, ECAI 2010, Intuitionistic Conditional Logic, Logic Cicl