KSOS Computer Program Development Specifications (Type B-5). (Kernelized Secure Operating System). I. Security Kernel (CDRL 0002AF). II. UNIX Emulator (CDRL 0002AG). III. Security-Related Software (CDRL 0002AH).

Abstract

The primary purpose of this specification is to define the functional requirements for a Security Kernel to support the emulation of the standard UNIX operating system. This specification further defines the design, test, performance, and quality assurance provisions for the KSOS Security Kernel. This specification is intended to serve an additional purpose, that of defining a particular implementation of the KSOS Security Kernel on a Digital Equipment Corporation PDP-11/70 computer system. Thus, there are a number of PDP-11/70 specific points throughout the specification. For implementations of the KSOS Kernel on other hardware bases, these points should be treated as nonbinding, informative commentary.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Dec 01, 1980
Accession Number
ADA111578

Tags

Communities of Interest

  • Space

DTIC Thesaurus Topics

  • Application Software
  • Authentication
  • Computer Access Control
  • Computer Networks
  • Computer Program Documentation
  • Computer Programs
  • Computers
  • Cybersecurity
  • Databases
  • Department Of Defense
  • Device Drivers
  • Fish
  • Information Science
  • Network Protocols
  • Operating Systems
  • System Software
  • User Interface

Fields of Study

  • Computer science

Readers

  • Computer Science.
  • Manufacturing Engineering.
  • Software Engineering.