Accession Number:

ADA088601

Title:

A Provably Secure Operating System.

Descriptive Note:

Final rept.,

Corporate Author:

STANFORD RESEARCH INST MENLO PARK CALIF

Report Date:

1975-06-13

Pagination or Media Count:

331.0

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.

Subject Categories:

  • Computer Programming and Software
  • Computer Hardware

Distribution Statement:

APPROVED FOR PUBLIC RELEASE