FSL - Fibred Security Language

Valerio Genovese, Dov M. Gabbay, Guido Boella, Leon Van Der Torre

Research output: Contribution to journalConference articlepeer-review

1 Scopus citations


We develop a fibred security language capable to express statements of the form (Equation Presented) where {x}φ(x) is the set of all x that satisfy φ and ψ is any formula. φ and ψ may share several free variables. For example, we can express the following: "A member m of the Program Committee can not accept a paper P1 in which one of its authors says that he has published a paper with him after 2007". (Equation Presented).

Original languageEnglish
JournalDagstuhl Seminar Proceedings
StatePublished - 2009
Externally publishedYes
EventNormative Multi-Agent Systems 2009 - Wadern, Germany
Duration: 15 Mar 200920 Mar 2009

Bibliographical note

Publisher Copyright:
© 2009 LZI.


Dive into the research topics of 'FSL - Fibred Security Language'. Together they form a unique fingerprint.

Cite this