loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
19th Annual Computer Security Applications Conference (ACSAC '03)
PSOS Revisited
Las Vegas, Nevada
December 08-December 12
ISBN: 0-7692-2041-3
ASCII Text
x 
 
Peter G. Neumann, Richard J. Feiertag, "PSOS Revisited," Computer Security Applications Conference, Annual, pp. 208, 19th Annual Computer Security Applications Conference (ACSAC '03), 2003.
 
 
BibTex
x
 
@article{ 10.1109/CSAC.2003.1254326,
author = {Peter G. Neumann and Richard J. Feiertag},
title = {PSOS Revisited},
journal ={Computer Security Applications Conference, Annual},
volume = {0},
year = {2003},
issn = {1063-9527},
pages = {208},
doi = {http://doi.ieeecomputersociety.org/10.1109/CSAC.2003.1254326},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Computer Security Applications Conference, Annual
TI - PSOS Revisited
SN - 1063-9527
SP
EP
A1 - Peter G. Neumann,
A1 - Richard J. Feiertag,
PY - 2003
KW - null
VL - 0
JA - Computer Security Applications Conference, Annual
ER -
 
Peter G. Neumann, SRI International
Richard J. Feiertag, Cougaar Software, Inc.
This paper provides 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.
Citation:
Peter G. Neumann, Richard J. Feiertag, "PSOS Revisited," acsac, pp.208, 19th Annual Computer Security Applications Conference (ACSAC '03), 2003
Usage of this product signifies your acceptance of the Terms of Use.