
@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}
}
@conference {inp:MantelPernerSauer2014a,
	title = {Noninterference under Weak Memory Models},
	booktitle = {Proceedings of the 27th IEEE Computer Security Foundations Symposium (CSF 2014)},
	year = {2014},
	note = {To appear.},
	author = {H. Mantel and M. Perner and J. Sauer}
}
@conference {inp:PopescuHoelzlNipkow2013,
	title = {Noninterfering Schedulers - When Possibilistic Noninterference Implies Probabilistic Noninterference},
	booktitle = {Proceedings of the 5th Conference on Algebra and Coalgebra in Computer Science (CALCO 2013)},
	year = {2013},
	author = {A. Popescu and J. H{\"o}lzl and T. Nipkow}
}
@conference {inp:OchoaJuerjensCuellar2012a,
	title = {Non-interference on {UML} {S}tate-charts},
	booktitle = {Proceedings of the 50th International Conference on Objects, Models, Components, Patterns (TOOLS Europe 2012)},
	year = {2012},
	author = {M. Ochoa and J. J{\"u}rjens and J. C{\'u}ellar}
}
