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

• Posted 2 days ago by rurban
• 122 points