The foundations of a provably secure operating system (PSOS) (1979) [pdf]
via csl.sri.com
Short excerpt below. Read at the original source.
Article URL: http://www.csl.sri.com/users/neumann/psos.pdf Comments URL: https://news.ycombinator.com/item?id=48177300 Points: 7 # Comments: 0