6. ESORICS 2000:
Toulouse,
France
Frédéric Cuppens, Yves Deswarte, Dieter Gollmann, Michael Waidner (Eds.):
Computer Security - ESORICS 2000, 6th European Symposium on Research in Computer Security, Toulouse, France, October 4-6, 2000, Proceedings.
Lecture Notes in Computer Science 1895 Springer 2000, ISBN 3-540-41031-7 BibTeX
@proceedings{DBLP:conf/esorics/2000,
editor = {Fr{\'e}d{\'e}ric Cuppens and
Yves Deswarte and
Dieter Gollmann and
Michael Waidner},
title = {Computer Security - ESORICS 2000, 6th European Symposium on Research
in Computer Security, Toulouse, France, October 4-6, 2000, Proceedings},
booktitle = {ESORICS},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1895},
year = {2000},
isbn = {3-540-41031-7},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Personal Devices and Smart Cards
- Pierre Bieber, Jacques Cazin, Pierre Girard, Jean-Louis Lanet, Virginie Wiels, Guy Zanon:
Checking Secure Interactions of Smart Card Applets.
1-16
Electronic Edition (link) BibTeX
- Gerhard Schellhorn, Wolfgang Reif, Axel Schairer, Paul A. Karger, Vernon Austel, David C. Toll:
Verification of a Formal Security Model for Multiapplicative Smart Cards.
17-36
Electronic Edition (link) BibTeX
- Kai Rannenberg:
How Much Negotiation and Detail Can Users Handle? Experiences with Security Negotiation and the Granularity of Access Control in Communications.
37-54
Electronic Edition (link) BibTeX
Electronic Commerce Protocols
Access Control
Protocol Verification
Internet Security
Security Property Analysis
Mobile Agents
Copyright © Sat May 16 23:10:52 2009
by Michael Ley (ley@uni-trier.de)
