The b2/c3 Problem: How Big Buffers Overcome Covert Channel Cynicism in Trusted Database Systems

Abstract

We present a mechanism for communication from low to high security classes that allows partial acknowledgments and flow control without introducing covert channels. By restricting our mechanism to the problem of maintaining mutual consistency in replicated architecture database systems, we overcome the negative general results in this problem area. A queueing theory model shows that big buffers can be practical mechanisms for real database systems.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 1994
Accession Number
ADA465578

Entities

People

  • J. Mcdermott

Organizations

  • United States Naval Research Laboratory

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Abstracts
  • Buffer Storage
  • Computer Access Control
  • Databases
  • Flow
  • Hypervelocity Flow
  • Information Operations
  • Military Research
  • Models
  • Probability
  • Queueing Theory
  • Reliability
  • Security
  • Steady State
  • Time Intervals
  • Trojan Horse

Fields of Study

  • Computer science

Readers

  • Cybersecurity.
  • Parallel and Distributed Computing.
  • Radio communications and signal processing.

Technology Areas

  • Fully Networked C3
  • Fully Networked C3 - Command and Control