We are experiencing some difficulties with our submission forms, which we are working to resolve. If you have any issues, please contact us at dspace-lib@mit.edu.

Final Report of the Multics Kernal Design Project

Thumbnail Image
Download
Name

MIT-LCS-TR-196.pdf

Size

3.33 MB

Format

Adobe PDF

Checksum (MD5)

2f19ef4477f701821c52277326b78191

Author(s)
Schroeder, Michael D.
•
Clark, David D
•
Saltzer, Jerome H.
•
Wells, D.H.
Advisor(s)
Clark, D.D.
Saltzer, J.H.
Wells, D.
Date Issued
March 1978
Series/Report no.
MIT-LCS-TR-196
Abstract
We describe a plan to create an auditable version of Multics. The engineering experiments of that plan are now complete. Type extension as a design discipline has been demonstrated feasible, even for the internal workings of an operating system, where many subtle intermodule dependencies were discovered and controlled.
Persistent DSpace Link
PrivacyPermissionsAccessibilityContact us
Notify us about copyright concerns.