Genovese, Valerio ;
Gabbay, Dov M. ;
Boella, Guido ;
van der Torre, Leendert
FSL -- Fibred Security Language
Abstract
We develop a fibred security language capable to express statements of the form
begin{center}
${x }varphi (x) says psi$
end{center}
where ${x}varphi (x)$ is the set of all $x$ that satisfy
$varphi$ and $psi$ is any formula. $varphi$ and $psi$ may
share several free variables.
For example, we can express the following: "A member $m$ of the Program Committee can not accept a paper $P_1$
in which one of its authors says that he has published a paper with him after 2007"
begin{center}
$
eg({m} [PC(m) wedge {y}author\_of(y,P_1) extbf{ says } exists p(paper(p) wedge author\_of(m,p) wedge author\_of(y,p) wedge year(p) geq 2007)] extbf{ says } accept(P_1))$
end{center}
BibTeX - Entry
@InProceedings{genovese_et_al:DSP:2009:1908,
author = {Valerio Genovese and Dov M. Gabbay and Guido Boella and Leendert van der Torre},
title = {FSL -- Fibred Security Language},
booktitle = {Normative Multi-Agent Systems },
year = {2009},
editor = {Guido Boella and Pablo Noriega and Gabriella Pigozzi and Harko Verhagen},
number = {09121},
series = {Dagstuhl Seminar Proceedings},
ISSN = {1862-4405},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2009/1908},
annote = {Keywords: Access Control, Trust Management, Fibring Logics}
}
|
Keywords: |
|
Access Control, Trust Management, Fibring Logics |
|
Seminar: |
|
09121 - Normative Multi-Agent Systems
|
|
Issue date: |
|
2009 |
|
Date of publication: |
|
11.03.2009 |
11.03.2009
