Sciweavers

Share
ECAI
2010
Springer

A constructive conditional logic for access control: a preliminary report

11 years 2 months ago
A constructive conditional logic for access control: a preliminary report
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.
Valerio Genovese, Laura Giordano, Valentina Gliozz
Added 08 Nov 2010
Updated 08 Nov 2010
Type Conference
Year 2010
Where ECAI
Authors Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato
Comments (0)
books