M.I.T. LABORATORY / Xerox / Verifiable Systems / Honeywell Information Systems Inc. / MITRE Corporation / /
Facility
Air Force Data Services Center / M.I.T. Laboratory / J. H. Saltzer Massachusetts Institute of Technology Room NE43-505 / Michael D. Schroeder* David D. Clark Jerome H. Saltzer Massachusetts Institute of Technology Laboratory / Purdue University / Square Cambridge / LABORATORY FOR COMPUTER SCIENCE Computer Systems Research Division March / /
Advanced Research Projects Agency / M.I.T / Institute of Technology Room NE43-505 / Air Force Information Systems Technology Applications Office / Air Force Data Services Center / Air Force / Massachusetts Institute of Technology / Department of Defense / Air Force Electronics Systems Division / Purdue University / Michael D. Schroeder* David D. Clark Jerome H. Saltzer Massachusetts Institute of Technology Laboratory for Computer Science Draft / /
Person
Michael D. Schroeder / Certify / David D. Clark / Jerome H. Saltzer / / /
Position
object manager / author / supervisor / manager modules works / integrity auditor / Multics supervisor / central supervisor / auditor / compartment model / manager module / /
Product
C-0193 / /
ProgrammingLanguage
PL/I / /
ProvinceOrState
Indiana / California / /
Technology
security kernel technology / flow control / PL/I / operating system / manually assisted program verification technology / Operating Systems / -505 545 Technology / /