Security Protocols

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.- Broadening the Scope of Fault Tolerance within Secure Services.- DOS-Resistant Authentication with Client Puzzles.- DOS-Resistant Authentication with Client Puzzles.- Public-Key Crypto-systems Using Symmetric-Key Crypto-algorithms.- Public-Key Crypto-systems Using Symmetric-Key Crypto-algorithms.- Denial of Service - Panel Discussion.- The Resurrecting Duckling - What Next?.- The Resurrecting Duckling - What Next?.- An Anonymous Auction Protocol Using "Money Escrow".- Short Certification of Secure RSA Modulus.- Authenticating Web-Based Virtual Shops Using Signature-Embedded Marks - A Practical Analysis -.- Authentication Web-Based Virtual Shops Using Signature-Embedded Marks - A Practical Analysis -.- I Cannot Tell a Lie.- Afterward.