Building a Secure Computer System (1988)

by Morrie Gasser