Verifiable Systems / Xerox / Honeywell Information Systems Inc. / M.D. D. / /
Facility
MASSACHUSETTS INSTITUTE OF TECHNOLOGY LABORATORY FOR COMPUTER SCIENCE CAMBRIDGE MASSACHUSETTS / Xerox Palo Alto Research Center / /
IndustryTerm
security kernel technology / /
OperatingSystem
MULTICS / /
Organization
MASSACHUSETTS INSTITUTE OF TECHNOLOGY LABORATORY FOR COMPUTER SCIENCE CAMBRIDGE MASSACHUSETTS / Air Force / Department of Defense / Air Force Information Systems TecbnololY Applications Office / MIT / /
Person
H. Schroeder / D. Clark Jerome / Clark Saltzer Wells June / Michael D. Schroeder David / David D. Clark / /
Position
system designer / central supervisor / supervisor / D. J. / auditor / integrity auditor / Multics supervisor / /
ProgrammingLanguage
PL/I / /
ProvinceOrState
California / Massachusetts / /
Technology
security kernel technology / PL/I / operating system / Operating Systems / /