Computer Program Specification for Security Kernel for PDP-11/45. Volume 1

Abstract

This report presents the Type C5, Computer Program Product Specification for the Security Kernel for the PDP-11/45. It specifies the configuration information that fully describes the Security Kernel as an established program product. A detailed description of each individual function of the program is given. Also included are the requirements which provide the basis for development of verification procedures and a section of informal notes for the potential user. Flow charts are included in an addenda to this report for the convenience of the reader. A complete listing of the Security Kernel program is presented in Section 10, Volume II.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Apr 01, 1978
Accession Number
ADA054247

Entities

People

  • S. R. Harper

Organizations

  • MITRE Corporation

Tags

Communities of Interest

  • Cyber
  • Weapons Technologies

DTIC Thesaurus Topics

  • Air Force
  • Air Force Facilities
  • Classification
  • Computer Access Control
  • Computer Programming
  • Computer Programs
  • Computers
  • Contracts
  • Databases
  • Formal Languages
  • Governments
  • Information Security
  • Kernel Functions
  • Language
  • Machine Languages
  • Object Code
  • Operating Systems

Fields of Study

  • Computer science

Readers

  • Business Analytics
  • International Relations and European Studies
  • Neural Network Machine Learning.