An abstract from “Security Controls for Computer Systems (U): Report of Defense Science Board Task Force on Computer Security”

With the advent of resource-sharing computer systems that distribute the capabilities and components of the machine configuration among several users or several tasks, a new dimension has been added to the problem of safeguarding computer-resident classified information. The basic problems associated with machine processing of classified information are not new. Read more…

An abstract form: “The Design and Specification of a Security Kernel for the PDP-11/45”

This paper presents the design of a kernel for certifiably secure computer systems being 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. An overview of the model is given. The paper includes a specification of Read more…