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