Accession Number:

ADA045452

Title:

Security Kernel Specification for a Secure Communications Processor

Descriptive Note:

Corporate Author:

HONEYWELL INC ST PETERSBURG FL

Personal Author(s):

Report Date:

1976-09-01

Pagination or Media Count:

149.0

Abstract:

This report presents a formal top level interface specification of a kernel for a secure communications processor based on a Honeywell Level 640 minicomputer enhanced with a security protection module SPM.

Subject Categories:

  • Computer Programming and Software
  • Computer Hardware
  • Non-Radio Communications

Distribution Statement:

APPROVED FOR PUBLIC RELEASE