Computer Security ESORICS 2000 : 6th European Symposium on Research in Computer Security Toulouse France October 4 6 2000. Proceedings his book presents the refereed proceedings of the 6th European Symposium on Research in Computer Security ESORICS 2000 held in Toulouse France in October 2000. The 19 revised full papers presented were carefully reviewed and selected from a total of 75 submissions. The papers are organized in sections on personal devices and smart cards electronic commerce protocols access control protocol verification Internet security security property analysis and mobile agents