Answers are grounded in this paper and cite their sources.
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.
No takes yet. Share an insight, caveat, or question.
Neumann et al. (2004) studied this question.
Synapse has enriched 8 closely related papers on similar clinical questions. Consider them for comparative context: