A strategy for mls workflow

Vlad Ingar Wietrzyk; Makoto Takizawa; Vijay Varadharajan

doi:10.1007/3-540-47719-5_14

A strategy for mls workflow

Vlad Ingar Wietrzyk, Makoto Takizawa, Vijay Varadharajan

School of Computing

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review

1 Citation (Scopus)

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.

Original language	English
Title of host publication	Information Security and Privacy - 6th Australasian Conference, ACISP 2001 Sydney, Australia, July 11-13, 2001 Proceedings
Editors	Vijay Varadharajan, Yi Mu
Place of Publication	Berlin
Publisher	Springer, Springer Nature
Pages	159-175
Number of pages	17
Volume	2119
ISBN (Print)	3540423001
DOIs	https://doi.org/10.1007/3-540-47719-5_14
Publication status	Published - 2001
Event	6th Australasian Conference on Information Security and Privacy, ACISP - 2001 - Sydney, Australia Duration: 11 Jul 2001 → 13 Jul 2001

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	2119
ISSN (Print)	03029743
ISSN (Electronic)	16113349

Other

Other	6th Australasian Conference on Information Security and Privacy, ACISP - 2001
Country/Territory	Australia
City	Sydney
Period	11/07/01 → 13/07/01

Access to Document

10.1007/3-540-47719-5_14

Cite this

Wietrzyk, V. I., Takizawa, M., & Varadharajan, V. (2001). A strategy for mls workflow. In V. Varadharajan, & Y. Mu (Eds.), Information Security and Privacy - 6th Australasian Conference, ACISP 2001 Sydney, Australia, July 11-13, 2001 Proceedings (Vol. 2119, pp. 159-175). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2119). Springer, Springer Nature. https://doi.org/10.1007/3-540-47719-5_14

Wietrzyk, Vlad Ingar ; Takizawa, Makoto ; Varadharajan, Vijay. / A strategy for mls workflow. Information Security and Privacy - 6th Australasian Conference, ACISP 2001 Sydney, Australia, July 11-13, 2001 Proceedings. editor / Vijay Varadharajan ; Yi Mu. Vol. 2119 Berlin : Springer, Springer Nature, 2001. pp. 159-175 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{1513cfc5e1824de6a2d22c0a8dc933c2,

title = "A strategy for mls workflow",

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.",

author = "Wietrzyk, {Vlad Ingar} and Makoto Takizawa and Vijay Varadharajan",

year = "2001",

doi = "10.1007/3-540-47719-5_14",

language = "English",

isbn = "3540423001",

volume = "2119",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer, Springer Nature",

pages = "159--175",

editor = "Vijay Varadharajan and Yi Mu",

booktitle = "Information Security and Privacy - 6th Australasian Conference, ACISP 2001 Sydney, Australia, July 11-13, 2001 Proceedings",

address = "United States",

note = "6th Australasian Conference on Information Security and Privacy, ACISP - 2001 ; Conference date: 11-07-2001 Through 13-07-2001",

}

Wietrzyk, VI, Takizawa, M & Varadharajan, V 2001, A strategy for mls workflow. in V Varadharajan & Y Mu (eds), Information Security and Privacy - 6th Australasian Conference, ACISP 2001 Sydney, Australia, July 11-13, 2001 Proceedings. vol. 2119, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 2119, Springer, Springer Nature, Berlin, pp. 159-175, 6th Australasian Conference on Information Security and Privacy, ACISP - 2001, Sydney, New South Wales, Australia, 11/07/01. https://doi.org/10.1007/3-540-47719-5_14

A strategy for mls workflow. / Wietrzyk, Vlad Ingar; Takizawa, Makoto; Varadharajan, Vijay.
Information Security and Privacy - 6th Australasian Conference, ACISP 2001 Sydney, Australia, July 11-13, 2001 Proceedings. ed. / Vijay Varadharajan; Yi Mu. Vol. 2119 Berlin: Springer, Springer Nature, 2001. p. 159-175 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2119).

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review

TY - GEN

T1 - A strategy for mls workflow

AU - Wietrzyk, Vlad Ingar

AU - Takizawa, Makoto

AU - Varadharajan, Vijay

PY - 2001

Y1 - 2001

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84958824828&partnerID=8YFLogxK

U2 - 10.1007/3-540-47719-5_14

DO - 10.1007/3-540-47719-5_14

M3 - Conference proceeding contribution

AN - SCOPUS:84958824828

SN - 3540423001

VL - 2119

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 159

EP - 175

BT - Information Security and Privacy - 6th Australasian Conference, ACISP 2001 Sydney, Australia, July 11-13, 2001 Proceedings

A2 - Varadharajan, Vijay

A2 - Mu, Yi

PB - Springer, Springer Nature

CY - Berlin

T2 - 6th Australasian Conference on Information Security and Privacy, ACISP - 2001

Y2 - 11 July 2001 through 13 July 2001

ER -

Wietrzyk VI, Takizawa M, Varadharajan V. A strategy for mls workflow. In Varadharajan V, Mu Y, editors, Information Security and Privacy - 6th Australasian Conference, ACISP 2001 Sydney, Australia, July 11-13, 2001 Proceedings. Vol. 2119. Berlin: Springer, Springer Nature. 2001. p. 159-175. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-47719-5_14

A strategy for mls workflow

Abstract

Publication series

Other

Access to Document

Other files and links

Fingerprint

Preface

Cite this