Computer Security: Art and Science - Matt Bishop (Addison-Wesley)