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

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Nov 01, 1980
Accession Number
ADA111705

Tags

Communities of Interest

  • Human Systems
  • Space

DTIC Thesaurus Topics

  • Application Software
  • Classified Materials
  • Computer Networks
  • Computer Programming
  • Computer Programs
  • Computers
  • Contractors
  • Cybersecurity
  • Department Of Defense
  • Governments
  • Language
  • Magnetic Tape
  • Maintenance
  • Operating Systems
  • Reliability
  • User Interface
  • Web Browsers

Fields of Study

  • Computer science

Readers

  • Computer Science.
  • Marksmanship and Weaponry.
  • Software Engineering.