Signature and Access Control Policies for XML Documents / Elisa Bertino ; Elena Ferrari ; Loredana Parasiliti Provenza |
Authorization and Access Control in Adaptive Workflows / Dulce Domingos ; António Rito-Silva ; Pedro Veiga |
Flexible Regulation of Distributed Coalitions / Xuhui Ao ; Naftaly H. Minsky |
Initiator-Resilient Universally Composable Key Exchange / Dennis Hofheinz ; Jörn Müller-Quade ; Rainer Steinwandt |
Multi-round Secure Light-Weight Broadcast Exclusion Protocol with Pre-processing / Yuji Watanabe ; Masayuki Numao |
Precisely Answering Multi-dimensional Range Queries without Privacy Breaches / Lingyu Wang ; Yingjiu Li ; Duminda Wijesekera ; Sushil Jajodia |
Passive Attack Analysis for Connection-Based Anonymity Systems / Andrei Serjantov ; Peter Sewell |
Rapid Mixing and Security of Chaum's Visual Electronic Voting / Marcin Gomulkiewicz ; Marek Klonowski ; Miroslaw Kutylowski |
Towards Accountable Management of Privacy and Identity Information / Marco Casassa Mont ; Siani Pearson ; Pete Bramhall |
A Toolkit for Managing Enterprise Privacy Policies / Michael Backes ; Birgit Pfitzmann ; Matthias Schunter |
Authenticating Mandatory Access Controls and Preserving Privacy for a High-Assurance Smart Card / Helmut Scherzer ; Ran Canetti ; Paul A. Karger ; Hugo Krawczyk ; Tal Rabin ; David C. Toll |
Hardware Encapsulation of Security Services / Adrian Baldwin ; Simon Shiu |
A Formal Security Model of the Infineon SLE 88 Smart Card Memory Management / David von Oheimb ; Georg Walter ; Volkmar Lotz |
Bridging Model-Based and Language-Based Security / Rogardt Heldal ; Fredrik Hultin |
An On-the-Fly Model-Checker for Security Protocol Analysis / David Basin ; Sebastian Mödersheim ; Luca Vigano |
Symmetric Authentication within a Simulatable Cryptographic Library / Michael Waidner |
An Improved Reference Flow Control Model for Policy-Based Intrusion Detection / Jacob Zimmermann ; Ludovic Mé ; Christophe Bidan |
Visualisation for Intrusion Detection / Stefan Axelsson |
On the Detection of Anomalous System Call Arguments / Christopher Kruegel ; Darren Mutz ; Fredrik Valeur ; Giovanni Vigna |
Author Index |
Signature and Access Control Policies for XML Documents / Elisa Bertino ; Elena Ferrari ; Loredana Parasiliti Provenza |
Authorization and Access Control in Adaptive Workflows / Dulce Domingos ; António Rito-Silva ; Pedro Veiga |
Flexible Regulation of Distributed Coalitions / Xuhui Ao ; Naftaly H. Minsky |
Initiator-Resilient Universally Composable Key Exchange / Dennis Hofheinz ; Jörn Müller-Quade ; Rainer Steinwandt |
Multi-round Secure Light-Weight Broadcast Exclusion Protocol with Pre-processing / Yuji Watanabe ; Masayuki Numao |
Precisely Answering Multi-dimensional Range Queries without Privacy Breaches / Lingyu Wang ; Yingjiu Li ; Duminda Wijesekera ; Sushil Jajodia |