
@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}
}
@conference {inp:BauereissHutter2014b,
	title = {Possibilistic information flow security of workflow management systems},
	booktitle = {Proceedings of the 1st International Workshop on Graphical Models for Security at ETAPS 2014 (GraMSec 2014)},
	year = {2014},
	author = {T. Bauereiss and D. Hutter}
}
@conference {inp:BauereissHutter2014c,
	title = {Security (hyper-)properties in workflow systems: From specification to verification},
	booktitle = {Electronic Proceedings of the Doctoral Symposium at the International Symposium on Engineering Secure Software and Systems (ESSoS-DS 2014)},
	year = {2014},
	note = {To appear.},
	author = {T. Bauereiss and D. Hutter}
}
