KIT | KIT-Bibliothek | Impressum | Datenschutz

RIFL 1.1: A Common Specification Language for Information-Flow Requirements

Bauereiß, Thomas; Greiner, Simon; Herda, Mihai; Kirsten, Michael ORCID iD icon; 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.


Volltext §
DOI: 10.5445/IR/1000092713
Veröffentlicht am 28.03.2019
Cover der Publikation
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
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page