Multiversion transaction scheduler for centralized multilevel secure database systems

T. F. Keefe, W. T. Tsai

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

3 Scopus citations

Abstract

Transactions are vital for multilevel secure database management systems (MLS/DBMSs) because they provide transparency to concurrency and failure. Concurrent execution of transactions may lead to contention among subjects for access to data. In MLS/DBMSs this can lead to covert channels. Multiversion schedulers reduce the contention for access to data by maintaining multiple versions. We propose a secure multiversion scheduling protocol and demonstrate its correctness, i.e., demonstrate that it produces only serializable schedules. We develop an abstract model of a scheduler that implements the protocol and show that it is secure, i.e., satisfies the MLS noninterference assertions. Thus, an implementation which adheres to the assumptions of the abstract model will be both secure and correct. In addition, we consider a method for generating timestamps.

Original languageEnglish (US)
Title of host publicationProceedings of the High-Assurance Systems Engineering Workshop
Place of PublicationLos Alamitos, CA, United States
PublisherIEEE
Pages206-213
Number of pages8
StatePublished - 1997
Externally publishedYes
EventProceedings of the 1996 High-Assurance Systems Engineering Workshop - Niagara, Can
Duration: Oct 21 1996Oct 22 1996

Other

OtherProceedings of the 1996 High-Assurance Systems Engineering Workshop
CityNiagara, Can
Period10/21/9610/22/96

    Fingerprint

ASJC Scopus subject areas

  • Engineering(all)

Cite this

Keefe, T. F., & Tsai, W. T. (1997). Multiversion transaction scheduler for centralized multilevel secure database systems. In Proceedings of the High-Assurance Systems Engineering Workshop (pp. 206-213). IEEE.