Accession Number:

ADA011712

Title:

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

Descriptive Note:

Corporate Author:

MITRE CORP BEDFORD MASS

Personal Author(s):

Report Date:

1975-05-01

Pagination or Media Count:

117.0

Abstract:

This paper presents the design of a kernel for certifiably secure computer systems being built on the Digital Equipment Corporation PDP-1145. 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.

Subject Categories:

  • Computer Programming and Software
  • Computer Hardware
  • Computer Systems Management and Standards

Distribution Statement:

APPROVED FOR PUBLIC RELEASE