DocumentCode
2415700
Title
PSOS revisited
Author
Neumann, Peter G. ; Feiertag, Richard J.
Author_Institution
Comput. Sci. Lab., SRI Int., Menlo Park, CA, USA
fYear
2003
fDate
8-12 Dec. 2003
Firstpage
208
Lastpage
216
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Security Applications Conference, 2003. Proceedings. 19th Annual
Print_ISBN
0-7695-2041-3
Type
conf
DOI
10.1109/CSAC.2003.1254326
Filename
1254326
Link To Document