Computer security art and science - Bishop (Addison Wesley, 2003)