RIFL 1.1: A Common Specification Language for Information-Flow Requirements
Bauereiß, Thomas; Greiner, Simon; Herda, Mihai; Kirsten, Michael
; Li, Ximeng; Mantel, Heiko; Mohr, Martin; Perner, Matthias; Schneider, David; Tasch, Markus
; Li, Ximeng; Mantel, Heiko; Mohr, Martin; Perner, Matthias; Schneider, David; Tasch, MarkusAbstract:
The RS³ 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³)
(http://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.
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³)
(http://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.
| Zugehörige Institution(en) am KIT | Institut für Programmstrukturen und Datenorganisation (IPD) Institut für Theoretische Informatik (ITI) Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL) |
| Publikationstyp | Forschungsbericht/Preprint |
| Publikationsjahr | 2017 |
| Sprache | Englisch |
| Identifikator | urn:nbn:de:swb:90-927139 KITopen-ID: 1000092713 |
| HGF-Programm | 46.12.03 (POF III, LK 01) Data Security |
| Weitere HGF-Programme | 46.23.01 (POF IV, LK 01) Methods for Engineering Secure Systems |
| Verlag | TU Darmstadt |
| Umfang | 47 S. |
| Projektinformation | SPP 1496 (DFG, DFG KOORD, BE 2334/6-1) |
| Bemerkung zur Veröffentlichung | Technical Report TUD-CS-2017-0225 |