Semi-Formal Description of KVM/370 Trusted Processes

Abstract

This document contains a semi-formal description of the trusted processes of the kernelized VM/370 operating system.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Dec 09, 1977
Accession Number
ADA109318

Entities

People

  • D. H. Thompson

Organizations

  • System Development Corporation

Tags

DTIC Thesaurus Topics

  • Accounting
  • Attachment
  • Availability
  • Corporations
  • Databases
  • Directories
  • Operating Systems
  • Security
  • Volume