Accession Number:

ADA053148

Title:

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

Descriptive Note:

Technical rept.

Corporate Author:

MITRE CORP BEDFORD MA

Personal Author(s):

Report Date:

1978-03-01

Pagination or Media Count:

116.0

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.

Subject Categories:

  • Computer Programming and Software
  • Computer Hardware

Distribution Statement:

APPROVED FOR PUBLIC RELEASE