No full text
Paper published in a book (Scientific congresses, symposiums and conference proceedings)
A Conditional Constructive Logic for Access Control and Its Sequent Calculus
Genovese, Valerio; Giordano, Laura; Gliozzi, Valentina et al.
2011In Automated Reasoning with Analytic Tableaux and Related Methods
 

Files


Full Text
No document available.

Send to



Details



Abstract :
[en] In this paper we study the applicability of constructive conditional logics as a general framework to define decision procedures in access control logics. To this purpose, we formalize the assertion A says φ, whose intended meaning is that principal A says that φ, as a conditional implication. We introduce CondACL , which is a conservative extension of the logic ICL recently introduced by Garg and Abadi. We identify the conditional axioms needed to capture the basic properties of the “says” operator and to provide a proper definition of boolean principals. We provide a Kripke model semantics for the logic and we prove that the axiomatization is sound and complete with respect to the semantics. Moreover, we define a sound, complete, cut-free and terminating sequent calculus for CondACL , which allows us to prove that the logic is decidable. We argue for the generality of our approach by presenting canonical properties of some further well known access control axioms. The identification of canonical properties provides the possibility to craft access control logics that adopt any combination of axioms for which canonical properties exist.
Disciplines :
Computer science
Identifiers :
UNILU:UL-CONFERENCE-2011-350
Author, co-author :
Genovese, Valerio ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Giordano, Laura
Gliozzi, Valentina
Pozzato, Gian Luca
Language :
English
Title :
A Conditional Constructive Logic for Access Control and Its Sequent Calculus
Publication date :
2011
Event name :
20th International Conference, TABLEAUX 2011
Event place :
Bern, Switzerland
Event date :
July 4-8, 2011
Main work title :
Automated Reasoning with Analytic Tableaux and Related Methods
Publisher :
Springer
ISBN/EAN :
978-3-642-22118-7
Collection name :
Lecture Notes in Computer Science, 6793
Pages :
164–179
Available on ORBilu :
since 18 March 2014

Statistics


Number of views
31 (0 by Unilu)
Number of downloads
0 (0 by Unilu)

Scopus citations®
 
9
Scopus citations®
without self-citations
5
OpenCitations
 
7

Bibliography


Similar publications



Contact ORBilu