Front matter
1-22
Signature and Access Control Policies for XML Documents
Elisa Bertino, Elena Ferrari and Loredana Parasiliti Provenza
23-38
Authorization and Access Control in Adaptive Workflows
Dulce Domingos, António Rito-Silva and Pedro Veiga
39-60
Flexible Regulation of Distributed Coalitions
Xuhui Ao and Naftaly H. Minsky
61-84
Initiator-Resilient Universally Composable Key Exchange
Dennis Hofheinz, Jörn Müller-Quade and Rainer Steinwandt
85-99
Multi-round Secure Light-Weight Broadcast Exclusion Protocol with Pre-processing
Yuji Watanabe and Masayuki Numao
100-115
Precisely Answering Multi-dimensional Range Queries without Privacy Breaches
Lingyu Wang, Yingjiu Li, Duminda Wijesekera and Sushil Jajodia
116-131
Passive Attack Analysis for Connection-Based Anonymity Systems
Andrei Serjantov and Peter Sewell
132-145
Rapid Mixing and Security of Chaum’s Visual Electronic Voting
Marcin Gomułkiewicz, Marek Klonowski and Mirosław Kutyłowski
146-161
Towards Accountable Management of Privacy and Identity Information
Marco Casassa Mont, Siani Pearson and Pete Bramhall
162-180
A Toolkit for Managing Enterprise Privacy Policies
Michael Backes, Birgit Pfitzmann and Matthias Schunter
181-200
Authenticating Mandatory Access Controls and Preserving Privacy for a High-Assurance Smart Card
Helmut Scherzer, Ran Canetti, Paul A. Karger, Hugo Krawczyk and Tal Rabin, et al.
201-216
Hardware Encapsulation of Security Services
Adrian Baldwin and Simon Shiu
217-234
A Formal Security Model of the Infineon SLE 88 Smart Card Memory Management
David von Oheimb, Georg Walter and Volkmar Lotz
235-252
Bridging Model-Based and Language-Based Security
Rogardt Heldal and Fredrik Hultin
253-270
An On-the-Fly Model-Checker for Security Protocol Analysis
David Basin, Sebastian Mödersheim and Luca Viganò
271-290
Symmetric Authentication within a Simulatable Cryptographic Library
Michael Backes, Birgit Pfitzmann and Michael Waidner
291-308
An Improved Reference Flow Control Model for Policy-Based Intrusion Detection
Jacob Zimmermann, Ludovic Mé and Christophe Bidan
309-325
Visualisation for Intrusion Detection
Stefan Axelsson
326-343
On the Detection of Anomalous System Call Arguments
Christopher Kruegel, Darren Mutz, Fredrik Valeur and Giovanni Vigna
Back matter