The foundations of a provably secure operating system (PSOS) (1979) [pdf]csl.sri.com
53 points by rurban 3 hours ago | 26 comments