Computer Security: Esorics 94 : Third European Symposium on Research in Computer Security, Brighton, United Kingdom, November 7-9, 1994: Proceedings (Lecture Notes in Computer Science)