Logical Channel Theory.

Abstract

The theory of prime constraints and its application to security analysis is reviewed, and some examples are given. Different examples illustrate different advantages of the prime constraint approach over previous methods: the ability to recognize the safety of a case of downgrading; the ability to handle non deterministically specified systems; and the ability to avoid assigning security levels to hidden variables. Pcgraph and related tools developed in FY79 were used for the computations in examples. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Nov 01, 1980
Accession Number
ADA095663

Entities

People

  • Jonathan K. Millen

Organizations

  • MITRE Corporation

Tags

Communities of Interest

  • Biomedical

DTIC Thesaurus Topics

  • Albumins
  • Arteries
  • Artificial Organs
  • Blood
  • Blood Counts
  • Chemical Synthesis
  • Chemistry
  • Clearances
  • Hormones
  • Materials
  • Medical Specialties
  • Perfusion
  • Security
  • Stainless Steel
  • Thyroid Hormones
  • Thyroxine

Readers

  • Adaptive Control and Estimation with Uncertainty in Dynamic Systems.
  • Psychometric Testing or Psychological Assessment.
  • Strategic Security Studies