KSOS—The design of a secure operating system

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.