@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},
abstract = {The {RS}^{3} Information-Flow Specification Language ({RIFL}) is a policy
language for information-flow security. {RIFL} originated from the need
for a common language for specifying security requirements within the
{DFG} priority program {Reliably} {Secure} {Software} {Systems} ({RS}^{3})
(\url{https://www.spp-rs3.de}). In this report, we present the syntax and
informal semantics of {RIFL} {1.1}, the most recent version of {RIFL}.
At this point in time, {RIFL} is supported by four tools for
information-flow analysis. We believe that {RIFL} can also be useful as
a policy language for further tools, and we encourage its adoption and
extension by the community.},
month = aug,
number = {TUD-CS-2017-0225},
pdf = {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2017/RIFL1.1-TechnicalReport.pdf}
}
RIFL 1.1: A Common Specification Language for Information-Flow Requirements
| 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: | https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2017/RIFL1.1-TechnicalReport.pdf |
Abstract
The RS3 Information-Flow Specification Language (RIFL) is a policy language for information-flow security. RIFL originated from the need for a common language for specifying security requirements within the DFG priority program Reliably Secure Software Systems (RS3) (https://www.spp-rs3.de). In this report, we present the syntax and informal semantics of RIFL 1.1, the most recent version of RIFL. At this point in time, RIFL is supported by four tools for information-flow analysis. We believe that RIFL can also be useful as a policy language for further tools, and we encourage its adoption and extension by the community.