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.
A constructive conditional logic for access control: a preliminary report
GLIOZZI, Valentina;POZZATO, GIAN LUCA
2010-01-01
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.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
ECAI2010 AccessControl - FAIA215-1069.pdf
Accesso riservato
Tipo di file:
POSTPRINT (VERSIONE FINALE DELL’AUTORE)
Dimensione
152.07 kB
Formato
Adobe PDF
|
152.07 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.