Computer Program Specification for the Security Kernel for the PDP-11/45, Program Listing. Volume II.

Abstract

This volume is Section 10, Program Listing, of the basic document. It contains a complete listing of all computer program components (CPC's) that comprise the Security Kernel for the PDP-11/45. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Oct 01, 1976
Accession Number
ADA034220

Entities

People

  • S. R. Harper

Organizations

  • MITRE Corporation

Tags

DTIC Thesaurus Topics

  • Air Force
  • Air Force Facilities
  • Computer Programs
  • Computers
  • Contracts
  • Corporations
  • Governments
  • Intellectual Property
  • Language
  • Plastic Explosives
  • Security
  • Specifications
  • United States

Fields of Study

  • Computer science

Readers

  • Computer Science.
  • Software Engineering.