HOME | ENGLISH | IMPRESSUM | KIT

Zeitschriftenartikel: Checking Probabilistic Noninterference Using JOANA

[joana14it]Gregor Snelting, Dennis Giffhorn, Jürgen Graf, Christian Hammer, Martin Hecker, Martin Mohr, Daniel Wasserrab, Checking Probabilistic Noninterference Using JOANA, it - Information Technology, Vol. 56, pp. 280--287, November 2014.

Download

  [PDF]   [DOI]

BibTeX

Institutsinterne Autoren

Lehrstuhlinhaber
Prof. Gregor Snelting
Wissenschaftliche Mitarbeiter
Martin Hecker
Martin Mohr
Ehemalige Mitarbeiter
Prof. Dr.-Ing. Christian Hammer
Dr.-Ing. Dennis Giffhorn
Dr.-Ing. Jürgen Graf
Dr.-Ing. Daniel Wasserrab

Projekte

Projekt
IFC for Mobile Components
Quis-Custodiet
VALSOFT/Joana