SRI Logo
About Us|R and D Divisions|Careers|Newsroom|Contact Us|SRI Home
     
  SRI Logo

The foundations of a provably secure operating system (PSOS)
 by Dr. Peter Neumann & Richard J. Feiertag.

Abstract
PSOS has been designed according to a set of formal techniques embodying the SRI Hierarchical Development Methodology (HDM). HDM has been described elsewhere, 1-3 and thus is only summarized here. The influence of HDM on the security of PSOS I also discussed elsewhere.4 In addition, Linden5 gives a general discussion of the impact of structured design techniques on the security of operating systems (including capability systems)
Files
 













 

About Us  |  R&D Divisions  |  Careers  |  Newsroom  |  Contact Us
© 2017 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy