Computer Security-ESORICS 94 : - Gollmann, Dieter (Lecture notes in computer science ;, 1994)