Security Kernel Specification for a Secure Communications Processor

Abstract

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

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Sep 01, 1976
Accession Number
ADA045452

Entities

People

  • C. H. Bonneau

Organizations

  • Honeywell International, Inc.

Tags

DTIC Thesaurus Topics

  • Communication Systems
  • Communications Techniques
  • Midrange Computers
  • Secure Communications
  • Security
  • Specifications

Fields of Study

  • Computer science

Readers

  • Computer Science.
  • Cybersecurity.