A Single-Level Scheduler for the Replicated Architecture for Multilevel-Secure Databases

Abstract

The replicated architecture for multilevel secure database systems provides security by replicating data into separate untrusted single-level database systems. To be successful, a system using the replicated architecture must have a concurrency and replica control algorithm that does not introduce any covert channels. Jajodia and Kogan have developed one such algorithm that uses update projections and a write-all replica control algorithm. Here we describe an alternative algorithm. The new algorithm uses replicated transactions and a set of queues organized according to security class. A new definition of correctness is required for this approach, so we present one and use it to show that our algorithm is correct. The existence of this new algorithm increases the viability of the replicated architecture as an alternative to kernelized approaches.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 1991
Accession Number
ADA462621

Entities

People

  • John P. Mcdermott
  • Ravi S. Sandhu
  • Sushil Jajodia

Organizations

  • United States Naval Research Laboratory

Tags

Communities of Interest

  • Air Platforms
  • C4I
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Abstracts
  • Algorithms
  • Command And Control
  • Command And Control Systems
  • Computations
  • Control Systems
  • Database Management Systems
  • Databases
  • Mathematical Models
  • Military Research
  • Models
  • Multithreading
  • Operating Systems
  • Replicas
  • Security
  • Sequences
  • System Software

Fields of Study

  • Computer science

Readers

  • Database Systems and Applications
  • Parallel and Distributed Computing.