A Provably Secure Operating System

  title={A Provably Secure Operating System},
  author={Lucy C Robinson and Karl N. Levitt and Robert S. Boyer and A. Rekha},
This report summarizes work to date toward the development of a provably secure operating system. Discussed here are • a methodology for the design, implementation, and proof of properties of large computing systems, • the design of a secure operating system using this methodology, • the security properties to be proven about this system, • considerations for implementing such a system, and • an approach to monitoring security and performance. 
Highly Influential
This paper has highly influenced 13 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 135 citations. REVIEW CITATIONS
84 Extracted Citations
53 Extracted References
Similar Papers

Citing Papers

Publications influenced by this paper.
Showing 1-10 of 84 extracted citations

135 Citations

Citations per Year
Semantic Scholar estimates that this publication has 135 citations based on the available data.

See our FAQ for additional information.

Referenced Papers

Publications referenced by this paper.
Showing 1-10 of 53 references

A Minicomputer Security Control System, COMPCON, pp

  • S. B. Lipner
  • 1974

Approaches to Automatic Pro­ gramming (Ph.D

  • J. M. Spitzen
  • Thesis), Center for Research in Com­ puting…
  • 1974

Capability-Based Addressing 1-21 to Support Software Engineering and System Security," Third Texas Con£

  • T. A. Linden
  • 1974

Commands, Non­ Determinacy and a Calculus for the Derivation of Programs,

  • E. W. Dijkstra, Guarded
  • Nuenen, the Netherlands (June
  • 1974

Cosserat, A Data Model Based on the Capability Protection Mechanism

  • D C.
  • Proc. Workshop on Protection in Operating Systems…
  • 1974

Similar Papers

Loading similar papers…