Downgrading in a Secure Multilevel Computer System: The Formulary Concept

Abstract

The tasks to be performed during the development of the Secure Multilevel Data Base System include the construction of a capability for the transformation of data of higher levels of classification to data at lower levels. The capability is to be part of a system in which access control is based upon a security kernel for the PDP-11/45. In this report a mechanism for facilitating downward transformations is developed, and the impact of the mechanism upon both the Bell-LaPadula model of secure computer systems and the security kernel is discussed. An expository treatment of the model and kernel is also included.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
May 01, 1975
Accession Number
ADA011696

Entities

People

  • D. F. Stork

Organizations

  • MITRE Corporation

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Air Force
  • Algorithms
  • Computer Access Control
  • Computer Vision
  • Computers
  • Construction
  • Cybersecurity
  • Databases
  • Detection
  • Detectors
  • Executives
  • Graphs
  • Identification
  • Instructions
  • Language
  • Linear Accelerators
  • Recognition

Fields of Study

  • Computer science

Readers

  • Computational Linguistics
  • Computer Science/Computer Engineering/Data Science/Digital Signal Processing.
  • Cybersecurity.