Bruce Christianson, Bruno Crispo, Michael Roe (Eds.):
Security Protocols, 8th International Workshop, Cambridge, UK, April 3-5, 2000, Revised Papers.
Lecture Notes in Computer Science 2133 Springer 2001, ISBN 3-540-42566-7 
Roger M. Needham:
Keynote Address: Security Protocols and the Swiss Army Knife (Transcript of Discussion).
1-4
Michael Roe:
Authentication and Naming (Transcript of Discussion).
20-23
Pekka Nikander:
Users and Trust in Cyberspace (Transcript of Discussion).
36-42
Peter Landrock:
Interactive Identification Protocols (Transcript of Discussion).
43-48
Matt Blaze:
Looking on the Bright Side of Black-Box Cryptography (Transcript of Discussion).
54-61
Lawrence C. Paulson:
Making Sense of Specifications: The Formalization of SET (Transcript of Discussion).
82-86
Giampaolo Bella:
Lack of Explicitness Strikes Back (Transcript of Discussion).
94-99
Virgil D. Gligor:
Review and Revocation of Access Privileges Distributed with PKI Certificates (Transcript of Discussion).
113-124
Ross J. Anderson:
The Correctness of Crypto Transaction Sets (Discussion).
128-141
John Ioannidis:
Micro-management of Risk in a Trust-Based Billing System (Transcript of Discussion).
142-154
Geraint Price:
Broadening the Scope of Fault Tolerance within Secure Services.
155-164
Geraint Price:
Broadening the Scope of Fault Tolerance within Secure Services (Transcript of Discussion).
165-169
Tuomas Aura:
DOS-Resistant Authentication with Client Puzzles (Transcript of Discussion).
178-181
Bruce Christianson:
Public-Key Crypto-systems Using Symmetric-Key Crypto-algorithms (Transcript of Discussion).
184-193
Frank Stajano:
The Resurrecting Duckling - What Next? (Transcript of Discussion).
215-222
George Danezis:
An Anonymous Auction Protocol Using "Money Escrow" (Transcript of Discussion).
223-233
Wenbo Mao:
Short Certification of Secure RSA Modulus (Transcript of Discussion).
234-237
Hiroshi Yoshiura:
Authentication Web-Based Virtual Shops Using Signature-Embedded Marks - A Practical Analysis (Transcript of Discussion).
249-252
Afterward.
256
data released under the ODC-BY 1.0 license
