6. ESORICS 2000: Toulouse, France

Personal Devices and Smart Cards

Electronic Commerce Protocols

Access Control

Protocol Verification

Internet Security

Security Property Analysis

Mobile Agents

a service of Schloss Dagstuhl - Leibniz Center for Informatics