A Provably Secure Operating System.

Abstract

This report summarizes work to date toward the development of a provable secure operating system. Discussed here are: (1) a methodology for the design, implementation, and proof of properties of large computing systems, (2) design of a secure operating system using this methodology, (3) the security properties to be proven about this system, (4) considerations for implementing such a system, and (5) an approach to monitoring security and performance.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jun 13, 1975
Accession Number
ADA088601

Entities

People

  • A. R. Saxena
  • K. N. Levitt
  • L. Robinson
  • P. G. Neumann
  • R. S. Boyer

Organizations

  • SRI International

Tags

Communities of Interest

  • C4I

DTIC Thesaurus Topics

  • Algorithms
  • Artificial Intelligence
  • Computer Program Documentation
  • Computer Program Reliability
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Information Processing
  • Language
  • Operating Systems
  • Plastic Explosives
  • Programming Languages
  • Software Development
  • Structured Programming
  • Trojan Horse
  • Virtual Machines

Fields of Study

  • Computer science
  • Mathematics

Readers

  • Distributed Systems and Data Platform Development
  • Software Engineering.