Introduction to computer security - Bishop, Matt (Addison-Wesley, 2005)