Design of a Security Kernel for the PDP-11/45.
MITRE CORP BEDFORD MASS
Pagination or Media Count:
28-73-C-0001AF-522BESDTR-73-294Central processing units, Security, Computer programming, Memory devices, Input output devicesPDP-1145 computers, Computer security, DesignThe paper presents the design of a kernel for secure computer systems to be 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. 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 1145 will be a front-end communications processor for a secure central computer and a query system for a secure multilevel data base. Author
- Computer Programming and Software
- Computer Hardware