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
      Computer Hardware

Distribution Statement : APPROVED FOR PUBLIC RELEASE