Multiversion concurrency control for multilevel secure database systems

T. F. Keefe, W. T. Tsai

Research output: Chapter in Book/Report/Conference proceedingConference contribution

35 Citations (Scopus)

Abstract

Consideration is given to the application of multiversion schedulers in multilevel secure database management systems (MLS/DBMSs). Transactions are vital for MLS/DBMSs because they provide transparency to concurrency and failure. Concurrent execution of transactions may lead to contention among subjects for access to data, which in MLS/DBMSs may lead to security problems. Multiversion schedulers reduce the contention for access to data by maintaining multiple versions. A description is given of the relation between schedules produced in MLS/DBMSs and those which are multiversion serializable. The authors also propose a secure multiversion scheduler. They show that the scheduling protocol gives correct schedules and is free of covert channels due to contention for access to data, i.e., the scheduler is data-conflict-secure.

Original languageEnglish (US)
Title of host publicationProceedings of the Symposium on Security and Privacy
Editors Anon
Place of PublicationPiscataway, NJ, United States
PublisherPubl by IEEE
Pages369-383
Number of pages15
ISBN (Print)0818620609
StatePublished - 1990
Externally publishedYes
Event1990 IEEE Computer Society Symposium on Research in Security and Privacy - Oakland, CA, USA
Duration: May 7 1990May 9 1990

Other

Other1990 IEEE Computer Society Symposium on Research in Security and Privacy
CityOakland, CA, USA
Period5/7/905/9/90

Fingerprint

Concurrency control
Transparency
Scheduling
Network protocols

ASJC Scopus subject areas

  • Engineering(all)

Cite this

Keefe, T. F., & Tsai, W. T. (1990). Multiversion concurrency control for multilevel secure database systems. In Anon (Ed.), Proceedings of the Symposium on Security and Privacy (pp. 369-383). Piscataway, NJ, United States: Publ by IEEE.

Multiversion concurrency control for multilevel secure database systems. / Keefe, T. F.; Tsai, W. T.

Proceedings of the Symposium on Security and Privacy. ed. / Anon. Piscataway, NJ, United States : Publ by IEEE, 1990. p. 369-383.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Keefe, TF & Tsai, WT 1990, Multiversion concurrency control for multilevel secure database systems. in Anon (ed.), Proceedings of the Symposium on Security and Privacy. Publ by IEEE, Piscataway, NJ, United States, pp. 369-383, 1990 IEEE Computer Society Symposium on Research in Security and Privacy, Oakland, CA, USA, 5/7/90.
Keefe TF, Tsai WT. Multiversion concurrency control for multilevel secure database systems. In Anon, editor, Proceedings of the Symposium on Security and Privacy. Piscataway, NJ, United States: Publ by IEEE. 1990. p. 369-383
Keefe, T. F. ; Tsai, W. T. / Multiversion concurrency control for multilevel secure database systems. Proceedings of the Symposium on Security and Privacy. editor / Anon. Piscataway, NJ, United States : Publ by IEEE, 1990. pp. 369-383
@inproceedings{9af428b9ac464379a841e4785e09cda3,
title = "Multiversion concurrency control for multilevel secure database systems",
abstract = "Consideration is given to the application of multiversion schedulers in multilevel secure database management systems (MLS/DBMSs). Transactions are vital for MLS/DBMSs because they provide transparency to concurrency and failure. Concurrent execution of transactions may lead to contention among subjects for access to data, which in MLS/DBMSs may lead to security problems. Multiversion schedulers reduce the contention for access to data by maintaining multiple versions. A description is given of the relation between schedules produced in MLS/DBMSs and those which are multiversion serializable. The authors also propose a secure multiversion scheduler. They show that the scheduling protocol gives correct schedules and is free of covert channels due to contention for access to data, i.e., the scheduler is data-conflict-secure.",
author = "Keefe, {T. F.} and Tsai, {W. T.}",
year = "1990",
language = "English (US)",
isbn = "0818620609",
pages = "369--383",
editor = "Anon",
booktitle = "Proceedings of the Symposium on Security and Privacy",
publisher = "Publ by IEEE",

}

TY - GEN

T1 - Multiversion concurrency control for multilevel secure database systems

AU - Keefe, T. F.

AU - Tsai, W. T.

PY - 1990

Y1 - 1990

N2 - Consideration is given to the application of multiversion schedulers in multilevel secure database management systems (MLS/DBMSs). Transactions are vital for MLS/DBMSs because they provide transparency to concurrency and failure. Concurrent execution of transactions may lead to contention among subjects for access to data, which in MLS/DBMSs may lead to security problems. Multiversion schedulers reduce the contention for access to data by maintaining multiple versions. A description is given of the relation between schedules produced in MLS/DBMSs and those which are multiversion serializable. The authors also propose a secure multiversion scheduler. They show that the scheduling protocol gives correct schedules and is free of covert channels due to contention for access to data, i.e., the scheduler is data-conflict-secure.

AB - Consideration is given to the application of multiversion schedulers in multilevel secure database management systems (MLS/DBMSs). Transactions are vital for MLS/DBMSs because they provide transparency to concurrency and failure. Concurrent execution of transactions may lead to contention among subjects for access to data, which in MLS/DBMSs may lead to security problems. Multiversion schedulers reduce the contention for access to data by maintaining multiple versions. A description is given of the relation between schedules produced in MLS/DBMSs and those which are multiversion serializable. The authors also propose a secure multiversion scheduler. They show that the scheduling protocol gives correct schedules and is free of covert channels due to contention for access to data, i.e., the scheduler is data-conflict-secure.

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

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

M3 - Conference contribution

SN - 0818620609

SP - 369

EP - 383

BT - Proceedings of the Symposium on Security and Privacy

A2 - Anon, null

PB - Publ by IEEE

CY - Piscataway, NJ, United States

ER -