PSOS Revisited

Peter G. Neumann; Richard J. Feiertag

doi:10.1109/CSAC.2003.1254326

Computer Security Applications Conference, Annual

PSOS Revisited

Year: 2003, Pages: 208

DOI Bookmark: 10.1109/CSAC.2003.1254326

Authors

Peter G. Neumann, SRI International
Richard J. Feiertag, Cougaar Software, Inc.

Abstract

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.

Like what you’re reading?

Already a member?

Get this article FREE with a new membership!

Software reuse myths revisited
Proceedings of 16th International Conference on Software Engineering
Implementing Quantum-Behaved Particle Swarm Optimization Algorithm in FPGA for Embedded Real-Time Applications
Convergence Information Technology, International Conference on
Grouping with bias revisited
Proceedings of the 2004 IEEE Computer Society Conference on Computer Vision and Pattern Recognition, 2004. CVPR 2004.
A Hybrid Improved Particle Swarm Optimization Based on Dynamic Parameters Control and Metropolis Accept Rule Strategy
Genetic and Evolutionary Computing, International Conference on
Using SDL in embedded systems design: a tool for generating real-time OS pSOS based embedded systems applications software
Proceedings of 11th IEEE Workshop on Real-Time Operating Systems and Software
Using pSOS/sup +/ for embedded real-time computing
1990 Thirty-Fifth IEEE Computer Society International Conference on Intellectual Leverage
Pervasive Computing Revisited
IEEE Pervasive Computing
The SQL StandarD: How it Happened
IEEE Annals of the History of Computing
The foundations of a provably secure operating system (PSOS)
1979 International Workshop on Managing Requirements Knowledge

PSOS Revisited

Authors

Abstract

Related Articles