KSOS—The design of a secure operating system
Edwin J. McCauley, Paul J. Drongowski · 1979 International Workshop on Managing Requirements Knowledge (MARK) · 1979
This paper discusses the design of the Department of Defense (DoD) Kemelized Secure Operating System (KSOS, formerly called Secure UNIX). ** KSOS is intended to provide a provably secure operating system for larger minicomputers. KSOS will provide a system call interface closely compatible with the UNIX operating system. The initial implementation of KSOS will be on a Digital Equipment Corporation PDP-11/70 computer system. A group from Honeywell is also proceeding with an implementation for a modified version of the Honeywell Level 6 computer system.