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