Security Protocols: 8th International Workshop Cambridge, UK, April 3–5, 2000 Revised Papers
Author: Bruce Christianson, James A. Malcolm, Bruno Crispo, Michael Roe
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-42566-3
DOI: 10.1007/3-540-44810-1

Table of Contents:

• Keynote Address: Security Protocols and the Swiss Army Knife
  
• Mergers and Principals
  
• Mergers and Principals
  
• Authentication and Naming
  
• Users and Trust in Cyberspace
  
• Users and Trust in Cyberspace
  
• Interactive Identification Protocols
  
• Open Questions
  
• Looking on the Bright Side of Black-Box Cryptography
  
• Government Access to Keys - Panel Discussion
  
• Making Sense of Specifications: The Formalization of SET
  
• Making Sense of Specifications: The Formalization of SET
  
• Lack of Explicitness Strikes Back
  
• Lack of Explicitness Strikes Back
  
• Review and Revocation of Access Privileges Distributed with PKI Certificates
  
• Review and Revocation of Access Privileges Distributed with PKI Certificates
  
• The Correctness of Crypto Transaction Sets
  
• The Correctness of Crypto Transaction Sets
  
• Micro-management of Risk in a Trust-Based Billing System
  
• Broadening the Scope of Fault Tolerance within Secure Services