
@article {582,
	title = {Checking Probabilistic Noninterference Using JOANA},
	journal = {it - Information Technology},
	year = {2014},
	author = {Gregor Snelting and Dennis Giffhorn and J{\"u}rgen Graf and Christian Hammer and Martin Hecker and Martin Mohr and Daniel Wasserrab}
}
@article {578,
	title = {A New Algorithm for Low-Deterministic Security},
	journal = {International Journal on Information Security},
	year = {2014},
	note = {to appear},
	author = {Dennis Giffhorn and Gregor Snelting}
}
