An abstract of “A Provably Secure Operating System”

Published by Juan Mosso on

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. 

References

Peter G. Neumann, L. Robinson, Karl N. Levitt, R. S. Boyer, and A. R. Saxena, A Provably Secure Operating System, M79-225, Stanford Research Institute, Menlo Park, CA 94025 (June 1975)