Computer security : art and science - BISHOP (Addison-Wesley, 2002)