
@conference {inp:BauereissHutter2014a,
	title = {Compatibility of Safety Properties and Possibilistic Information Flow Security in {MAKS}},
	booktitle = {Proceedings of the 29th International Information Security and Privacy Conference (IFIP SEC 2014)},
	year = {2014},
	author = {T. Bauereiss and D. Hutter}
}
