Design and Abstract Specification of a Multics Security Kernel. Volume 2

Abstract

This second volume gives a formal, top-level specification of the primary subsystems of the kernel. The specification is a definition of the input-output behavior of the kernel. It is sufficiently detailed to allow its security, compatibility, and efficiency to be determined.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Mar 01, 1978
Accession Number
ADA053148

Entities

People

  • P. T. Withington

Organizations

  • MITRE Corporation

Tags

DTIC Thesaurus Topics

  • Abstracts
  • Security
  • Specifications

Fields of Study

  • Computer science

Readers

  • Business Analytics
  • Cybersecurity.
  • Petroleum Engineering