Causal System Security.

Abstract

Security properties of discrete systems can be analyzed using prime constraints, which are related to prime implicants in switching theory. Prime constraints can be generated from nonprocedural transition specifications such as those commonly used in security kernel design and verification techniques. A security test similar to the*-property is derived. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Oct 01, 1978
Accession Number
ADA059728

Entities

People

  • Jonathan K. Millen

Organizations

  • MITRE Corporation

Tags

Communities of Interest

  • Cyber

DTIC Thesaurus Topics

  • Air Force
  • Computer Programs
  • Computers
  • Contracts
  • Cybersecurity
  • Engineering
  • Government Procurement
  • Information Security
  • Language
  • Machine Languages
  • Security
  • Simulations
  • System Software
  • Systems Engineering
  • Trojan Horse
  • Unauthorized Disclosure
  • United States

Fields of Study

  • Computer science

Readers

  • Applied Combinatorial Optimization and Logic Circuit Design.
  • Government and Public Administration Law.
  • Mathematical Modeling and Probability Theory.