A constructive conditional logic for access control: A preliminary report

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

Risultato della ricerca: Capitolo in libro/report/atti di convegnoContributo a conferenzapeer review

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, and we prove that the axiomatization is sound and complete with respect to the semantics.

Lingua originaleInglese
Titolo della pubblicazione ospiteECAI 2010
EditoreIOS Press
Pagine1073-1074
Numero di pagine2
ISBN (stampa)9781607506058
DOI
Stato di pubblicazionePubblicato - 2010
Evento2nd Workshop on Knowledge Representation for Health Care, KR4HC 2010, held in conjunction with the 19th European Conference in Artificial Intelligence, ECAI 2010 - Lisbon, Portugal
Durata: 17 ago 201017 ago 2010

Serie di pubblicazioni

NomeFrontiers in Artificial Intelligence and Applications
Volume215
ISSN (stampa)0922-6389
ISSN (elettronico)1879-8314

???event.eventtypes.event.conference???

???event.eventtypes.event.conference???2nd Workshop on Knowledge Representation for Health Care, KR4HC 2010, held in conjunction with the 19th European Conference in Artificial Intelligence, ECAI 2010
Paese/TerritorioPortugal
CittàLisbon
Periodo17/08/1017/08/10

Fingerprint

Entra nei temi di ricerca di 'A constructive conditional logic for access control: A preliminary report'. Insieme formano una fingerprint unica.

Cita questo