Info
This post is auto-generated from RSS feed Hacker News. Source: The foundations of a provably secure operating system (PSOS) (1979) [pdf]
The foundations of a provably secure operating system (PSOS) (1979) [pdf]
⚓ IT 📅 2026-05-18 👤 surdeus 👁️ 2