Read news on PSOS with our app.
Read more in the app
The foundations of a provably secure operating system (PSOS) (1979) [pdf]