Computer Security - Gollmann D.; Gollmann D. (Wiley, 2011)