Abstract

The Department of Defense Computer Security Center DoDCSC has evaluated the security mechanisms of the Honeywell Secure Communications Processor SCOMP SCOMP Trusted Operating Program STOP Release 2.1. This evaluation was completed using the requirements of the Department of Defense Trusted Computer System Evaluation Criteria the Criteria dated 15 August 1983. The DoDCSC has determined that the SCOMP STOP Release 2.1 satisfies all the requirements of the Criteria Class A1 and therefore SCOMP STOP Release 2.1 has been assigned a Class A1 rating. The Class A1 rating implies that the system provides mandatory labeled protection as well as discretionary need-to-know protection. The system does extensive auditing, and provides an unforgeable trusted communication path between the users and the system. The distinguishing characteristic of this class is the assurance derived from formal specification and verification of the security mechanisms. This class of systems has been subjected to extensive testing and all implementation flaws discovered during testing have been corrected. However, no guarantee is made that the system is free of all implementation flaws.

Date

September 23, 1985

Authors

Steven J Padilla, Terry Benzel