RIFL 1.1: A Common Specification Language for Information-Flow Requirements

Technical Report

Author(s):Thomas Bauereiß, Simon Greiner, Mihai Herda, Michael Kirsten, Ximeng Li, Heiko Mantel, Martin Mohr, Matthias Perner, David Schneider, and Markus Tasch
Institution:TU Darmstadt
Number:TUD-CS-2017-0225
Year:2017
PDF:

BibTeX

@TechReport{bauereissGreinerHerdaEA2017,
  author      = {Thomas Bauerei{\ss} and Simon Greiner and
                 Mihai Herda and Michael Kirsten and
                 Ximeng Li and Heiko Mantel
                 and Martin Mohr and Matthias Perner and
                 David Schneider and Markus Tasch},
  title	      = {RIFL 1.1: A Common Specification Language for
                 Information-Flow Requirements},
  institution = {TU Darmstadt},
  year        = {2017},
  month       = aug,
  number      = {TUD-CS-2017-0225},
  pdf         = {http://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2017/RIFL1.1-TechnicalReport.pdf}
}