Bauereiß, Thomas ; Greiner, Simon ; Herda, Mihai ; Kirsten, Michael ; Li, Ximeng ; Mantel, Heiko ; Mohr, Martin ; Perner, Matthias ; Schneider, David ; Tasch, Markus (2017)
RIFL 1.1: A Common Specification Language for Information-Flow Requirements.
doi: 10.5445/IR/1000092713
Report, Bibliographie
Kurzbeschreibung (Abstract)
The RS 3 Information-Flow Specification Language (RIFL) is a policy lan- guage 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 ) [30]. 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.
Typ des Eintrags: | Report |
---|---|
Erschienen: | 2017 |
Autor(en): | Bauereiß, Thomas ; Greiner, Simon ; Herda, Mihai ; Kirsten, Michael ; Li, Ximeng ; Mantel, Heiko ; Mohr, Martin ; Perner, Matthias ; Schneider, David ; Tasch, Markus |
Art des Eintrags: | Bibliographie |
Titel: | RIFL 1.1: A Common Specification Language for Information-Flow Requirements |
Sprache: | Englisch |
Publikationsjahr: | August 2017 |
Ort: | Darmstadt |
Verlag: | Technische Universität |
Reihe: | Technical Report |
DOI: | 10.5445/IR/1000092713 |
Kurzbeschreibung (Abstract): | The RS 3 Information-Flow Specification Language (RIFL) is a policy lan- guage 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 ) [30]. 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. |
Fachbereich(e)/-gebiet(e): | 20 Fachbereich Informatik 20 Fachbereich Informatik > Modellierung und Analyse von Informationssystemen (MAIS) |
Hinterlegungsdatum: | 15 Aug 2017 12:36 |
Letzte Änderung: | 15 Aug 2023 10:33 |
PPN: | |
Export: | |
Suche nach Titel in: | TUfind oder in Google |
![]() |
Frage zum Eintrag |
Optionen (nur für Redakteure)
![]() |
Redaktionelle Details anzeigen |