@inproceedings{FinkbeinerMSZ-CCS17, author = {Bernd Finkbeiner and Christian M\"uller and Helmut Seidl and Eugen Zalinescu}, title = {Verifying {S}ecurity {P}olicies in {M}ulti-agent {W}orkflows with {L}oops}, booktitle = {15th ACM Conference on Computer and Communications Security (CCS'17)}, year = 2017, pages = {633--645}, publisher = {ACM Press}, doi = {10.1145/3133956.3134080}, }