Secure Communications Processor (SCOMP). STOP Release 2.1

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Sep 23, 1985
Accession Number
ADA229523

Entities

People

  • Steven J. Padilla
  • Terry Benzel

Organizations

  • United States Department of Defense

Tags

Communities of Interest

  • Human Systems

DTIC Thesaurus Topics

  • Abstracts
  • Authentication
  • C Programming Language
  • Central Processing Units
  • Communication Channels
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Configuration Management
  • Cybersecurity
  • Department Of Defense
  • Operating Systems
  • Security
  • System Software
  • Test And Evaluation
  • Verification

Fields of Study

  • Computer science

Readers

  • Cybersecurity.
  • Software Engineering

Technology Areas

  • Cyber