Gregor Snelting, Dennis Giffhorn, Jürgen Graf, Christian Hammer 0001, Martin Hecker, Martin Mohr, Daniel Wasserrab. Checking probabilistic noninterference using JOANA. it - Information Technology, 56(6):280-287, 2014. [doi]
@article{SneltingGG0HMW14,
title = {Checking probabilistic noninterference using JOANA},
author = {Gregor Snelting and Dennis Giffhorn and Jürgen Graf and Christian Hammer 0001 and Martin Hecker and Martin Mohr and Daniel Wasserrab},
year = {2014},
url = {http://www.degruyter.com/view/j/itit.2014.56.issue-6/itit-2014-1051/itit-2014-1051.xml},
researchr = {https://researchr.org/publication/SneltingGG0HMW14},
cites = {0},
citedby = {0},
journal = {it - Information Technology},
volume = {56},
number = {6},
pages = {280-287},
}