KIT | KIT-Bibliothek | Impressum | Datenschutz

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

Abstract:
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.

Open Access Logo


Volltext §
DOI: 10.5445/IR/1000092713
Veröffentlicht am 28.03.2019
Coverbild
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
Jahr 2017
Sprache Englisch
Identifikator urn:nbn:de:swb:90-927139
KITopen-ID: 1000092713
Verlag TU Darmstadt, Darmstadt
Umfang 47 S.
Projektinformation SPP 1496 (DFG, DFG KOORD, BE 2334/6-1)
Bemerkung zur Veröffentlichung Technical Report TUD-CS-2017-0225
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page