Probabilistic Measures of Compromise
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)
Document Details
- Document Type
- Technical Report
- Publication Date
- Jan 01, 1976
- Accession Number
- ADA037302
Entities
People
- George A. Kilgore
Organizations
- Honeywell International, Inc.