eng
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Dagstuhl Seminar Proceedings
1862-4405
2009-03-11
1
29
10.4230/DagSemProc.09121.16
article
FSL – Fibred Security Language
Genovese, Valerio
Gabbay, Dov M.
Boella, Guido
van der Torre, Leendert
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}
https://drops.dagstuhl.de/storage/16dagstuhl-seminar-proceedings/dsp-vol09121/DagSemProc.09121.16/DagSemProc.09121.16.pdf
Access Control
Trust Management
Fibring Logics