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.

The aim of this symposium was to further the progress of research in computer security by promoting the exchange of ideas. This volume contains papers grouped into sections on access control, formal methods, authentication, distributed systems, database security, architectures and applications.