The foundations of a provably secure operating system (PSOS) (1979) [pdf]

(csl.sri.com) by rurban | May 18, 2026 | 0 comments on HN