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

by European Symposium on Research in Computer Security 2002 Zurich, swit; Karjoth, Gunter; Waidner, Michael

• ISBN13: 9783540443452
• ISBN10: 3540443452
• eBook ISBN(s): 9783540458531
• Format: Paperback
• Copyright: 2002-10-01
• Publisher: Springer Verlag
• More Book Details
• Purchase Benefits

Summary

This book constitutes the refereed proceedings of the 7th European Symposium on Research in Computer Security, ESORICS 2002, held in Zurich, Switzerland, in October 2002. The 16 revised full papers presented were carefully reviewed and selected for inclusion in the proceedings. Among the topics addressed are confidentiality, probabilistic non-inference, auctions, inference control, authentication, attacks on cryptographic hardware, privacy protection, model checking protocols, mobile code, formal security analysis, access control, and fingerprints and intrusion detection.

Table of Contents

Computational Probabilistic Non-interference	1	(23)
Michael Backes
Birgit Pfitzmann
Bit-Slice Auction Circuit	24	(15)
Kaoru Kurosawa
Wakaha Ogata
Confidentiality Policies and Their Enforcement for Controlled Query Evaluation	39	(16)
Joachim Biskup
Piero Bonatti
Cardinality-Based Inference Control in Sum-Only Data Cubes	55	(17)
Lingyu Wang
Duminda Wijesekera
Sushil Jajodia
Outbound Authentication for Programmable Secure Coprocessors	72	(18)
Sean W. Smith
Hamming Weight Attacks on Cryptographic Hardware - Breaking Masking Defense	90	(14)
Marcin Gomutkiewicz
Mirostaw Kutytowski
A Fully Compliant Research Implementation of the P3P Standard for Privacy Protection: Experiences and Recommendations	104	(22)
Giles Hogben
Tom Jackson
Marc Wilikens
Authentication for Distributed Web Caches	126	(20)
James Giles
Reiner Sailer
Dinesh Verma
Suresh Chari
Analysing a Stream Authentication Protocol Using Model Checking	146	(16)
Philippa Broadfoot
Gavin Lowe
Equal To The Task?	162	(16)
James Heather
Steve Schneider
TINMAN: A Resource Bound Security Checking System for Mobile Code	178	(16)
Aloysius K. Mok
Weijiang Yu
Confidentiality-Preserving Refinement is Compositional - Sometimes	194	(18)
Thomas Santen
Maritta Heisel
Andreas Pfitzmann
Formal Security Analysis with Interacting State Machines	212	(17)
David von Oheimb
Volkmar Lotz
Decidability of Safety in Graph-Based Models for Access Control	229	(15)
Manuel Koch
Luigi V. Mancini
Francesco Parisi-Presicce
Inter-Packet Delay Based Correlation for Tracing Encrypted Connections through Stepping Stones	244	(20)
Xinyuan Wang
Douglas S. Reeves
S. Felix Wu
Learning Fingerprints for a Database Intrusion Detection System	264	(17)
Sin Yeung Lee
Wai Lup Low
Pei Yuen Wong
Author Index	281