Skip to content
The Nexus
DossierENTITY

Peter G. Neumann

Coverage of Peter G. Neumann in the Nexus archive.

Earliest in view: May 18 · 09:40 UTCMost recent: Jul 6 · 09:30 UTC
Co-mentioned in this coverage
KSOStopic1U.S. Department of Defenseorganization1The Unix Heritage Societyorganization1Modulatopic1seL4 microkerneltopic1Ford Aerospaceorganization1Tom Perrineperson1SRI Internationalorganization1PSOStopic1Y Combinatororganization1
Recent coverage
  • TECHNOLOGYJul 6 · 09:30 UTCTHE REGISTER
    Secure Unix ancestor KSOS did type safety before Rust made it cool

    KSOS, a Unix-compatible operating system developed in the late 1970s and 1980s with US Department of Defense backing, used a type-safe programming language (Modula) and was designed for formal verification. Its source code, now publicly available via The Unix Heritage Society, highlights its modern security features and historical significance compared to contemporary systems like seL4 and Rust-based projects.

  • 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.