FSL – Fibred Security Language

Authors Valerio Genovese, Dov M. Gabbay, Guido Boella, Leendert van der Torre

Thumbnail PDF


  • Filesize: 239 kB
  • 29 pages

Document Identifiers

Author Details

Valerio Genovese
Dov M. Gabbay
Guido Boella
Leendert van der Torre

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)


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


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads
Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail