Papers to be presented at ESORICS-94 (European Sympoisum on Research in Computer Security), Brighton, UK, 2-9 November, 1994