Top Level Specification of a Security Kernel for Multics Front-End Processor

Abstract

A security kernel is a combination of hardware and software that controls access to information within a computer system. The top level specification is a formal description of the interfaces between the security kernel and nonkernel software, and used in providing the correctness of the kernel with respect to security requirements. The specification ultimately becomes the criterion against which the correctness of the implementation is verified. This report gives the top level specifications of a security kernel for the front-end processor for a secure Multics system. The hardware configuration that will support secure Multics is a Honeywell Series 60 (Level 68) mainframe with a Level 6 minicomputer as the front-end processor. A separate report deals with the Multics security kernel.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Nov 01, 1977
Accession Number
ADA047309

Entities

People

  • M. Gasser

Organizations

  • MITRE Corporation

Tags

DTIC Thesaurus Topics

  • Computers
  • Front End Processors
  • Mainframe Computers
  • Midrange Computers
  • Security
  • Specifications

Fields of Study

  • Computer science

Readers

  • Cybersecurity.
  • Database Systems and Applications