Conformance checking of RBAC policies in process-aware information systems

Lecture Notes in Business Information Processing

Volumn 100 LNBIP, Issue PART 2, 2012, Pages 435-446

  Baumgrass, Anne ^a   Baier, Thomas ^b   Mendling, Jan ^b   Strembeck, Mark ^a  

^a VIENNA UNIVERSITY OF ECONOMICS AND BUSINESS   (Austria)

^b HUMBOLDT UNIVERSITY   (Germany)

Author keywords

Conformance Checking; LTL; Process Aware Information Systems; Role Based Access Control; Security

Indexed keywords

ACCESS CONTROL; ENTERPRISE RESOURCE MANAGEMENT; INFORMATION SYSTEMS; TEMPORAL LOGIC;

CONFORMANCE CHECKING; LTL; PROCESS-AWARE INFORMATION SYSTEMS; ROLE-BASED ACCESS CONTROL; SECURITY;

INFORMATION MANAGEMENT;

EID: 84856573172     PISSN: 18651348     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-3-642-28115-0_41     Document Type: Conference Paper

References (21)

1. van der Aalst, W.M.P., Weijters, A.J.M.M.: Process mining: a research agenda. Computers in Industry 53 (April 2004)
2. 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. 3760, pp. 130-147. Springer, Heidelberg (2005)
3. 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)
4. de Beer, H.: The LTL Checker Plugins: A Reference Manual. Eindhoven University of Technology, Eindhoven (2004)
5. de Medeiros, A., Günther, 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-190 (2005)
6. Dumas, M., van der Aalst, W.M.P., ter Hofstede, A.: Process-Aware Information Systems. John Wiley & Sons, Inc. (2005)
7. 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-113 (2008)
8. Ferraiolo, D., Kuhn, D., Chandramouli, R.: Role-Based Access Control, 2nd edn. Artech House (2007)
9. 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. 3439, pp. 144-155. Springer, Heidelberg (2005) (Pubitemid 41273785)
10. Pnueli, A.: The Temporal Logic of Programs. In: Foundations of Computer Science, pp. 46-57 (1977)
11. 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. 3812, pp. 163-176. Springer, Heidelberg (2006) (Pubitemid 43899920)
12. Rozinat, A., van der Aalst, W.: Conformance checking of processes based on monitoring real behavior. Information Systems 33(1), 64-95 (2008)
13. Sandhu, R., Coyne, E., Feinstein, H., Youman, C.: Role-Based Access Control Models. IEEE Computer 29(2) (February 1996)
14. Sandhu, R., Samarati, P.: Access Control: Principles and Practice. IEEE Communications 32(9) (September 1994)
15. Strembeck, M.: Scenario-Driven Role Engineering. IEEE Security & Privacy 8(1) (January/February 2010)
16. Strembeck, M., Mendling, J.: Modeling process-related RBAC models with extended UML activity models. Information and Software Technology 53(5), 456-483 (2011)
17. 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 121, 3-21 (2005)
18. van der Aalst, W., van Dongen, B.F., Günther, 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)
19. 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 47(2) (2003)
20. van Dongen, B., van der Aalst, W.: A Meta Model for Process Mining Data. In: Proceedings of the Open InteropWorkshop on Enterprise Modelling and Ontologies for Interoperability (2005)
21. 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-39. CEUR-WS.org (September 2010)