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