8. ESORICS 2003:
Gjøvik,
Norway
Einar Snekkenes, Dieter Gollmann (Eds.):
Computer Security - ESORICS 2003, 8th European Symposium on Research in Computer Security, Gjøvik, Norway, October 13-15, 2003, Proceedings.
Lecture Notes in Computer Science 2808 Springer 2003, ISBN 3-540-20300-1 BibTeX
@proceedings{DBLP:conf/esorics/2003,
editor = {Einar Snekkenes and
Dieter Gollmann},
title = {Computer Security - ESORICS 2003, 8th European Symposium on Research
in Computer Security, Gj{\o}vik, Norway, October 13-15, 2003,
Proceedings},
booktitle = {ESORICS},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2808},
year = {2003},
isbn = {3-540-20300-1},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
- Elisa Bertino, Elena Ferrari, Loredana Parasiliti Provenza:
Signature and Access Control Policies for XML Documents.
1-22
Electronic Edition (link) BibTeX
- Dulce Domingos, António Rito Silva, Pedro Veiga:
Authorization and Access Control in Adaptive Workflows.
23-38
Electronic Edition (link) BibTeX
- Xuhui Ao, Naftaly H. Minsky:
Flexible Regulation of Distributed Coalitions.
39-60
Electronic Edition (link) BibTeX
- Dennis Hofheinz, Jörn Müller-Quade, Rainer Steinwandt:
Initiator-Resilient Universally Composable Key Exchange.
61-84
Electronic Edition (link) BibTeX
- Yuji Watanabe, Masayuki Numao:
Multi-round Secure-Light Broadcast Exclusion Protocol with Pre-processing.
85-99
Electronic Edition (link) BibTeX
- Lingyu Wang, Yingjiu Li, Duminda Wijesekera, Sushil Jajodia:
Precisely Answering Multi-dimensional Range Queries without Privacy Breaches.
100-115
Electronic Edition (link) BibTeX
- Andrei Serjantov, Peter Sewell:
Passive Attack Analysis for Connection-Based Anonymity Systems.
116-131
Electronic Edition (link) BibTeX
- Marcin Gomulkiewicz, Marek Klonowski, Miroslaw Kutylowski:
Rapid Mixing and Security of Chaum's Visual Electronic Voting.
132-145
Electronic Edition (link) BibTeX
- Marco Casassa Mont, Siani Pearson, Pete Bramhall:
Towards Accountable Management of Privacy and Identity Information.
146-161
Electronic Edition (link) BibTeX
- Michael Backes, Birgit Pfitzmann, Matthias Schunter:
A Toolkit for Managing Enterprise Privacy Policies.
162-180
Electronic Edition (link) BibTeX
- Helmut Scherzer, Ran Canetti, Paul A. Karger, Hugo Krawczyk, Tal Rabin, David C. Toll:
Authenticating Mandatory Access Controls and Preserving Privacy for a High-Assurance Smart Card.
181-200
Electronic Edition (link) BibTeX
- Adrian Baldwin, Simon Shiu:
Hardware Encapsulation of Security Services.
201-216
Electronic Edition (link) BibTeX
- David von Oheimb, Georg Walter, Volkmar Lotz:
A Formal Security Model of the Infineon SLE 88 Smart Card Memory Managment.
217-234
Electronic Edition (link) BibTeX
- Rogardt Heldal, Fredrik Hultin:
Bridging Model-Based and Language-Based Security.
235-252
Electronic Edition (link) BibTeX
- David A. Basin, Sebastian Mödersheim, Luca Viganò:
An On-the-Fly Model-Checker for Security Protocol Analysis.
253-270
Electronic Edition (link) BibTeX
- Michael Backes, Birgit Pfitzmann, Michael Waidner:
Symmetric Authentication within a Simulatable Cryptographic Library.
271-290
Electronic Edition (link) BibTeX
- Jacob Zimmermann, Ludovic Mé, Christophe Bidan:
An Improved Reference Flow Control Model for Policy-Based Intrusion Detection.
291-308
Electronic Edition (link) BibTeX
- Stefan Axelsson:
Visualisation for Intrusion Detection.
309-325
Electronic Edition (link) BibTeX
- Christopher Krügel, Darren Mutz, Fredrik Valeur, Giovanni Vigna:
On the Detection of Anomalous System Call Arguments.
326-343
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:10:51 2009
by Michael Ley (ley@uni-trier.de)