KSOS—Development methodology for a secure operating system
- 1 June 1979
- conference paper
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE) in 1979 International Workshop on Managing Requirements Knowledge (MARK)
Abstract
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."Keywords
This publication has 10 references indexed in Scilit:
- UNIX Time-Sharing System: The Programmer's WorkbenchBell System Technical Journal, 1978
- The programmer's workbench—a machine for software developmentCommunications of the ACM, 1977
- Proof techniques for hierarchically structured programsCommunications of the ACM, 1977
- Security Kernel validation in practiceCommunications of the ACM, 1976
- Design and code inspections to reduce errors in program developmentIBM Systems Journal, 1976
- The source code control systemIEEE Transactions on Software Engineering, 1975
- The UNIX time-sharing systemCommunications of the ACM, 1974
- A technique for software module specification with examplesCommunications of the ACM, 1972
- Proof of Correctness of Data RepresentationsPublished by Springer Science and Business Media LLC ,1972
- An axiomatic basis for computer programmingCommunications of the ACM, 1969