%0 Conference Paper %1 conf/ccs/Finkbeiner0SZ17 %A Finkbeiner, Bernd %A Müller, Christian %A Seidl, Helmut %A Zalinescu, Eugen %B ACM Conference on Computer and Communications Security %D 2017 %E Thuraisingham, Bhavani M. %E Evans, David %E Malkin, Tal %E Xu, Dongyan %I ACM %K %P 633-645 %T Verifying Security Policies in Multi-agent Workflows with Loops. %U http://dblp.uni-trier.de/db/conf/ccs/ccs2017.html#Finkbeiner0SZ17 %@ 978-1-4503-4946-8

@inproceedings{conf/ccs/Finkbeiner0SZ17, added-at = {2023-12-13T00:57:51.000+0100}, author = {Finkbeiner, Bernd and Müller, Christian and Seidl, Helmut and Zalinescu, Eugen}, biburl = {https://www.bibsonomy.org/bibtex/296967ddbdaefe3ffa5bcc792e1b2d1e3/admin}, booktitle = {ACM Conference on Computer and Communications Security}, crossref = {conf/ccs/2017}, editor = {Thuraisingham, Bhavani M. and Evans, David and Malkin, Tal and Xu, Dongyan}, ee = {https://doi.org/10.1145/3133956.3134080}, interhash = {6ae44bb471f2d6ef2ed901fa205c5b7f}, intrahash = {96967ddbdaefe3ffa5bcc792e1b2d1e3}, isbn = {978-1-4503-4946-8}, keywords = {}, pages = {633-645}, publisher = {ACM}, timestamp = {2023-12-13T00:57:51.000+0100}, title = {Verifying Security Policies in Multi-agent Workflows with Loops.}, url = {http://dblp.uni-trier.de/db/conf/ccs/ccs2017.html#Finkbeiner0SZ17}, year = 2017 }