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

@article{joana14it,
  title = {Checking Probabilistic Noninterference Using JOANA},
  year = {2014},
  month = nov,
  volume = {56},
  pages = {280--287},
  journal = {it - Information Technology},
  author = {Gregor Snelting and Dennis Giffhorn and J{\"u}rgen Graf and Christian Hammer and Martin Hecker and Martin Mohr and Daniel Wasserrab},
  doi = {10.1515/itit-2014-1051},
}

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