Maintaining Multilevel Transaction Atomicity in MLS Database Systems with Kernelized Architecture

Abstract

In most models of trusted database systems, transactions are considered to be single-level subjects. As a consequence, users are denied the ability to execute some transactions which can be run on conventional (untrusted) database systems, namely those that perform functions that become inherently multilevel in the MLS environment. This paper introduces a notion of multilevel transaction and proceeds to an algorithm for their concurrent execution. The algorithm is proven to be correct in the sense that resulting schedules for executing the multilevel transactions is one-copy serializable.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 1993
Accession Number
ADA465420

Entities

People

  • Oliver Costich
  • Sushil Jajodia

Organizations

  • George Mason University

Tags

Communities of Interest

  • Space

DTIC Thesaurus Topics

  • Abstracts
  • Algorithms
  • Computations
  • Computer Access Control
  • Control Systems
  • Control Theory
  • Databases
  • Digital Information
  • Guarantees
  • Information Operations
  • Information Systems
  • Military Research
  • Multithreading
  • Operating Systems
  • Security
  • Sequences
  • Universities

Fields of Study

  • Computer science

Readers

  • Cybersecurity.
  • Database Systems and Applications
  • Operations Research