Computer Security - ESORICS 2003

8th European Symposium on Research in Computer Security, Gjovik, Norway, October 13-15, 2003, Proceedings

Häftad, Engelska, 2003

719 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 8th European Symposium on Research in Computer Security, ESORICS 2003, held in Gjovik, Norway in October 2003.The 19 revised full papers presented were carefully reviewed and selected from 114 submissions. Among the topics addressed are signature control, access control, key exchange, broadcast protocols, privacy preserving technologies, attack analysis, electronic voting, identity control, authentication, security services, smart card security, formal security protocols analysis, and intrusion detection.

Produktinformation

Utgivningsdatum2003-09-29
Mått155 x 235 x 20 mm
Vikt546 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor350
Upplaga2003
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540203001

Tillhör följande kategorier

Referensverk och tvärvetenskap inom Samhalle och politik
Affärsförhandlingar inom Ekonomi och ledarskap
Informationsteknik: allmänt inom Data och it
Hårdvara inom Data och it
Operativsystem inom Data och it
Databaser inom Data och it
Nätverk och kommunikation inom Data och it
IT-säkerhet inom Data och it

Signature and Access Control Policies for XML Documents.- Authorization and Access Control in Adaptive Workflows.- Flexible Regulation of Distributed Coalitions.- Initiator-Resilient Universally Composable Key Exchange.- Multi-round Secure Light-Weight Broadcast Exclusion Protocol with Pre-processing.- Precisely Answering Multi-dimensional Range Queries without Privacy Breaches.- Passive Attack Analysis for Connection-Based Anonymity Systems.- Rapid Mixing and Security of Chaum’s Visual Electronic Voting.- Towards Accountable Management of Privacy and Identity Information.- A Toolkit for Managing Enterprise Privacy Policies.- Authenticating Mandatory Access Controls and Preserving Privacy for a High-Assurance Smart Card.- Hardware Encapsulation of Security Services.- A Formal Security Model of the Infineon SLE 88 Smart Card Memory Management.- Bridging Model-Based and Language-Based Security.- An On-the-Fly Model-Checker for Security Protocol Analysis.- Symmetric Authentication withina Simulatable Cryptographic Library.- An Improved Reference Flow Control Model for Policy-Based Intrusion Detection.- Visualisation for Intrusion Detection.- On the Detection of Anomalous System Call Arguments.