Computer Security -- ESORICS 2002

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

Häftad, Engelska, 2002

Av Dieter Gollmann, Günter Karjoth, Michael Waidner

729 kr

Beställningsvara. Skickas inom 10-15 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

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.

Produktinformation

Utgivningsdatum2002-09-30
Mått155 x 235 x 17 mm
Vikt470 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor298
Upplaga2002
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540443452

Tillhör följande kategorier

Referensverk och tvärvetenskap inom Samhalle och politik
Hårdvara inom Data och it
Operativsystem inom Data och it
Databaser inom Data och it
IT-säkerhet inom Data och it

Computational Probabilistic Non-interference.- Bit-Slice Auction Circuit.- Confidentiality Policies and Their Enforcement for Controlled Query Evaluation.- Cardinality-Based Inference Control in Sum-Only Data Cubes.- Outbound Authentication for Programmable Secure Coprocessors.- Hamming Weight Attacks on Cryptographic Hardware — Breaking Masking Defense.- A Fully Compliant Research Implementation of the P3P Standard for Privacy Protection: 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 Fingerprints for a Database Intrusion Detection System.