KSOS—Development methodology for a secure operating system
Thomas A. Berson, Gerald Leonard Barksdale · 1979 International Workshop on Managing Requirements Knowledge (MARK) · 1979
The goal of the Department of Defense Kemelized Secure Operating System (KSOS) project is to design, implement and prove a secure operating system. Specifically, it is desired that KSOS be designed and proven to enforce a security model, derived from the security practices of the Department of Defense, referred to as "multilevel security".