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

by Richard J. Feiertag , Peter G. Neumann
Venue:IN PROCEEDINGS OF THE NATIONAL COMPUTER CONFERENCE
Citations:32 - 4 self