The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
PSOS revisited
The work
| Authors | Peter G. Neumann; Richard J. Feiertag |
|---|---|
| Editors | |
| Type | misc |
| Year | 2003 |
| Also known as | neumann2004psos |
| Citekey | neumann2003psos |
Where it appeared
| Published in | Annual Computer Security Applications Conference |
|---|---|
| Pages | 208--216 |
Identifiers
| DOI | 10.1109/csac.2003.1254326 |
|---|---|
| OpenAlex | W2294026709 |
Access
| Landing page | https://doi.org/10.1109/csac.2003.1254326 |
|---|
From OpenAlex, which stores abstracts as an index of words and their positions: what is shown is rebuilt from that, and reads fluently whether or not it is what the author wrote.
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.
How it got here
| How it got here | agent via openalex |
|---|---|
| Added | 2026-10-25 15:55 UTC |
| Not denied by | a person 2026-10-29 17:12 UTC |
Filed under
Cite it as
@misc{neumann2003psos,
title = {PSOS revisited},
author = {Peter G. Neumann and Richard J. Feiertag},
year = {2003},
journal = {Annual Computer Security Applications Conference},
pages = {208--216},
doi = {10.1109/csac.2003.1254326},
}
This record lives at https://refs.drheap.org/neumann2003psos/ and will keep
doing so. It used to be called neumann2004psos, and those addresses still resolve to this one.