References of "Pozzato, Gian Luca"
     in
Bookmark and Share    
See detailA Conditional Constructive Logic for Access Control and Its Sequent Calculus
Genovese, Valerio UL; Giordano, Laura; Gliozzi, Valentina et al

in Automated Reasoning with Analytic Tableaux and Related Methods (2011)

In this paper we study the applicability of constructive conditional logics as a general framework to define decision procedures in access control logics. To this purpose, we formalize the assertion A ... [more ▼]

In this paper we study the applicability of constructive conditional logics as a general framework to define decision procedures in access control logics. To this purpose, we formalize the assertion A says φ, whose intended meaning is that principal A says that φ, as a conditional implication. We introduce CondACL , which is a conservative extension of the logic ICL recently introduced by Garg and Abadi. We identify the conditional axioms needed to capture the basic properties of the “says” operator and to provide a proper definition of boolean principals. We provide a Kripke model semantics for the logic and we prove that the axiomatization is sound and complete with respect to the semantics. Moreover, we define a sound, complete, cut-free and terminating sequent calculus for CondACL , which allows us to prove that the logic is decidable. We argue for the generality of our approach by presenting canonical properties of some further well known access control axioms. The identification of canonical properties provides the possibility to craft access control logics that adopt any combination of axioms for which canonical properties exist. [less ▲]

Detailed reference viewed: 97 (0 UL)
See detailA constructive conditional logic for access control: a preliminary report
Genovese, Valerio UL; Giordano, Laura; Gliozzi, Valentina et al

in ECAI 2010 (2010)

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 ... [more ▼]

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. [less ▲]

Detailed reference viewed: 34 (0 UL)