FSL - Fibred Security Language

Valerio Genovese, Dov M. Gabbay, Guido Boella, Leendert W. N. van der Torre. FSL - Fibred Security Language. In Guido Boella, Pablo Noriega, Gabriella Pigozzi, Harko Verhagen, editors, Normative Multi-Agent Systems, 15.03. - 20.03.2009. Volume 09121 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2009. [doi]

Abstract

Abstract is missing.