The Design and Specification of a Security Kernel for the PDP-11/45,
MITRE CORP BEDFORD MASS
Pagination or Media Count:
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.
- Computer Programming and Software
- Computer Hardware
- Computer Systems Management and Standards