Accession Number:

ADA059728

Title:

Causal System Security.

Descriptive Note:

Technical rept.,

Corporate Author:

MITRE CORP BEDFORD MASS

Personal Author(s):

Report Date:

1978-10-01

Pagination or Media Count:

32.0

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

Subject Categories:

  • Computer Programming and Software
  • Computer Hardware
  • Computer Systems Management and Standards

Distribution Statement:

APPROVED FOR PUBLIC RELEASE