A Provably Secure Operating System (0)

by P G Neumann, R S Boyer, R J Feiertag, K N Levitt, L Robinson
Venue:The System, Its Applications, and Proofs. Computer Science Laboratory Report CSL-116, Second Edition, May 7, 1980, SRI International