
@conference {inp:AccorsiLehmann2012a,
	title = {Automatic Information Flow Analysis of Business Process Models},
	booktitle = {10th International Conference on Business Process Management (BPM 2012)},
	year = {2012},
	author = {R. Accorsi and A. Lehmann}
}
@conference {inp:Accorsi2011a,
	title = {Anwenden struktureller Nicht-Interferenz zur Sicherheitsanalyse von Workflow-Modellen},
	booktitle = {Proceedings of INFORMATIK 2011 - Dependable Software for Critical Infrastructures (DSCI 2011)},
	year = {2011},
	author = {R. Accorsi}
}
@conference {inp:AccorsiWonnemann2011a,
	title = {Strong non-leak guarantees for workflow models},
	booktitle = {Proceedings of the 26th ACM Symposium on Applied Computing (SAC 2011)},
	year = {2011},
	author = {R. Accorsi and C. Wonnemann}
}
