Accession Number:

ADA037302

Title:

Probabilistic Measures of Compromise

Descriptive Note:

Final rept.

Corporate Author:

HONEYWELL INFORMATION SYSTEMS INC MCLEAN VA FEDERAL SYSTEM OPERATIONS

Personal Author(s):

Report Date:

1976-01-01

Pagination or Media Count:

62.0

Abstract:

This report describes the results of a trade-off study in which candidate methodologies for verification of a secure minicomputer hardware design were evaluated. Three verification elements appropriate to the problem were developed 1 probabilistic measurement of security compromise due to hardware failure, 2 logic design certification, and 3 production hardware security criteria. The trade-off techniques included evaluations of technical characteristics and cost effectiveness of both manual and computer aided analysis techniques. The architectures for two computer logic design simulators are described and evaluated. This report contains recommended verification methodologies suitable for a MULTICS compatible security front-end processor. Author

Subject Categories:

  • Computer Hardware
  • Non-Radio Communications

Distribution Statement:

APPROVED FOR PUBLIC RELEASE