Final Report of the Multics Kernal Design Project

Author(s)
Schroeder, Michael D.; Clark, David D.; Saltzer, Jerome H.; Wells, D.H.
Thumbnail
DownloadMIT-LCS-TR-196.pdf (3.330Mb)
Advisor
Clark, D.D.
Saltzer, J.H.
Wells, D.
Metadata
Show full item record
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.
Date issued
1978-03
URI
https://hdl.handle.net/1721.1/149485
Series/Report no.
MIT-LCS-TR-196
Collections