Introduction to Computer Security - Matt Bishop (Pearson Education,Inc.)