DossierENTITY

PSOS

Coverage of PSOS in the Nexus archive.

Earliest in view: May 18 · 09:40 UTCMost recent: May 18 · 09:40 UTC

Co-mentioned in this coverage

Recent coverage

SECURITYMay 18 · 09:40 UTCHACKER NEWS
The foundations of a provably secure operating system (PSOS) (1979) [pdf]
The article discusses a provably secure operating system from 1979, with a link to a PDF and comments section. The system is referred to as PSOS. It has 15 points and 1 comment.