{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,18]],"date-time":"2026-03-18T00:02:29Z","timestamp":1773792149896,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642281143","type":"print"},{"value":"9783642281150","type":"electronic"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"unspecified","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-28115-0_41","type":"book-chapter","created":{"date-parts":[[2012,1,24]],"date-time":"2012-01-24T10:44:07Z","timestamp":1327401847000},"page":"435-446","source":"Crossref","is-referenced-by-count":11,"title":["Conformance Checking of RBAC Policies in Process-Aware Information Systems"],"prefix":"10.1007","author":[{"given":"Anne","family":"Baumgrass","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Baier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Mendling","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mark","family":"Strembeck","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"41_CR1","doi-asserted-by":"crossref","unstructured":"van der Aalst, W.M.P., Weijters, A.J.M.M.: Process mining: a research agenda. Computers in Industry 53 (April 2004)","DOI":"10.1016\/j.compind.2003.10.001"},{"key":"41_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1007\/11575771_11","volume-title":"On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE","author":"W.M.P. Aalst van der","year":"2005","unstructured":"van der Aalst, W.M.P., de Beer, H., van Dongen, B.: Process Mining and Verification of Properties: An Approach based on Temporal Logic. In: Meersman, R., Tari, Z. (eds.) OTM 2005, Part I. LNCS, vol.\u00a03760, pp. 130\u2013147. Springer, Heidelberg (2005)"},{"key":"41_CR3","doi-asserted-by":"crossref","unstructured":"Ahmed, T., Tripathi, A.R.: Static verification of security requirements in role based CSCW systems. In: Proceedings of the 8th ACM Symposium on Access Control Models and Technologies (SACMAT) (2003)","DOI":"10.1145\/775412.775438"},{"key":"41_CR4","unstructured":"de Beer, H.: The LTL Checker Plugins: A Reference Manual. Eindhoven University of Technology, Eindhoven (2004)"},{"key":"41_CR5","unstructured":"de Medeiros, A., G\u00fcnther, C.W.: Process Mining: Using CPN Tools to Create Test Logs for Mining Algorithms. In: Proceedings of the Sixth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, pp. 177\u2013190 (2005)"},{"key":"41_CR6","doi-asserted-by":"crossref","unstructured":"Dumas, M., van der Aalst, W.M.P., ter Hofstede, A.: Process-Aware Information Systems. John Wiley & Sons, Inc. (2005)","DOI":"10.1002\/0471741442"},{"key":"41_CR7","unstructured":"El Kharbili, M., Alves de Medeiros, A., Stein, S., van der Aalst, W.: Business Process Compliance Checking: Current State and Future Challenges. In: MobIS, pp. 107\u2013113 (2008)"},{"key":"41_CR8","unstructured":"Ferraiolo, D., Kuhn, D., Chandramouli, R.: Role-Based Access Control, 2nd edn. Artech House (2007)"},{"key":"41_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1007\/978-3-540-31979-5_13","volume-title":"Information Security Practice and Experience","author":"F. Hansen","year":"2005","unstructured":"Hansen, F., Oleshchuk, V.: Conformance Checking of RBAC Policy and its Implementation. In: Deng, R.H., Bao, F., Pang, H., Zhou, J. (eds.) ISPEC 2005. LNCS, vol.\u00a03439, pp. 144\u2013155. Springer, Heidelberg (2005)"},{"key":"41_CR10","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The Temporal Logic of Programs. In: Foundations of Computer Science, pp. 46\u201357 (1977)","DOI":"10.1109\/SFCS.1977.32"},{"key":"41_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/11678564_15","volume-title":"Business Process Management Workshops","author":"A. Rozinat","year":"2006","unstructured":"Rozinat, A., van der Aalst, W.M.P.: Conformance Testing: Measuring the Fit and Appropriateness of Event Logs and Process Models. In: Bussler, C.J., Haller, A. (eds.) BPM 2005. LNCS, vol.\u00a03812, pp. 163\u2013176. Springer, Heidelberg (2006)"},{"issue":"1","key":"41_CR12","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1016\/j.is.2007.07.001","volume":"33","author":"A. Rozinat","year":"2008","unstructured":"Rozinat, A., van der Aalst, W.: Conformance checking of processes based on monitoring real behavior. Information Systems\u00a033(1), 64\u201395 (2008)","journal-title":"Information Systems"},{"key":"41_CR13","doi-asserted-by":"crossref","unstructured":"Sandhu, R., Coyne, E., Feinstein, H., Youman, C.: Role-Based Access Control Models. IEEE Computer 29(2) (February 1996)","DOI":"10.1109\/2.485845"},{"key":"41_CR14","doi-asserted-by":"crossref","unstructured":"Sandhu, R., Samarati, P.: Access Control: Principles and Practice. IEEE Communications 32(9) (September 1994)","DOI":"10.1109\/35.312842"},{"key":"41_CR15","doi-asserted-by":"crossref","unstructured":"Strembeck, M.: Scenario-Driven Role Engineering. IEEE Security & Privacy 8(1) (January\/February 2010)","DOI":"10.1109\/MSP.2010.46"},{"issue":"5","key":"41_CR16","doi-asserted-by":"publisher","first-page":"456","DOI":"10.1016\/j.infsof.2010.11.015","volume":"53","author":"M. Strembeck","year":"2011","unstructured":"Strembeck, M., Mendling, J.: Modeling process-related RBAC models with extended UML activity models. Information and Software Technology\u00a053(5), 456\u2013483 (2011)","journal-title":"Information and Software Technology"},{"key":"41_CR17","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.entcs.2004.10.013","volume":"121","author":"W. Aalst van der","year":"2005","unstructured":"van der Aalst, W., de Medeiros, A.: Process Mining and Security: Detecting Anomalous Process Executions and Checking Process Conformance. Electronic Notes in Theoretical Computer Science\u00a0121, 3\u201321 (2005)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"41_CR18","unstructured":"van der Aalst, W., van Dongen, B.F., G\u00fcnther, C.W., Rozinat, A., Verbeek, H.M.W., Weijters, A.J.M.M.: ProM: The Process Mining Toolkit. In: Proceedings of the BPM 2009 Demonstration Track, vol. 489. CEUR-WS.org (September 2009)"},{"key":"41_CR19","doi-asserted-by":"crossref","unstructured":"van der Aalst, W., van Dongen, B., Herbst, J., Maruster, L., Schimm, G., Weijters, A.J.M.M.: Workflow mining: A survey of issues and approaches. Data & Knowledge Engineering\u00a047(2) (2003)","DOI":"10.1016\/S0169-023X(03)00066-1"},{"key":"41_CR20","unstructured":"van Dongen, B., van der Aalst, W.: A Meta Model for Process Mining Data. In: Proceedings of the Open Interop Workshop on Enterprise Modelling and Ontologies for Interoperability (2005)"},{"key":"41_CR21","unstructured":"Verbeek, H.M.W., Buijs, J., van Dongen, B., van der Aalst, W.: ProM 6: The Process Mining Toolkit. In: Proceedings of BPM 2010 Demonstration Track, vol. 615, pp. 34\u201339. CEUR-WS.org (September 2010)"}],"container-title":["Lecture Notes in Business Information Processing","Business Process Management Workshops"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28115-0_41","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T19:09:17Z","timestamp":1558379357000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-28115-0_41"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642281143","9783642281150"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28115-0_41","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"value":"1865-1348","type":"print"},{"value":"1865-1356","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}