Gasser, Morrie. <i>Building a Secure Computer System</i>. Van Nostrand Reinhold Co., 1988.