{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:22:11Z","timestamp":1750306931938,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":47,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,3,18]],"date-time":"2013-03-18T00:00:00Z","timestamp":1363564800000},"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":[[2013,3,18]]},"DOI":"10.1145\/2480362.2480634","type":"proceedings-article","created":{"date-parts":[[2013,5,1]],"date-time":"2013-05-01T19:47:45Z","timestamp":1367437665000},"page":"1462-1468","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":24,"title":["On the exploitation of process mining for security audits"],"prefix":"10.1145","author":[{"given":"Rafael","family":"Accorsi","sequence":"first","affiliation":[{"name":"University of Freiburg, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Stocker","sequence":"additional","affiliation":[{"name":"University of Freiburg, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G\u00fcnter","family":"M\u00fcller","sequence":"additional","affiliation":[{"name":"University of Freiburg, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2013,3,18]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSACW.2011.73"},{"key":"e_1_3_2_1_2_1","volume-title":"Proceedings of the Symposium on Data-Driven Process Discovery and Analysis","author":"Accorsi R.","year":"2012","unstructured":"R. Accorsi . A security-aware simulation method for generating business process . In Proceedings of the Symposium on Data-Driven Process Discovery and Analysis , 2012 (to appear). R. Accorsi. A security-aware simulation method for generating business process. In Proceedings of the Symposium on Data-Driven Process Discovery and Analysis, 2012 (to appear)."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32885-5_13"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/s12599-011-0155-7"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2245276.2232051"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00287-012-0641-4"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1982185.1982254"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/IMF.2011.13"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008656726700"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2006.05.003"},{"key":"e_1_3_2_1_11_1","unstructured":"Association of Certified Fraud Examiners. Report on occupational fraud and abuse. http:\/\/www.acfe.com\/uploadedFiles\/ACFE_Website\/Content\/documents\/rttn-2010.pdf.  Association of Certified Fraud Examiners. Report on occupational fraud and abuse. http:\/\/www.acfe.com\/uploadedFiles\/ACFE_Website\/Content\/documents\/rttn-2010.pdf."},{"key":"e_1_3_2_1_12_1","series-title":"LNCS","first-page":"529","volume-title":"Petri Nets","author":"Badouel E.","year":"1998","unstructured":"E. Badouel and P. Darondeau . Theory of regions . In Petri Nets , vol. 1491 of LNCS , pages 529 -- 586 , 1998 . E. Badouel and P. Darondeau. Theory of regions. In Petri Nets, vol. 1491 of LNCS, pages 529--586, 1998."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/ARES.2011.104"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/1793114.1793148"},{"key":"e_1_3_2_1_15_1","first-page":"149","volume-title":"Business-Process and Information Systems Modeling","author":"Bezerra F.","year":"2009","unstructured":"F. Bezerra , J. Wainer , and W. van der Aalst. Anomaly detection using process mining. In Enterprise , Business-Process and Information Systems Modeling , pages 149 -- 161 , 2009 . F. Bezerra, J. Wainer, and W. van der Aalst. Anomaly detection using process mining. In Enterprise, Business-Process and Information Systems Modeling, pages 149--161, 2009."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/SECPRI.1989.36295"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129509990120"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2009.131"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10618-006-0061-7"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2008.71"},{"key":"e_1_3_2_1_22_1","volume-title":"Fachkonferenz fü\u00fcr Revisionsmethodik und Strategische Weiterentwicklung. https:\/\/www.audit-challenge.com\/","author":"Finance Frankfurt Business","year":"2011","unstructured":"Frankfurt Business School of Finance & Management. Audit Challenge ( 2011 ): Fachkonferenz fü\u00fcr Revisionsmethodik und Strategische Weiterentwicklung. https:\/\/www.audit-challenge.com\/ . Frankfurt Business School of Finance & Management. Audit Challenge (2011): Fachkonferenz fü\u00fcr Revisionsmethodik und Strategische Weiterentwicklung. https:\/\/www.audit-challenge.com\/."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/1793114.1793145"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACSAC.2008.38"},{"key":"e_1_3_2_1_25_1","series-title":"LNCS","first-page":"752","volume-title":"ESORICS","author":"Jager T.","year":"2012","unstructured":"T. Jager , S. Schinzel , and J. Somorovsky . Bleichenbacher's attack strikes again: Breaking pkcs#1 v1.5 in xml encryption . In ESORICS , vol. 7459 of LNCS , pages 752 -- 769 . Springer , 2012 . T. Jager, S. Schinzel, and J. Somorovsky. Bleichenbacher's attack strikes again: Breaking pkcs#1 v1.5 in xml encryption. In ESORICS, vol. 7459 of LNCS, pages 752--769. Springer, 2012."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21759-3_3"},{"key":"e_1_3_2_1_27_1","first-page":"1","volume-title":"Digital Accounting Research","volume":"9","author":"Jans M.","year":"2009","unstructured":"M. Jans , N. Lybaert , K. Vanhoof , and J. van der Werf. A framework for internal fraud risk reduction at it integrating business processes . In Digital Accounting Research , vol. 9 , pages 1 -- 29 , 2009 . M. Jans, N. Lybaert, K. Vanhoof, and J. van der Werf. A framework for internal fraud risk reduction at it integrating business processes. In Digital Accounting Research, vol. 9, pages 1--29, 2009."},{"key":"e_1_3_2_1_28_1","first-page":"293","volume-title":"Conf. Service-oriented computing","author":"Khan A.","year":"2009","unstructured":"A. Khan , A. Lodhi , V. K\u00f6ppen , G. Kassem , and G. Saake . Applying process mining in soa environments . In Conf. Service-oriented computing , pages 293 -- 302 . Springer , 2009 . A. Khan, A. Lodhi, V. K\u00f6ppen, G. Kassem, and G. Saake. Applying process mining in soa environments. In Conf. Service-oriented computing, pages 293--302. Springer, 2009."},{"key":"e_1_3_2_1_29_1","volume-title":"Conf. on Telecommunication Systems","author":"Knorr K.","year":"2001","unstructured":"K. Knorr . Multilevel security and information flow in Petri net workflows . In Conf. on Telecommunication Systems , 2001 . K. Knorr. Multilevel security and information flow in Petri net workflows. In Conf. on Telecommunication Systems, 2001."},{"key":"e_1_3_2_1_30_1","series-title":"LNCS","first-page":"396","volume-title":"Advances in Web and Network Techn., and Information Management","author":"Li J.","year":"2007","unstructured":"J. Li , D. Liu , and B. Yang . Process mining: Extending alpha-algorithm to mine duplicate tasks in process logs . In Advances in Web and Network Techn., and Information Management , vol. 4537 of LNCS , pages 396 -- 407 . Springer , 2007 . J. Li, D. Liu, and B. Yang. Process mining: Extending alpha-algorithm to mine duplicate tasks in process logs. In Advances in Web and Network Techn., and Information Management, vol. 4537 of LNCS, pages 396--407. Springer, 2007."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.5555\/1351542.1351663"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2010.37"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1111\/j.1099-1123.2010.00420.x"},{"key":"e_1_3_2_1_34_1","series-title":"LNBIP","first-page":"69","volume-title":"BPMW'09","author":"Nakatumba J.","year":"2010","unstructured":"J. Nakatumba and W. van der Aalst . Analyzing resource behavior using process mining . In BPMW'09 , vol. 43 of LNBIP , pages 69 -- 80 . Springer , 2010 . J. Nakatumba and W. van der Aalst. Analyzing resource behavior using process mining. In BPMW'09, vol. 43 of LNBIP, pages 69--80. Springer, 2010."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/11841760_33"},{"key":"e_1_3_2_1_36_1","first-page":"1","article-title":"Using CAATs to support is audit","author":"Sayana A.","year":"2003","unstructured":"A. Sayana . Using CAATs to support is audit . Inf. Sys. Control Journal , 1 , 2003 . A. Sayana. Using CAATs to support is audit. Inf. Sys. Control Journal, 1, 2003.","journal-title":"Inf. Sys. Control Journal"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-13675-7_14"},{"key":"e_1_3_2_1_38_1","unstructured":"TU Eindhoven. XES - eXtensible Event Stream. http:\/\/www.xes-standard.org\/.  TU Eindhoven. XES - eXtensible Event Stream. http:\/\/www.xes-standard.org\/."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.5555\/647748.734370"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.10.013"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-25970-1_16"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2010.61"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2004.47"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1007\/11494744_25"},{"key":"e_1_3_2_1_45_1","volume-title":"Workshop on Enterprise Modelling and Ontologies for Interoperability","volume":"16","author":"van Dongen B. F.","year":"2005","unstructured":"B. F. van Dongen and W. M. P. van der Aalst. A meta model for process mining data . In Workshop on Enterprise Modelling and Ontologies for Interoperability , vol. 16 , 2005 . B. F. van Dongen and W. M. P. van der Aalst. A meta model for process mining data. In Workshop on Enterprise Modelling and Ontologies for Interoperability, vol. 16, 2005."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.3233\/ICA-2003-10205"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10618-007-0065-y"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2009.11.002"}],"event":{"name":"SAC '13: SAC '13","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"],"location":"Coimbra Portugal","acronym":"SAC '13"},"container-title":["Proceedings of the 28th Annual ACM Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2480362.2480634","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2480362.2480634","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:35:38Z","timestamp":1750235738000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2480362.2480634"}},"subtitle":["the process discovery case"],"short-title":[],"issued":{"date-parts":[[2013,3,18]]},"references-count":47,"alternative-id":["10.1145\/2480362.2480634","10.1145\/2480362"],"URL":"https:\/\/doi.org\/10.1145\/2480362.2480634","relation":{},"subject":[],"published":{"date-parts":[[2013,3,18]]},"assertion":[{"value":"2013-03-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}