In this paper we provide a reconstruction of access control logics within constructive conditional logics, by regarding the assertion A says ,whose intended meaning is that principal A says that , as a conditional implication. We identify the conditional axioms needed to capture the basic properties of the “says” operator and to provide a proper definition of boolean principals. Most of these axioms are standard axioms of conditional logics. We provide a Kripke model semantics for the logic and we prove that the axiomatization is sound and complete with respect to the semantics. Also, we define a sound, complete and cut-free labelled sequent calculus for it.
Logics in Access Control: A Conditional Approach
GLIOZZI, Valentina;POZZATO, GIAN LUCA
2010-01-01
Abstract
In this paper we provide a reconstruction of access control logics within constructive conditional logics, by regarding the assertion A says ,whose intended meaning is that principal A says that , as a conditional implication. We identify the conditional axioms needed to capture the basic properties of the “says” operator and to provide a proper definition of boolean principals. Most of these axioms are standard axioms of conditional logics. We provide a Kripke model semantics for the logic and we prove that the axiomatization is sound and complete with respect to the semantics. Also, we define a sound, complete and cut-free labelled sequent calculus for it.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.