FSL – Fibred Security Language
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}
Access Control
Trust Management
Fibring Logics
1-29
Regular Paper
Valerio
Genovese
Valerio Genovese
Dov M.
Gabbay
Dov M. Gabbay
Guido
Boella
Guido Boella
Leendert
van der Torre
Leendert van der Torre
10.4230/DagSemProc.09121.16
Creative Commons Attribution 4.0 International license
https://creativecommons.org/licenses/by/4.0/legalcode