{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T21:11:14Z","timestamp":1725570674419},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642173578"},{"type":"electronic","value":"9783642173585"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-31875-7_18","type":"book-chapter","created":{"date-parts":[[2012,7,19]],"date-time":"2012-07-19T17:51:09Z","timestamp":1342720269000},"page":"171-176","source":"Crossref","is-referenced-by-count":2,"title":["Data Flow-Oriented Process Mining to Support Security Audits"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Stocker","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","doi-asserted-by":"crossref","unstructured":"Accorsi, R.: Business process as a service: Chances for remote auditing. In: IEEE Computer Software and Applications Conference (2011)","DOI":"10.1109\/COMPSACW.2011.73"},{"key":"18_CR2","doi-asserted-by":"crossref","unstructured":"Accorsi, R., Wonnemann, C.: Strong non-leak guarantees for workflow models. In: ACM Symposium on Applied Computing, pp. 308\u2013314. ACM (2011)","DOI":"10.1145\/1982185.1982254"},{"key":"18_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/978-3-642-22444-7_13","volume-title":"Security and Trust Management","author":"R. Accorsi","year":"2011","unstructured":"Accorsi, R., Wonnemann, C.: InDico: Information Flow Analysis of Business Processes for Confidentiality Requirements. In: Cuellar, J., Lopez, J., Barthe, G., Pretschner, A. (eds.) STM 2010. LNCS, vol.\u00a06710, pp. 194\u2013209. Springer, Heidelberg (2011)"},{"key":"18_CR4","unstructured":"Accorsi, R., Wonnemann, C., Dochow, S.: SWAT: A security analysis toolkit for reliably process-aware information systems. In: Workshop on Security Aspects of Process-aware Information. IEEE"},{"key":"18_CR5","doi-asserted-by":"crossref","unstructured":"Accorsi, R., Wonnemann, C., Stocker, T.: Towards forensic data flow analysis of business process logs. In: Proceedings the IEEE Conference on Incident Management and Forensics. IEEE Computer Society (2011)","DOI":"10.1109\/IMF.2011.13"},{"issue":"2","key":"18_CR6","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1023\/A:1008656726700","volume":"10","author":"N. Adam","year":"1998","unstructured":"Adam, N., Atluri, V., Huang, W.: Modeling and analysis of workflows using petri nets. Intelligent Information Systems\u00a010(2), 131\u2013158 (1998)","journal-title":"Intelligent Information Systems"},{"key":"18_CR7","doi-asserted-by":"crossref","unstructured":"Atluri, V., Warner, J.: Security for workflow systems. In: Handbook of Database Security, pp. 213\u2013230 (2008)","DOI":"10.1007\/978-0-387-48533-1_9"},{"key":"18_CR8","doi-asserted-by":"crossref","unstructured":"Cummins, F.: BPM meets SOA. In: Handbook on Business Process Management 1. International Handbooks on Information Systems, pp. 461\u2013479 (2010)","DOI":"10.1007\/978-3-642-00416-2_21"},{"key":"18_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1007\/978-3-540-88871-0_10","volume-title":"On the Move to Internet Systems: OTM 2008","author":"F. Curbera","year":"2008","unstructured":"Curbera, F., Doganata, Y., Martens, A., Mukhi, N.K., Slominski, A.: Business Provenance \u2013 A Technology to Increase Traceability of End-to-End Operations. In: Meersman, R., Tari, Z. (eds.) OTM 2008, Part I. LNCS, vol.\u00a05331, pp. 100\u2013119. Springer, Heidelberg (2008)"},{"key":"18_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-540-78238-4_4","volume-title":"Business Process Management Workshops","author":"A.K.A. Medeiros de","year":"2008","unstructured":"de Medeiros, A.K.A., Guzzo, A., Greco, G., van der Aalst, W.M.P., Weijters, A.J.M.M., van Dongen, B.F., Sacc\u00e0, D.: Process Mining Based on Clustering: A Quest for Precision. In: ter Hofstede, A.H.M., Benatallah, B., Paik, H.-Y. (eds.) BPM Workshops 2007. LNCS, vol.\u00a04928, pp. 17\u201329. Springer, Heidelberg (2008)"},{"issue":"8","key":"18_CR11","doi-asserted-by":"publisher","first-page":"1010","DOI":"10.1109\/TKDE.2006.123","volume":"18","author":"G. Greco","year":"2006","unstructured":"Greco, G., Guzzo, A., Pontieri, L., Sacc\u00e0, D.: Discovering expressive process models by clustering log traces. IEEE Transactions on Knowledge and Data Engineering\u00a018(8), 1010\u20131027 (2006)","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"18_CR12","doi-asserted-by":"crossref","unstructured":"Lowis, L., Accorsi, R.: Finding vulnerabilities in SOA-based business processes. IEEE Transactions on Service Computing (2011) (to appear)","DOI":"10.1109\/TSC.2010.37"},{"key":"18_CR13","unstructured":"McHugh, J.: Handbook for the Computer Security Certification of Trusted Systems. Naval Research Laboratory (1995)"},{"key":"18_CR14","unstructured":"Sayana, A.: Using CAATs to support IS audit. Information Systems Control Journal, 1 (2003)"},{"key":"18_CR15","series-title":"LNBIP","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/978-3-642-00328-8_11","volume-title":"Business Process Management Workshops","author":"M. Song","year":"2009","unstructured":"Song, M., G\u00fcnther, C.W., van der Aalst, W.M.P.: Trace Clustering in Process Mining. In: Ardagna, D., Mecella, M., Yang, J. (eds.) BPM 2008 Workshops. LNBIP, vol.\u00a017, pp. 109\u2013120. Springer, Heidelberg (2009)"},{"key":"18_CR16","series-title":"LNBIP","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1007\/978-3-642-28115-0_45","volume-title":"Business Process Management Workshops","author":"T. Stocker","year":"2012","unstructured":"Stocker, T.: Time-Based Trace Clustering for Evolution-Aware Security Audits. In: Daniel, F., Barkaoui, K., Dustdar, S. (eds.) BPM Workshops 2011, Part II. LNBIP, vol.\u00a0100, pp. 471\u2013476. Springer, Heidelberg (2012)"},{"key":"18_CR17","unstructured":"Teeter, R., an Miklos Vasarhelyi, M.: Remote auditing: A research framework. Journal of Emerging Technology in Accounting (to appear)"},{"issue":"9","key":"18_CR18","doi-asserted-by":"publisher","first-page":"1128","DOI":"10.1109\/TKDE.2004.47","volume":"16","author":"W. Aalst van der","year":"2004","unstructured":"van der Aalst, W., Weijters, T., Maruster, L.: Workflow mining: discovering process models from event logs. IEEE Transactions on Knowledge and Data Engineering\u00a016(9), 1128\u20131142 (2004)","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"18_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-44895-0_1","volume-title":"Business Process Management","author":"W.M.P. Aalst van der","year":"2003","unstructured":"van der Aalst, W.M.P., ter Hofstede, A.H.M., Weske, M.: Business Process Management: A Survey. In: van der Aalst, W.M.P., ter Hofstede, A.H.M., Weske, M. (eds.) BPM 2003. LNCS, vol.\u00a02678, pp. 1\u201312. Springer, Heidelberg (2003)"},{"key":"18_CR20","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1109\/MIC.2010.147","volume":"14","author":"Y. Wei","year":"2010","unstructured":"Wei, Y., Blake, M.: Service-oriented computing and cloud computing: Challenges and opportunities. IEEE Internet Computing\u00a014, 72\u201375 (2010)","journal-title":"IEEE Internet Computing"}],"container-title":["Lecture Notes in Computer Science","Service-Oriented Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-31875-7_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T03:50:47Z","timestamp":1556941847000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-31875-7_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642173578","9783642173585"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31875-7_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}