Introduction to Computer Security - Matt Bishop (Pearson, 2005)