KSOS System Specification (Type A) (Kernelized Secure Operating System).

reportActive / Technical Report | Accession Number: ADA111705 | Open PDF

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.

Author(s):
No Author(s) Identified
Author Organization(s):
FORD AEROSPACE AND COMMUNICATIONS CORP PALO ALTO CA WESTERN DEVELOPMENT LABS DIV
Supplementary Note:
Report on Secure Minicomputer Operating System.
Pagination:
0037

Security Markings

DOCUMENT & CONTEXTUAL SUMMARY

Distribution:
Approved For Public Release

RECORD

Collection: TR
Identifying Numbers
Report Number(s):
WDL-TR7808-REV-2
Contract/Grant Number(s):
MDA903-77-C-0333
 Subject Terms
Joint Capability Areas:
JCA_6_Net Centric; JCA_4.7.2_Installation Services; JCA_4.7_Base and Installations Support; JCA_6.4.1_Secure Information Exchange; JCA_4.6.1_General Engineering; JCA_4.6_Engineering; JCA_6.1.3_Switching and Routing; JCA_6.1_Information Transport; JCA_5_Command and Control; JCA_6.4_Information Assurance; JCA_1_Force Support; JCA_4.3_Maintain; JCA_5.4.3_Establish Rule Sets; JCA_5.4_Decide; JCA_1.2_Force Preparation; JCA_5.3_Planning; JCA_1.2.6_Concepts; JCA_1.3_Human Capital Management; JCA_1.3.1_Personnel and Family Support; JCA_6.3_Net Management; JCA_6.2_Enterprise Services
Modernization Areas:
Quantum Science and Computing
Communities of Interest:
Space
Descriptor(s):
*Computer programs, *Minicomputers, *Data processing security, Specifications, Data bases, Computer files, Military requirements, Department of Defense, Interfaces
Field(s)/Group(s):
Computer Programming and Software, Computer Hardware
Keyword(s):
KSOS(Kernelized Secure Operating System) program, UNIX operating system, Operating systems(Computers)
Report Date:
1980 Nov 01