Introduction to computer security - Matt Bishop (Pearson, 2005)