Checking satisfiability aspects of binding constraints in a business process context

Lecture Notes in Business Information Processing

Volumn 100 LNBIP, Issue PART 2, 2012, Pages 465-470

  Schefer, Sigrid ^a   Strembeck, Mark ^a   Mendling, Jan ^b  

^a VIENNA UNIVERSITY OF ECONOMICS AND BUSINESS   (Austria)

^b HUMBOLDT UNIVERSITY   (Germany)

Author keywords

access control; binding of duty; business processes

Indexed keywords

ACCESS CONTROL; ALGORITHMS; ENTERPRISE RESOURCE MANAGEMENT;

BINDING OF DUTY; BUSINESS PROCESS; BUSINESS PROCESSES; RBAC MODEL; SATISFIABILITY;

FORMAL LOGIC;

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

References (9)

1. van der Aalst, W.M.P.: Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques. In: van der Aalst, W.M.P., Desel, J., Oberweis, A. (eds.) Business Process Management. LNCS, vol. 1806, pp. 161-183. Springer, Heidelberg (2000)
2. Botha, R.A., Eloff, J.H.: Separation of duties for access control enforcement in workflow environments. IBM Systems Journal 40(3) (2001)
3. Casati, F., Castano, S., Fugini, M.: Managing Workflow Authorization Constraints through Active Database Technology. Inf. Sys. Frontiers 3(3) (2001)
4. Crampton, J., Khambhammettu, H.: Delegation and Satisfiability in Workflow Systems. In: Proceedings of ACM SACMAT (2008)
5. Strembeck, M., Mendling, J.: Generic Algorithms for Consistency Checking of Mutual-Exclusion and Binding Constraints in a Business Process Context. In: Meersman, R., Dillon, T.S., Herrero, P. (eds.) OTM 2010. LNCS, vol. 6426, pp. 204-221. Springer, Heidelberg (2010)
6. Strembeck, M., Mendling, J.: Modeling Process-related RBAC Models with Extended UML Activity Models. Inf. Software Techn. 53(5) (2011)
7. Tan, K., Crampton, J., Gunter, C.A.: The Consistency of Task-Based Authorization Constraints in Workflow Systems. In: Proceedings of the 17th IEEE Workshop on Computer Security Foundations (June 2004)
8. Wainer, J., Barthelmess, P., Kumar, A.: W-RBAC - A Workflow Security Model Incorporating Controlled Overriding of Constraints. International Journal of Cooperative Information Systems 12(4) (2003)
9. Warner, J., Atluri, V.: Inter-instance authorization constraints for secure workflow management. In: Proc. of ACM SACMAT (2006)