| Computer Science Laboratory | |
| Contact | |
 | People at CSL |
| Projects at CSL |
| Research Programs |
| Division Home | |
 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
©
2025 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy