The Design and Specification of a Security Kernel for the PDP-11/45,

Abstract

This paper presents the design of a kernel for certifiably secure computer systems being built on the Digital Equipment Corporation PDP-11/45. The design applies a general purpose mathematical model of secure computer systems to an off-the-shelf computer. An overview of the model is given. The paper includes a specification of the design that will be the basis for a rigorous proof of the correspondence between the model and the design. This design and implementation has demonstrated the technical feasibility of the security kernel approach for designing secure computer systems.

Document Details

Document Type
Technical Report
Publication Date
May 01, 1975
Accession Number
ADA011712

Entities

People

  • W. L. Schiller

Organizations

  • MITRE Corporation

Tags

DTIC Thesaurus Topics

  • Computers
  • Mathematical Models
  • Models
  • Security
  • Specifications

Fields of Study

  • Computer science
  • Engineering
  • Mathematics

Readers

  • Cybersecurity.
  • Parallel and Distributed Computing.
  • Software Engineering