Computer security - Gollmann Dieter (Wiley, J., 1999)