
@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}
}
