LCS Publication Details
Publication Title: ANCILLARY REPORTS: KERNEL DESIGN PROJECT
Publication Author: Clark, David D.
Additional Authors:
LCS Document Number: MIT-LCS-TM-087
Publication Date: 6-1-1977
LCS Group: No Group Specified
Additional URL: No URL Given
Abstract:
For the past three years, the Computer Systems Research Division of the Laboratory for Computer Science has performed a series of engineering studies on the Multics operating system. The goal was to demonstrate the feasibility of producing a version of a full function general purpose operating system with a "security kernel" simple enough that its correct operating can be certified by some form of auditing.
To obtain this publication:

    To purchase a printed copy of this publication please contact MIT Document Services.