Multics Security Kernel Top Level Specification.

Abstract

This report presents results of initial engineering investigations into the development of a top-level specification of a security kernel for Multics. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Nov 01, 1976
Accession Number
ADA060000

Entities

People

  • Jerry Stern

Organizations

  • Honeywell International, Inc.

Tags

Communities of Interest

  • C4I

DTIC Thesaurus Topics

  • Abstracts
  • Air Force
  • Capillary Electrophoresis
  • Computer Access Control
  • Computers
  • Cybersecurity
  • Engineering
  • Government Procurement
  • Information Systems
  • Instruction Set Architecture
  • Kernel Functions
  • Language
  • Mathematical Models
  • Multiple Access
  • Operating Systems
  • Systems Engineering
  • Word Processors

Fields of Study

  • Computer science