Computer security : proceedings - Gollmann, Dieter (Herausgeber); ESORICS (3 : 1994 : Brighton) (Lecture notes in computer science, 1994)