A Validation Technique for Computer Security Based on the Theory of Constraints,

Abstract

A validation technique is described that is both necessary and sufficient to test for security compromise. A LISP program documented in this report automates a substantial portion of the validation process. The theory of constraints, which incorporates elements of switching theory and automata theory, provides the mathematical foundation. In addition to detecting compromise, the approach may be used to prove a wide range of properties about system behavior. The technique is suited to both hardware and software, and is applicable at various levels of specification. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Dec 01, 1978
Accession Number
ADA065111

Entities

People

  • Frederick C. Furtek

Organizations

  • MITRE Corporation

Tags

Communities of Interest

  • Cyber

DTIC Thesaurus Topics

  • Air Force
  • Air Force Facilities
  • Algorithms
  • Artificial Intelligence
  • Automata
  • Automata Theory
  • Computer Programs
  • Computers
  • Corporations
  • Cybersecurity
  • Language
  • Robotics
  • Shift Registers
  • Simulations
  • Specifications
  • Switching
  • United States

Readers

  • Computational Modeling and Simulation
  • Cybersecurity.
  • Mathematical Modeling and Probability Theory.

Technology Areas

  • Cyber