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 language | English |
---|---|
Journal | Dagstuhl Seminar Proceedings |
Volume | 9121 |
State | Published - 2009 |
Externally published | Yes |
Event | Normative Multi-Agent Systems 2009 - Wadern, Germany Duration: 15 Mar 2009 → 20 Mar 2009 |
Bibliographical note
Publisher Copyright:© 2009 LZI.