Initial Structured Specifications for an Uncompromisable Computer Security System

Abstract

This report comprises a high level design for a Security Kernel of an operating system which is currently being investigated by the Air Force. This operating system will provide a sophisticated time-sharing mode of operation with a large shared-file environment to a user community comprised of individuals of various clearances. The specifications of the Security Kernel are developed through a series of successively more complex models which are used to specify the system in increasing detail. The first specification defines in general what it means to say that a system is uncompromisable or that there can be no unauthorized disclosure of information. Subsequent models introduce directory structure, interprocess communication, file and process attributes, and other system functions. Using this approach, we can discuss various design issues related to security in an orderly and straightforward manner.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jul 01, 1975
Accession Number
ADA022490

Entities

People

  • D. D. Schaeffer
  • J. M. Gilligan
  • K. G. Walter
  • S. I. Schaen
  • W. F. Ogden

Organizations

  • Case Western Reserve University

Tags

Communities of Interest

  • C4I
  • Cyber

DTIC Thesaurus Topics

  • Abstracts
  • Air Force
  • Classification
  • Computers
  • Cybersecurity
  • Government Procurement
  • Governments
  • Information Processing
  • Information Science
  • Information Security
  • Information Systems
  • Information Transfer
  • Mathematical Models
  • Models
  • Operating Systems
  • Security
  • Unauthorized Disclosure

Fields of Study

  • Computer science

Readers

  • Computer Science.
  • Cybersecurity.
  • Software Engineering

Technology Areas

  • Cyber