Skip to main content
SpringerLink
Log in
Book cover

Computer Security -- ESORICS 2002

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

  • Conference proceedings
  • © 2002

Overview

Editors:
  1. Dieter Gollmann

    1. Microsoft Research, Cambridge, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Günther Karjoth

    1. IBM Zurich Research Lab, Rüschlikon, Switzerland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Michael Waidner

    1. IBM Zurich Research Lab, Rüschlikon, Switzerland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2502)

Included in the following conference series:

Conference proceedings info: ESORICS 2002.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (16 papers)

  1. Front Matter

    Pages I-X
    Download chapter PDF

  2. Computational Probabilistic Non-interference

    • Michael Backes, Birgit Pfitzmann
    Pages 1-23

  3. Bit-Slice Auction Circuit

    • Kaoru Kurosawa, Wakaha Ogata
    Pages 24-38

  4. Confidentiality Policies and Their Enforcement for Controlled Query Evaluation

    • Joachim Biskup, Piero Bonatti
    Pages 39-55

  5. Cardinality-Based Inference Control in Sum-Only Data Cubes

    • Lingyu Wang, Duminda Wijesekera, Sushil Jajodia
    Pages 55-71

  6. Outbound Authentication for Programmable Secure Coprocessors

    • Sean W. Smith
    Pages 72-89

  7. Hamming Weight Attacks on Cryptographic Hardware — Breaking Masking Defense

    • Marcin Gomuffłkiewicz, Mirosffław Kutyffłowski
    Pages 90-103

  8. A Fully Compliant Research Implementation of the P3P Standard for Privacy Protection: Experiences and Recommendations

    • Giles Hogben, Tom Jackson, Marc Wilikens
    Pages 104-125

  9. Authentication for Distributed Web Caches

    • James Giles, Reiner Sailer, Dinesh Verma, Suresh Chari
    Pages 126-146

  10. Analysing a Stream Authentication Protocol Using Model Checking

    • Philippa Broadfoot, Gavin Lowe
    Pages 146-162

  11. Equal To The Task?

    • James Heather, Steve Schneider
    Pages 162-177

  12. TINMAN: A Resource Bound Security Checking System for Mobile Code

    • Aloysius K. Mok, Weijiang Yu
    Pages 178-193

  13. Confidentiality-Preserving Refinement is Compositional — Sometimes

    • Thomas Santen, Maritta Heisel, Andreas Pfitzmann
    Pages 194-211

  14. Formal Security Analysis with Interacting State Machines

    • David von Oheimb, Volkmar Lotz
    Pages 212-229

  15. Decidability of Safety in Graph-Based Models for Access Control

    • Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce
    Pages 229-244

  16. Inter-Packet Delay Based Correlation for Tracing Encrypted Connections through Stepping Stones

    • Xinyuan Wang, Douglas S. Reeves, S. Felix Wu
    Pages 244-263

  17. Learning Fingerprints for a Database Intrusion Detection System

    • Sin Yeung Lee, Wai Lup Low, Pei Yuen Wong
    Pages 264-279

  18. Back Matter

    Pages 281-281
    Download chapter PDF
Back to top

Other volumes

  1. Computer Security — ESORICS 2002

Keywords

About this book

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. ESORICS 2002 was jointly organized by the Swiss Federal Institute of Te- nology (ETH) and the IBM Zurich Research Laboratory, and took place in Zurich, Switzerland, October 14-16, 2002. The program committee received 83 submissions, originating from 22 co- tries. For fans of statistics: 55 submissions came from countries in Europe, the Middle East, or Africa, 16 came from Asia, and 12from North America. The leading countries were USA (11 submissions), Germany (9), France (7), Italy (7), Japan (6), and UK (6). Each submission was reviewed by at least three p- gram committee members or other experts. Each submission coauthored by a program committee member received two additional reviews. The program c- mittee chair and cochair were not allowed to submit papers. The ?nal selection of papers was made at a program committee meeting and resulted in 16 accepted papers. In comparison, ESORICS 2000 received 75 submissions and accepted 19 of them. The program re?ects the full range of security research: we accepted papers on access control, authentication, cryptography, database security, formal methods, intrusion detection, mobile code security, privacy, secure hardware, and secure protocols. We gratefully acknowledge all authors who submitted papers for their e?orts in maintaining the standards of this conference.

Editors and Affiliations

  • Microsoft Research, Cambridge, UK

    Dieter Gollmann

  • IBM Zurich Research Lab, Rüschlikon, Switzerland

    Günther Karjoth, Michael Waidner

Bibliographic Information

  • Book Title: Computer Security -- ESORICS 2002

  • Book Subtitle: 7th European Symposium on Research in Computer Security Zurich, Switzerland, October 14-16, 2002, Proceedings

  • Editors: Dieter Gollmann, Günther Karjoth, Michael Waidner

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/3-540-45853-0

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 2002

  • Softcover ISBN: 978-3-540-44345-2Published: 30 September 2002

  • eBook ISBN: 978-3-540-45853-1Published: 30 June 2003

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: CCCVIII, 298

  • Topics: Cryptology, Operating Systems, Computer Communication Networks, Database Management

Publish with us

Policies and ethics

Back to top

Search

Navigation