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. Martin Hecker
Dr.-Ing. Martin Mohr
Dr.-Ing. Daniel Wasserrab

Projects

Project
IFC for Mobile Components
Quis-Custodiet
VALSOFT/Joana