Neumann 77 (1971)

by Stanford AI Project, February
Venue:A Provably Secure Operating System: The System, Its Applications, and Proofs