Computer Security -- ESORICS 2002 7th European Symposium on Research in Computer Security Zurich, Switzerland, October 14-16, 2002, Proceedings

ESORICS, the European Symposium on Research in Computer Security, is the leading research-oriented conference on the theory and practice of computer security in Europe. It takes place every two years, at various locations throughout Europe, and is coordinated by an independent Steering Committee. ES...

Full description

Corporate Author: SpringerLink (Online service)
Other Authors: Gollmann, Dieter (Editor), Karjoth, Günter (Editor), Waidner, Michael (Editor)
Format: eBook
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2002, 2002
Edition:1st ed. 2002
Series:Lecture Notes in Computer Science
Online Access:
Collection: Springer Book Archives -2004 - Collection details see MPG.ReNa
Table of Contents:
  • Experiences and Recommendations
  • Authentication for Distributed Web Caches
  • Analysing a Stream Authentication Protocol Using Model Checking
  • Equal To The Task?
  • TINMAN: A Resource Bound Security Checking System for Mobile Code
  • Confidentiality-Preserving Refinement is Compositional — Sometimes
  • Formal Security Analysis with Interacting State Machines
  • Decidability of Safety in Graph-Based Models for Access Control
  • Inter-Packet Delay Based Correlation for Tracing Encrypted Connections through Stepping Stones
  • Learning F