Consistency of Loosely Coupled Inter-organizational Workflows with Multilevel Security Features

Nirmal Gamia, Boleslaw Mikolajczak

Abstract

The paper presents an algorithm to verify consistency of Inter-Organizational Workflows (IOWF) with Multi-level Security (MLS) features. The algorithm verifies whether the implementation of Inter-Organizational Workflow with Multi-level Security features meets the specification. The algorithm reduces the workflows of participating organizations using the reduction rules while preserving the communication patterns between organizations. The paper presents an algorithm to identify redundant implicit places in the IOWF with MLS features. We conclude that IOWF with MLS features is k-consistent with Message Sequence Chart (MSC) if the number and order of messages passed between organizations in reduced IOWF with MLS features is same as that in original MSC.

References

  1. Atluri V. and Huang W.K., “An Authorization Model for Workflows”, Proc. of the Fifth European Symposium on Research in Computer Security, Rome, Italy, LNCS, No.1146, Springer-Verlag, pp. 44-64, 1996.
  2. Atluri V. and Huang W.K., “An Extended Petri Net Model for Supporting Workflows in a Multilevel Secure Environment”, Proc. of the IFIP Working Conference on Database Security, pp. 199-216, 1996.
  3. Berthelot G., “Transformations and Decomposition of Nets”, In Advances in Petri Nets 1986 Part I: Petri Nets, central models and their properties, Lecture Notes in Computer Science, Volume 254, pp. 360-376. Springer-Verlag, Berlin, 1987.
  4. Clark D.D. and Wilson D.R., “A Comparison of Commercial and Military Computer Security Policies”, In Proceedings of IEEE Symposium on security and Privacy, pp. 184- 194, 1987.
  5. Gami, N., Mikolajczak, B., “Integration of Multilevel Security Features Into Loosely Coupled Inter-Organizational Workflows”, Proc. of the Int. Conference on Information Technology New Generations, ITNG' 2007, Las Vegas, NV, April 12-15, 2007.
  6. Girault, C., Valk R., “Petri Nets for Systems Engineering: a Guide to Modelling, Verification, and Applications”, Springer, pp. 278-281, 2003.
  7. Knorr K., “Multilevel Security and Information Flow in Petri Net Workflows”, Proc. of the 11th Conference on Advanced Information Systems Engineering, Heidelberg, Germany, 2001.
  8. Li X., Hu J., Bu L., Zhao J. and Zheng G., “Consistency Checking of Concurrent Models for Scenario-Based Specifications”, Proc. of 12th International SDL Forum, Grimstad, Norway, pp. 298-312, 2005.
  9. W.M.P. van der Aalst, “Inter-organizational Workflows: An Approach based on Message Sequence Charts and Petri Nets”, Systems Analysis - Modelling - Simulation, pp. 335-367, 1999.
  10. W.M.P. van der Aalst, “Process-oriented architecture for electronic commerce and interorganizational workflow”, Information Systems, pp. 639-671, 2000.
Download


Paper Citation


in Harvard Style

Gamia N. and Mikolajczak B. (2007). Consistency of Loosely Coupled Inter-organizational Workflows with Multilevel Security Features . In Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2007) ISBN 978-972-8865-95-5, pages 53-62. DOI: 10.5220/0002413300530062


in Bibtex Style

@conference{msvveis07,
author={Nirmal Gamia and Boleslaw Mikolajczak},
title={Consistency of Loosely Coupled Inter-organizational Workflows with Multilevel Security Features},
booktitle={Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2007)},
year={2007},
pages={53-62},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002413300530062},
isbn={978-972-8865-95-5},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2007)
TI - Consistency of Loosely Coupled Inter-organizational Workflows with Multilevel Security Features
SN - 978-972-8865-95-5
AU - Gamia N.
AU - Mikolajczak B.
PY - 2007
SP - 53
EP - 62
DO - 10.5220/0002413300530062