The definition of version 1.1 of RIFL, the RS3 Information-Flow Specification Language, has been published in the technical report "RIFL 1.1: A Common Specification Language for Information-Flow Requirements" by Thomas Bauerei▀, Simon Greiner, Mihai Herda, Michael Kirsten, Ximeng Li, Heiko Mantel, Martin Mohr, Matthias Perner, David Schneider, and Markus Tasch.
A A A | Print | Imprint | Sitemap | Contact
zum Seitenanfang