Abstract
This paper describes the design of a model as well as an architecture to provide support for distributed advanced workflow transactions. We discuss the application of transaction concepts to activities that involve integrated execution of multiple tasks over different processes. This kind of applications are described as transactional workflows. The classical commit protocol, used in many commercial systems, is not suitable for use in multilevel secure distributed workflow database systems that use a locking protocol for concurrency control. We choose to develop formal framework for secure distributed workflow architecture since we are actively involved in building a prototype of such a system. We strive to develop a practical logical characterization of multilevel secure (MLS) distributed workflow for the first time using the inherently difficult concept of non-monotonic reasoning.
Research supported by the UWS, Versant Technology Corporation and Intel Corporation
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
V. Wietrzyk, Mehmet A. Orgun. A Foundation for High Performance Object Database Systems. In Databases for the Millennium 2000 in proceedings of the 9th International Conference on Management of Data, Hyderabad, December, 1998.
A. Elmagarmid. Transaction Models for Advanced Database Applications. Morgan-Kaufmann, February 1992.
G. Grefen, B. Pernici, G. Sanchez. Database Support for Workflow Mnagement-The WIDE Project. In Kluwer Academic Publishers, August 1999.
M. Rusinkiewicz and A. Sheth. On transactional Workflows. Bulletin of the Technical Committee on Data Engineering. (June 1993).
The Workflow Management Coalition Interoperability Abstract Specification. The Workflow Management Coalition, June 1996
G. Alonso and D. Agrawal Advanced transaction Models in Workflow Contexts. Procs. Int. Conf. on data Engineering. 1996.
D. Georgakopoulos, M. Hornick, and A. Sheth. An Overview of Workflow Management: From Process Modeling to Workflow Automation Infrastructure. Distributed and Parallel Databases, 3(2):119–153, April 1999.
A. K. Elmagarmid, Y. Leu, W. Litwin, and M. E. Rusinkiewicz. A Multidatabase Model for Interbase. In Proc. of the 16th VLDB Conference, August 1990.
V. Gligor and R. Popescu-Zeletin. Transaction Maagement in Distributed Heterogeneous Database Management Systems. In Information Systems, 11(4), 1986.
A. Zhang, M. Nodine, B. Bhargava, O. Bukhres Scheduling with Compensation in Multidatabase Systems. In CSD-TR-93-063, 11(4), October 1993.
M. Ansari, M. Rusinkiewicz, L. Ness, A. Sheth Executing Multidatabase Systems. In TM-TSV-019450, July 1991.
N. A. Jukic and S. V. Vrbsky. Asserting beliefs in mls relational models. In Sigmod Record, pages 30–35, Ithaca, NY, 1997. ACM Press.
[13] Department of Defense, National Computer Security Center. department of Defense Trusted Computer System Evaluation Criteria, 1985. DOD 5200.28-STD.
D. E. Bell and L. J. LaPadula. Secure Computer Systems: Mathematical Foundations and Model. In Technical Report, MITRE Corporation, 1974.
D. Denning, T. Lunt, R. Heckman, W. Shockley. A Multilevel relational data Model. In Proceedings of the IEEE Symposium on research in Security and Privacy, Oakland, April. IEEE, New York, 220–234.
T. Lunt. Multilevel Security for Object-Oriented Databases. In D. L. Spooner and C. Landwehr, editors, Database Security, III, pages 199–209. North-Holland, Amsterdam, 1990.
K. S. Candan, S. Jajodia and V. S. Subrahmanian. Secure Mediated Databases. In Proceedings: ICDE, pages 35–55, 1996.
S. Jajodia and R. Sandhu. Toward a Multilevel Secure Data Model. In Proceedings: ACM SIGMOD, Denver, Colo., May. ACM, New York, 50–59.
S. Jajodia and R. Sandhu. Polyinstantiation Integrity in Multilevel Relations. In Proceedings: IEEE Symposium on Research in Security and Privacy, Oakland, May. IEEE, New York, 104–115.
M. Winslett and K. Smith Entity Modeling in the MLS Relational Model. In Proceedings of the 18th International Conference on VLDB. VLDB Endowment, 199–210.
F. Cuppens Querying a Multilevel Database: a logical Analysis. In Proceedings of the 22nd VLDB Conference. VLDB Endowment, 1996.
N. Boulahia-Cuppens, F. Cuppens, A. Gabillon, and K. Yazdanian Decomposition of Multilevel Objects in an Object-Oriented Database. In Proceedings of the European Symposium on research in computer security. Brighton, UK, 1994. Springer Verlag.
A. Gabillon Sécurité Multi-Niveaux dans les Bases de Données à Objects. ENSAE, 1995.
M. Kifer, G. Lausen, and J. Wu Logical Foundations for Object-Oriented and Frame-Based Languages. Journal of the Association of Computing Machinery. 42(3):741:843, July 1995.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wietrzyk, V.I., Takizawa, M., Varadharajan, V. (2001). A Strategy for MLS Workflow. In: Varadharajan, V., Mu, Y. (eds) Information Security and Privacy. ACISP 2001. Lecture Notes in Computer Science, vol 2119. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-47719-5_14
Download citation
DOI: https://doi.org/10.1007/3-540-47719-5_14
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42300-3
Online ISBN: 978-3-540-47719-8
eBook Packages: Springer Book Archive