Analysis of the Hardware Verification of the Honeywell SCOMP

Abstract

An analysis of the verification approach used for the SCOMP hardware is presented herein. Although the SCOMP approach is informal it is extensive and thorough. In general, it provides sufficient evidence to conclude that the SCOMP hardware forms a sound basis for the development of a security kernel. However, the SCOMP approach presents a number of problems… (More)
DOI: 10.1109/SP.1985.10010

3 Figures and Tables

Topics

  • Presentations referencing similar topics