We define an Intuitionistic Conditional Logic for Access Control called C_(ICL). The logic C_(ICL 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 C_(ICL), and we prove that the axiomatization is sound and complete with respect to the semantics.
展开▼
