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