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

Abstract

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
Volume9121
StatePublished - 2009
Externally publishedYes
EventNormative Multi-Agent Systems 2009 - Wadern, Germany
Duration: 15 Mar 200920 Mar 2009

Bibliographical note

Publisher Copyright:
© 2009 LZI.

Fingerprint

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

Cite this