Computer security - Gollmann, Dieter (Worldwide series in computer science, 2001)