C csl.sri.com The foundations of a provably secure operating system (PSOS) (1979) [pdf] 130 points rurban 5 months ago 92 comments
