KSOS Final Report (Kernelized Secure Operating System).

Abstract

This document, the Kernelized Secure Operating System (KSOS) Final Report, describes work performed by Ford Aerospace and Communications Corporation (FACC) and its subcontractor SRI International. The work was funded by various DoD agencies. It contains a description of the goals, evolution, and results of the KSOS program, an introduction to the structure of KSOS, a description of the approach, an exposition of the accomplishments, and a review of experience gained from participation in the program.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Aug 01, 1981
Accession Number
ADA111566

Tags

Communities of Interest

  • Cyber
  • Human Systems
  • Space

DTIC Thesaurus Topics

  • Application Protocols
  • Communication Channels
  • Computer Networks
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Databases
  • Debugging
  • Information Science
  • Network Protocols
  • Object Code
  • Operating Systems
  • Programming Languages
  • Software Development
  • Software Testing
  • System Software

Readers

  • Cybersecurity.
  • Systems Analysis and Design

Technology Areas

  • Space