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

Front Cover
ESORICS, the European Symposium On Research In Computer Security, is the leading research-oriented conference on the theory and practice of computer - curity in Europe. The aim of ESORICS is to further the progress of research in computer security by establishing a European forum for bringing together - searchersinthisarea,bypromotingtheexchangeofideaswithsystemdevelopers and by encouraging links with researchers in related areas. ESORICS is coordinated by an independent steering committee. In the past it took place every two years at various locations throughout Europe. Starting this year, it will take place annually. ESORICS 2003 was organized by Gjøvik University College, and took place in Gjøvik, Norway, October 13–15, 2003. The program committee received 114 submissions, originating from 26 co- tries on all continents. Half the papers originated in Europe (57). The most dominant countries were: UK (16), USA (14), Germany (6), South Korea (6), Sweden (6), Italy (5), France (4) and Poland (4). Each submission was reviewed by at least three program committee members or other experts. The program committee chair and co-chair were not allowed to submit papers. The ?nal sel- tion of papers was made at a program committee meeting followed by a week of e-mail discussions. Out of the 114 papers received, only 19 got accepted (17%). In comparison, ESORICS 2000and 2002received 75and 83papersand accepted 19% and 16%, respectively. The program re?ected the full range of security research, including access control, cryptographic protocols, privacy enhancing technologies, security m- els, authentication, and intrusion detection.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Signature and Access Control Policies for XML Documents
1
Authorization and Access Control in Adaptive Workflows
23
Flexible Regulation of Distributed Coalitions
39
InitiatorResilient Universally Composable Key Exchange
61
Multiround Secure LightWeight Broadcast Exclusion Protocol with Preprocessing
85
Precisely Answering Multidimensional Range Queries without Privacy Breaches
100
Passive Attack Analysis for ConnectionBased Anonymity Systems
116
Rapid Mixing and Security of Chaums Visual Electronic Voting
132
Hardware Encapsulation of Security Services
201
A Formal Security Model of the Infineon SLE 88 Smart Card Memory Management
217
Bridging ModelBased and LanguageBased Security
235
An OntheFly ModelChecker for Security Protocol Analysis
253
Symmetric Authentication within a Simulatable Cryptographic Library
271
An Improved Reference Flow Control Model for PolicyBased Intrusion Detection
291
Visualisation for Intrusion Detection Hooking the Worm
309
On the Detection of Anomalous System Call Arguments
326

Towards Accountable Management of Privacy and Identity Information
146
A Toolkit for Managing Enterprise Privacy Policies
162
Authenticating Mandatory Access Controls and Preserving Privacy for a HighAssurance Smart Card
181

Other editions - View all

Common terms and phrases