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 , prove that the axiomatization is sound and complete with respect to the semantics, and define a sound, complete and cut-free labelled sequent calculus for it.
A Constructive Conditional Logic for Access Control:a completeness result and a sequent calculus
GLIOZZI, Valentina;POZZATO, GIAN LUCA
2010-01-01
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 , prove that the axiomatization is sound and complete with respect to the semantics, and define a sound, complete and cut-free labelled sequent calculus for it.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
