{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,29]],"date-time":"2026-09-29T00:45:34Z","timestamp":1790642734775,"version":"4.1.0"},"publisher-location":"New York, NY, USA","reference-count":34,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,3,21]],"date-time":"2011-03-21T00:00:00Z","timestamp":1300665600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2011,3,21]]},"DOI":"10.1145\/1982185.1982254","type":"proceedings-article","created":{"date-parts":[[2011,5,17]],"date-time":"2011-05-17T12:59:14Z","timestamp":1305637154000},"page":"308-314","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":22,"title":["Strong non-leak guarantees for workflow models"],"prefix":"10.1145","author":[{"given":"Rafael","family":"Accorsi","sequence":"first","affiliation":[{"name":"University of Freiburg, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Claus","family":"Wonnemann","sequence":"additional","affiliation":[{"name":"University of Freiburg, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2011,3,21]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","unstructured":"R.\n       \n      Accorsi\n     and \n      \n      \n      C.\n       \n      Wonnemann\n      \n  \n  . \n  Auditing workflow executions against dataflow policies. In W. Abramowicz and R. Tolksdorf eds. Business Information Systems vol. \n  47\n   of \n  LNBIP pages \n  207\n  --\n  217\n  . \n  Springer 2010\n  .  R. Accorsi and C. Wonnemann. Auditing workflow executions against dataflow policies. In W. Abramowicz and R. Tolksdorf eds. Business Information Systems vol. 47 of LNBIP pages 207--217. Springer 2010.","DOI":"10.1007\/978-3-642-12814-1_18"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/2050149.2050162"},{"key":"e_1_3_2_1_3_1","series-title":"LNI","first-page":"194","volume-title":"Business Process and Services Computing","author":"Accorsi R.","year":"2010"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008656726700"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"V.\n       \n      Atluri\n     and \n      \n        \n      W.\n\n  \n   \n  kuang Huang. An extended Petri net model for supporting workflows in a multilevel secure environment. In P. Samarati and R. Sandhu eds. Database Security vol. \n  79\n   of \n  IFIP Proceedings pages \n  240\n  --\n  258\n  . \n  Chapman &\n  amp; Hall 1996\n  .   V. Atluri and W. kuang Huang. An extended Petri net model for supporting workflows in a multilevel secure environment. In P. Samarati and R. Sandhu eds. Database Security vol. 79 of IFIP Proceedings pages 240--258. Chapman & Hall 1996.","DOI":"10.1007\/978-0-387-35167-4_15"},{"key":"e_1_3_2_1_6_1","first-page":"250","volume-title":"European Symposium on Research in Computer Security","volume":"5789","author":"Basin D. A.","year":"2009"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/SECPRI.1989.36295"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129509990120"},{"key":"e_1_3_2_1_9_1","unstructured":"K.-D. Bussmann O. Krieg C. Nestler S. Salvenmoser A. Schroth A. Theile and D. Trunk. Wirtschaftskriminalit\u00e4t 2009 -- Sicherheitslage in deutschen Grossunternehmen. Report by University Halle-Wittenberg and PricewaterhouseCoopers AG 2009 (in German).  K.-D. Bussmann O. Krieg C. Nestler S. Salvenmoser A. Schroth A. Theile and D. Trunk. Wirtschaftskriminalit\u00e4t 2009 -- Sicherheitslage in deutschen Grossunternehmen. Report by University Halle-Wittenberg and PricewaterhouseCoopers AG 2009 (in German)."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1655008.1655020"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.1983.1056650"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/3093139.3093166"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1035167.1035202"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/2699879.2699882"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-01465-9_14"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74974-5_14"},{"key":"e_1_3_2_1_17_1","first-page":"203","article-title":"Authentication -- myths and misconceptions","volume":"20","author":"Gollmann D.","year":"2001","journal-title":"Progress in Computer Science and Applied Logic"},{"key":"e_1_3_2_1_18_1","volume-title":"Conference on Telecommunication Systems","author":"Knorr K.","year":"2001"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/362375.362389"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/978-3-540-79230-7_6","volume-title":"Conference on Web Services and Formal Methods","volume":"4937","author":"Lohmann N.","year":"2007"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00899-3_3"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2010.37"},{"key":"e_1_3_2_1_23_1","volume-title":"US Navy","author":"McHugh J.","year":"1995"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00287-009-0405-y"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"e_1_3_2_1_26_1","series-title":"LNI","first-page":"95","volume-title":"Business Process and Services Computing","author":"Pascalau E.","year":"2009"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-007-0036-z"},{"key":"e_1_3_2_1_28_1","first-page":"28","volume-title":"National Computer Security Conference","author":"Proctor N.","year":"1992"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/794196.795059"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1287\/isre.1060.0105"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02144-2_34"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"crossref","first-page":"3557","DOI":"10.1007\/978-0-387-39940-9_826","volume-title":"Encyclopedia of Database Systems","author":"van der Aalst W. M. P.","year":"2009"},{"key":"e_1_3_2_1_33_1","first-page":"225","volume-title":"European Symposium on Research Computer Security","volume":"3193","author":"von Oheimb D.","year":"2004"},{"key":"e_1_3_2_1_34_1","volume-title":"BPTrends Report","author":"Wolf C.","year":"2010"}],"event":{"name":"SAC'11: The 2011 ACM Symposium on Applied Computing","location":"TaiChung Taiwan","acronym":"SAC'11","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"]},"container-title":["Proceedings of the 2011 ACM Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1982185.1982254","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1982185.1982254","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T10:52:20Z","timestamp":1750243940000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1982185.1982254"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,3,21]]},"references-count":34,"alternative-id":["10.1145\/1982185.1982254","10.1145\/1982185"],"URL":"https:\/\/doi.org\/10.1145\/1982185.1982254","relation":{},"subject":[],"published":{"date-parts":[[2011,3,21]]},"assertion":[{"value":"2011-03-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}