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