Article (Scientific journals)
Fibred security language
Boella, Guido; Gabbay, Dov M.; Genovese, Valerio et al.
2009In Studia Logica, p. 395-436
 

Files


Full Text
Fibred_security_language.pdf
Publisher postprint (413.84 kB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Keywords :
Logic Fibring; Trust Management; Control Language-based Security
Abstract :
[en] We study access control policies based on the says operator by introducing a logical framework called Fibred Security Language (FSL) which is able to deal with features like joint responsibility between sets of principals and to identify them by means of first-order formulas. FSL is based on a multimodal logic methodology. We first discuss the main contributions from the expressiveness point of view, we give semantics for the language both for classical and intuitionistic fragment), we then prove that in order to express well-known properties like ‘speaks-for’ or ‘hand-off’, defined in terms of says, we do not need second-order logic (unlike previous approaches) but a decidable fragment of first-order logic suffices. We propose a model-driven study of the says axiomatization by constraining the Kripke models in order to respect desirable security properties, we study how existing access control logics can be translated into FSL and we give completeness for the logic.
Disciplines :
Computer science
Identifiers :
UNILU:UL-ARTICLE-2010-021
Author, co-author :
Boella, Guido;  University of Torino, Italy
Gabbay, Dov M.;  King's College, UK
Genovese, Valerio ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
van der Torre, Leon ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
External co-authors :
no
Language :
English
Title :
Fibred security language
Publication date :
2009
Journal title :
Studia Logica
ISSN :
1572-8730
Publisher :
Springer, Berlin, Germany
Pages :
395-436
Available on ORBilu :
since 26 February 2016

Statistics


Number of views
59 (3 by Unilu)
Number of downloads
149 (0 by Unilu)

Scopus citations®
 
14
Scopus citations®
without self-citations
4
OpenCitations
 
12

Bibliography


Similar publications



Contact ORBilu