Volume 3 Number 1 (Jan. 2008)
Home > Archive > 2008 > Volume 3 Number 1 (Jan. 2008) >
JCP 2008 Vol.3(1): 63-78 ISSN: 1796-203X
doi: 10.4304/jcp.3.1.63-78

Design and Verification of Loosely Coupled Inter-Organizational Workflows with Multi-Level Security

Boleslaw Mikolajczak, Nirmal Gami
1University of Massachusetts, Computer and Information Science Department, Dartmouth, MA 02747, USA

Abstract—Inter-Organizational Workflows (IOWF) become important as they provide solution for data sharing, heterogeneity in resources and work coordination at global level. However, a secured computing infrastructure like Multilevel Security (MLS) is needed to support today’s vast businesses. In this paper Message Sequence Charts (MSC) are used to specify the positive and negative interactions between cooperating organizations. Petri nets are used to model the workflows in each organization. IOWF is obtained by combining Message Sequence Charts (MSC) and workflows of local organizations. We present an algorithm to incorporate MLS features into IOWFs using Bell-LaPadula security model. In this model security labels of subject and object are verified before the subject can access the object. The algorithm reduces the workflows of participating organizations using the reduction rules while preserving the communication patterns between organizations. We also present an algorithm to identify implicit places in the IOWF with MLS features. Our method and algorithms are illustrated by a running example.

Index Terms—multi-level security features, loosely coupled inter-organizational workflows, correctness of interorganizational workflows, Bell-LaPadula security model, Petri nets, implicit places.

[PDF]

Cite: Boleslaw Mikolajczak, Nirmal Gami, "Design and Verification of Loosely Coupled Inter-Organizational Workflows with Multi-Level Security," Journal of Computers vol. 3, no. 1, pp. 63-78, 2008.

General Information

ISSN: 1796-203X
Abbreviated Title: J.Comput.
Frequency: Bimonthly
Editor-in-Chief: Prof. Liansheng Tan
Executive Editor: Ms. Nina Lee
Abstracting/ Indexing: DBLP, EBSCO,  ProQuest, INSPEC, ULRICH's Periodicals Directory, WorldCat,etc
E-mail: jcp@iap.org
  • Nov 14, 2019 News!

    Vol 14, No 11 has been published with online version   [Click]

  • Mar 20, 2020 News!

    Vol 15, No 2 has been published with online version   [Click]

  • Dec 16, 2019 News!

    Vol 14, No 12 has been published with online version   [Click]

  • Sep 16, 2019 News!

    Vol 14, No 9 has been published with online version   [Click]

  • Aug 16, 2019 News!

    Vol 14, No 8 has been published with online version   [Click]

  • Read more>>