8. Security Protocols Workshop 2000: Cambridge, UK

@proceedings{DBLP:conf/spw/2000,
  editor    = {Bruce Christianson and
               Bruno Crispo and
               Michael Roe},
  title     = {Security Protocols, 8th International Workshop, Cambridge, UK,
               April 3-5, 2000, Revised Papers},
  booktitle = {Security Protocols Workshop},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2133},
  year      = {2001},
  isbn      = {3-540-42566-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• Roger M. Needham:
  Keynote Address: Security Protocols and the Swiss Army Knife (Transcript of Discussion). 1-4
  Electronic Edition (Springer LINK) BibTeX
• Dieter Gollmann:
  Mergers and Principals. 5-13
  Electronic Edition (Springer LINK) BibTeX
• Dieter Gollmann:
  Mergers and Principals (Transcript of Discussion). 14-19
  Electronic Edition (Springer LINK) BibTeX
• Michael Roe:
  Authentication and Naming (Transcript of Discussion). 20-23
  Electronic Edition (Springer LINK) BibTeX
• Pekka Nikander, Kristiina Karvonen:
  Users and Trust in Cyberspace. 24-35
  Electronic Edition (Springer LINK) BibTeX
• Pekka Nikander:
  Users and Trust in Cyberspace (Transcript of Discussion). 36-42
  Electronic Edition (Springer LINK) BibTeX
• Peter Landrock:
  Interactive Identification Protocols (Transcript of Discussion). 43-48
  Electronic Edition (Springer LINK) BibTeX
• Peter Y. A. Ryan:
  Open Questions (Transcript of Discussion). 49-53
  Electronic Edition (Springer LINK) BibTeX
• Matt Blaze:
  Looking on the Bright Side of Black-Box Cryptography (Transcript of Discussion). 54-61
  Electronic Edition (Springer LINK) BibTeX
• Michael Roe, Ross J. Anderson, William S. Harbison, T. Mark A. Lomas:
  Government Access to Keys - Panel Discussion. 62-73
  Electronic Edition (Springer LINK) BibTeX
• Giampaolo Bella, Fabio Massacci, Lawrence C. Paulson, Piero Tramontano:
  Making Sense of Specifications: The Formalization of SET. 74-81
  Electronic Edition (Springer LINK) BibTeX
• Lawrence C. Paulson:
  Making Sense of Specifications: The Formalization of SET (Transcript of Discussion). 82-86
  Electronic Edition (Springer LINK) BibTeX
• Giampaolo Bella:
  Lack of Explicitness Strikes Back. 87-93
  Electronic Edition (Springer LINK) BibTeX
• Giampaolo Bella:
  Lack of Explicitness Strikes Back (Transcript of Discussion). 94-99
  Electronic Edition (Springer LINK) BibTeX
• Himanshu Khurana, Virgil D. Gligor:
  Review and Revocation of Access Privileges Distributed with PKI Certificates. 100-112
  Electronic Edition (Springer LINK) BibTeX
• Virgil D. Gligor:
  Review and Revocation of Access Privileges Distributed with PKI Certificates (Transcript of Discussion). 113-124
  Electronic Edition (Springer LINK) BibTeX
• Ross J. Anderson:
  The Correctness of Crypto Transaction Sets. 125-127
  Electronic Edition (Springer LINK) BibTeX
• Ross J. Anderson:
  The Correctness of Crypto Transaction Sets (Discussion). 128-141
  Electronic Edition (Springer LINK) BibTeX
• John Ioannidis:
  Micro-management of Risk in a Trust-Based Billing System (Transcript of Discussion). 142-154
  Electronic Edition (Springer LINK) BibTeX
• Geraint Price:
  Broadening the Scope of Fault Tolerance within Secure Services. 155-164
  Electronic Edition (Springer LINK) BibTeX
• Geraint Price:
  Broadening the Scope of Fault Tolerance within Secure Services (Transcript of Discussion). 165-169
  Electronic Edition (Springer LINK) BibTeX
• Tuomas Aura, Pekka Nikander, Jussipekka Leiwo:
  DOS-Resistant Authentication with Client Puzzles. 170-177
  Electronic Edition (Springer LINK) BibTeX
• Tuomas Aura:
  DOS-Resistant Authentication with Client Puzzles (Transcript of Discussion). 178-181
  Electronic Edition (Springer LINK) BibTeX
• Bruce Christianson, Bruno Crispo, James A. Malcolm:
  Public-Key Crypto-systems Using Symmetric-Key Crypto-algorithms. 182-183
  Electronic Edition (Springer LINK) BibTeX
• Bruce Christianson:
  Public-Key Crypto-systems Using Symmetric-Key Crypto-algorithms (Transcript of Discussion). 184-193
  Electronic Edition (Springer LINK) BibTeX
• Virgil D. Gligor, Matt Blaze, John Ioannidis:
  Denial of Service - Panel Discussion. 194-203
  Electronic Edition (Springer LINK) BibTeX
• Frank Stajano:
  The Resurrecting Duckling - What Next? 204-214
  Electronic Edition (Springer LINK) BibTeX
• Frank Stajano:
  The Resurrecting Duckling - What Next? (Transcript of Discussion). 215-222
  Electronic Edition (Springer LINK) BibTeX
• George Danezis:
  An Anonymous Auction Protocol Using "Money Escrow" (Transcript of Discussion). 223-233
  Electronic Edition (Springer LINK) BibTeX
• Wenbo Mao:
  Short Certification of Secure RSA Modulus (Transcript of Discussion). 234-237
  Electronic Edition (Springer LINK) BibTeX
• Hiroshi Yoshiura, Takaaki Shigematsu, Seiichi Susaki, Tsukasa Saitoh, Hisashi Toyoshima, Chikako Kurita, Satoru Tezuka, Ryôichi Sasaki:
  Authenticating Web-Based Virtual Shops Using Signature-Embedded Marks - A Practical Analysis. 238-248
  Electronic Edition (Springer LINK) BibTeX
• Hiroshi Yoshiura:
  Authentication Web-Based Virtual Shops Using Signature-Embedded Marks - A Practical Analysis (Transcript of Discussion). 249-252
  Electronic Edition (Springer LINK) BibTeX
• T. Mark A. Lomas:
  I Cannot Tell a Lie (Transcript of Discussion). 253-255
  Electronic Edition (Springer LINK) BibTeX
• Afterward. 256
  Electronic Edition (Springer LINK) BibTeX