A Practical Transaction Model and Untrusted Transaction Manager for a Multilevel-Secure Database System

Abstract

A new transaction model for multilevel-secure databases which use the replicated architecture is presented. A basic concurrency control algorithm and two variations are given based on this transaction model. We also present new correctness criteria for multilevel-secure databases which use the replicated architecture. Based on this criteria, we prove that our algorithms are correct.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 1992
Accession Number
ADA462360

Entities

People

  • Judith N. Froscher
  • Myong H. Kang
  • Oliver Costich

Organizations

  • United States Naval Research Laboratory

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Abstracts
  • Algorithms
  • Computer Access Control
  • Computers
  • Consistency
  • Control Systems
  • Database Management Systems
  • Databases
  • Information Operations
  • Information Systems
  • Military Research
  • Models
  • Multithreading
  • Scheduling (Production)
  • Security
  • Sequences

Fields of Study

  • Computer science
  • Mathematics

Readers

  • Computational Modeling and Simulation
  • Cybersecurity.
  • Parallel and Distributed Computing.