Multics Security Kernel Validation: Proof Description. Volume I,

Abstract

A major step in the design of a system intended to support multilevel operation is the demonstration that the design is secure. One methodology for demonstrating security is to define (model) a security policy and mathematically verify that the design adheres to that policy. The first step in the design process, after the model, is a rigorous but abstract specification of the system. This paper was written to demonstrate the security of the top level specification for Multics security kernel. Security is demonstrated by a rigorous proof that the abstract specifications correspond to the model. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jul 01, 1978
Accession Number
ADA056901

Entities

People

  • D. K. Kallman
  • S. R. Ames

Organizations

  • MITRE Corporation

Tags

Communities of Interest

  • Cyber
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Air Force
  • Air Force Facilities
  • Artificial Intelligence
  • Computer Access Control
  • Computer Science
  • Computers
  • Cybersecurity
  • Department Of Defense
  • Government Procurement
  • Governments
  • Language
  • Mathematical Models
  • Models
  • Operating Systems
  • Robotics
  • Software Development
  • Standards

Fields of Study

  • Computer science
  • Mathematics

Readers

  • Computational Modeling and Simulation
  • Cybersecurity.
  • Mathematical Modeling and Probability Theory.