A constructive conditional logic for access control: A completeness result and a sequent calculus

Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato

Risultato della ricerca: Contributo su rivistaArticolo da conferenzapeer review

Abstract

Wedefine 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.

Lingua originaleInglese
RivistaCEUR Workshop Proceedings
Volume598
Stato di pubblicazionePubblicato - 2010
Evento25th Italian Conference on Computational Logic, CILC 2010 - Rende, Italy
Durata: 7 lug 20109 lug 2010

Fingerprint

Entra nei temi di ricerca di 'A constructive conditional logic for access control: A completeness result and a sequent calculus'. Insieme formano una fingerprint unica.

Cita questo