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

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

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

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

Dipartimento di Scienze e Innovazione Tecnologica

Risultato della ricerca: Contributo su rivista › Articolo da conferenza › peer review

Abstract

Wedefine an Intuitionistic Conditional Logic for Access Control called C_ICL. The logic C_ICL 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 C_ICL, 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 originale	Inglese
Rivista	CEUR Workshop Proceedings
Volume	598
Stato di pubblicazione	Pubblicato - 2010
Evento	25th Italian Conference on Computational Logic, CILC 2010 - Rende, Italy Durata: 7 lug 2010 → 9 lug 2010

Altri file e collegamenti

Link to publication in Scopus

Cita questo

@article{d7c8afecaaad4bb094cd568f11c661a8,

title = "A constructive conditional logic for access control: A completeness result and a sequent calculus",

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.",

author = "Valerio Genovese and Laura Giordano and Valentina Gliozzi and Pozzato, \{Gian Luca\}",

year = "2010",

language = "English",

volume = "598",

journal = "CEUR Workshop Proceedings",

issn = "1613-0073",

publisher = "CEUR-WS",

note = "25th Italian Conference on Computational Logic, CILC 2010 ; Conference date: 07-07-2010 Through 09-07-2010",

}

TY - JOUR

T1 - A constructive conditional logic for access control

T2 - 25th Italian Conference on Computational Logic, CILC 2010

AU - Genovese, Valerio

AU - Giordano, Laura

AU - Gliozzi, Valentina

AU - Pozzato, Gian Luca

PY - 2010

Y1 - 2010

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

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

UR - https://www.scopus.com/pages/publications/84883385078

M3 - Conference article

AN - SCOPUS:84883385078

SN - 1613-0073

VL - 598

JO - CEUR Workshop Proceedings

JF - CEUR Workshop Proceedings

Y2 - 7 July 2010 through 9 July 2010

ER -

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

Abstract

Altri file e collegamenti

Fingerprint

Cita questo