Accession Number : ADA111705
Title : KSOS System Specification (Type A) (Kernelized Secure Operating System).
Corporate Author : FORD AEROSPACE AND COMMUNICATIONS CORP PALO ALTO CA WESTERN DEVELOPMENT LABS DIV
PDF Url : ADA111705
Report Date : Nov 1980
Pagination or Media Count : 37
Abstract : This specification establishes the performance, design, development and test requirements for the Kernelized Secure Operating System (referred to as 'KSOS'). KSOS provides a provably secure, resource-sharing operating system compatible with the standard user environment provided by UNIX. This specification is organized as follows. Section 2 contains the referenced document citations. Section 3 contains the design requirements for KSOS. Section 4 contains the quality assurance provisions for KSOS.
Descriptors : *Computer programs, *Minicomputers, *Data processing security, Specifications, Data bases, Computer files, Military requirements, Department of Defense, Interfaces
Subject Categories : Computer Programming and Software
Distribution Statement : APPROVED FOR PUBLIC RELEASE