DagSemProc.09121.16.pdf
- Filesize: 239 kB
- 29 pages
Document
FSL – Fibred Security Language
Authors
-
Part of:
Volume:
Dagstuhl Seminar Proceedings, Volume 9121
Series: Dagstuhl Seminar Proceedings (DagSemProc) - License:
Creative Commons Attribution 4.0 International license
- Publication Date: 2009-03-11
Cite AsGet BibTex
Valerio Genovese, Dov M. Gabbay, Guido Boella, and Leendert van der Torre. FSL – Fibred Security Language. In Normative Multi-Agent Systems. Dagstuhl Seminar Proceedings, Volume 9121, pp. 1-29, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
https://doi.org/10.4230/DagSemProc.09121.16
https://doi.org/10.4230/DagSemProc.09121.16
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}
Keywords
- Access Control
- Trust Management
- Fibring Logics
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads