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

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.
CILC 2010 - 25th Italian Conference on Computational Logic
Rende (CS)
July 7-9, 2010
598
901
915
http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-598/
Access Control; Conditional Logics; Intuitionistic Logic; Sequent Calculi; Proof methods
V. Genovese; L. Giordano; V. Gliozzi; G.L. Pozzato
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.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/2318/74099
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
social impact