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

 (csl.sri.com)

130 points | by rurban 3 days ago

91 comments