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

Article URL: http://www.csl.sri.com/users/neumann/psos.pdf Comments URL: https://news.ycombinator.com/item?id=48177300 Points: 7 # Comments: 0

🔗 http://www.csl.sri.com/users/neumann/psos.pdf

#tech #news