Accession Number : AD0772808

Title :   Design of a Security Kernel for the PDP-11/45.

Descriptive Note : Technical rept.,

Corporate Author : MITRE CORP BEDFORD MASS

Personal Author(s) : Schiller,W. L.

Report Date : DEC 1973

Pagination or Media Count : 79

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)

Descriptors :   *CENTRAL PROCESSING UNITS, *SECURITY, *COMPUTER PROGRAMMING, MEMORY DEVICES, INPUT OUTPUT DEVICES

Subject Categories : Computer Programming and Software
      Computer Hardware

Distribution Statement : APPROVED FOR PUBLIC RELEASE