@conference {634, title = {Verifying Security Policies in Multi-agent Workflows with Loops}, booktitle = {Proceedings of the 24th ACM Conference on Computer and Communications Security (CCS)}, year = {2017}, author = {Bernd Finkbeiner and Christian M{\"u}ller and Helmut Seidl and Eugen Zalinescu} }