A constructive conditional logic for access control: a preliminary report
Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato · Frontiers in artificial intelligence and applications · 2010
We define an Intuitionistic Conditional Logic for Access Control called CICL. The logic CICLis 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.