Introduction to Computer Security - BISHOP, Matt (Addison-Wesley, 2005)