SECURITYMay 18 · 09:40 UTCHACKER NEWSrurban

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.

Nexus surfaces and summarizes. The full story lives at the source.

Mentioned

SRI InternationalorganizationPeter G. NeumannpersonPSOStopicY Combinatororganization

Spot something wrong with this article?Report a problem →

Forward this