HOME | DEUTSCH | IMPRESSUM | KIT

Journal Article: 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

Authors at the institute

Department Head
Prof. Gregor Snelting
Former Staff Member
Prof. Dr.-Ing. Christian Hammer
Dr.-Ing. Dennis Giffhorn
Dr.-Ing. Jürgen Graf
Dr.-Ing. Daniel Wasserrab
Dipl.-Inf. Univ. Martin Hecker
Dipl.-Math. Dipl.-Inform. Martin Mohr

Projects

Project
IFC for Mobile Components
Quis-Custodiet
VALSOFT/Joana