Security Protocols

Security Protocols: 8th International Workshop Cambridge, UK, April 3–5, 2000 Revised PapersAuthor: 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-1Table 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