Building a secure computer system - Gasser, Morrie (Van Nostrand Reinhold, 1988)