A Petri net based safety analysis of workflow authorization models¹

Article type: Research Article

Authors: Atluri, Vijayalakshmi^{a; *} | Huang, Wei-Kuang^b

Affiliations: [a] MSIS Department and Center for Information Management, Integration and Connectivity, Rutgers University, Newark, NJ 07102, USA; E-mail: atluri@andromeda.rutgers.edu | [b] Department of Operation and Information Management, University of Connecticut, Storrs, CT 06269-2041, USA; E-mail: whuang@sba.uconn.edu

Correspondence: [*] Corresponding author.

Note: [1] A preliminary version of this work appeared in the Proceedings of the 12th IFIP WG 11.3 Working Conference on Database Security, July 1998.

Abstract: Workflow Management Systems (WFMS) are being widely used today by organizations to coordinate the execution of various applications representing their day-to-day tasks. To ensure that these tasks are executed by authorized users or processes (subjects), and to make sure that authorized subjects gain access on the required objects only during the execution of the specific task, granting and revoking of privileges need to be synchronized with the progression of the workflow through proper authorization mechanisms. Recently, Atluri and Huang have proposed a workflow authorization model (WAM) that provides such synchronization. This paper, first extends WAM to support roles and authorization constraints such as separation of duties. Second, it develops methodologies to analyze the safety of workflow authorization model when authorization constraints are imposed. The analysis is carried out by modeling WAM as a suitable Petri net (PN) and by utilizing the well-established analysis techniques of PNs.

DOI: 10.3233/JCS-2000-82-307

Journal: Journal of Computer Security, vol. 8, no. 2-3, pp. 209-240, 2000