Author :
Neumann, Peter G. ; Feiertag, Richard J.
Author_Institution :
Comput. Sci. Lab., SRI Int., Menlo Park, CA, USA
Abstract :
We provide a retrospective view of the design of SRI´s Provably Secure Operating System (PSOS), a formally specified tagged-capability hierarchical system architecture. It examines PSOS in the light of what has happened in computer system developments since 1980, and assesses the relevance of the PSOS concepts in that light.
Keywords :
formal specification; operating systems (computers); security of data; Provably Secure Operating System; formal specification; hierarchical system architecture; Application software; Computer architecture; Computer science; Data security; Hierarchical systems; Information security; Laboratories; Monitoring; Multilevel systems; Operating systems;
Conference_Titel :
Computer Security Applications Conference, 2003. Proceedings. 19th Annual
Print_ISBN :
0-7695-2041-3
DOI :
10.1109/CSAC.2003.1254326
