Design of a Security Kernel for the PDP-11/45.
Abstract
28-73-C-0001AF-522BESDTR-73-294*Central processing units, *Security, *Computer programming, Memory devices, Input output devicesPDP-11/45 computers, Computer security, DesignThe paper presents the design of a kernel for secure computer systems to be 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. The kernel design is intended to support systems of limited generality, rather than a general purpose system. The initial systems to be built on the 11/45 will be a front-end (communications) processor for a secure central computer and a query system for a secure multilevel data base. (Author)
Document Details
- Document Type
- Technical Report
- Publication Date
- Dec 01, 1973
- Accession Number
- AD0772808
Entities
People
- W. L. Schiller
Organizations
- MITRE Corporation