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):

Report Date:

1973-12-01

Pagination or Media Count:

79.0

Abstract:

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

Subject Categories:

  • Computer Programming and Software
  • Computer Hardware

Distribution Statement:

APPROVED FOR PUBLIC RELEASE