Security Protocols: 6th International Workshop Cambridge, UK, April 15–17, 1998 Proceedings Author: Bruce Christianson, Bruno Crispo, William S. Harbison, Michael Roe Published by Springer Berlin Heidelberg ISBN: 978-3-540-65663-0 DOI: 10.1007/3-540-49135-X Table of Contents: Inductive Analysis of the Internet Protocol TLS Inductive Analysis of the Internet Protocol TLS External Consistency and the Verification of Security Protocols External Consistency and the Verification of Security Protocols The Trust Shell Game The Trust Shell Game Overview of the AT&T Labs Trust-Management Project Overview of the AT&T Labs Trust-Management Project KeyNote: Trust Management for Public-Key Infrastructures Discussion Session — Trust Management Application-Oriented Security Policies and Their Composition Application-Oriented Security Policies and Their Composition Secure Fingerprinting Using Public-Key Cryptography Secure Fingerprinting Using Public-Key Cryptography Third Party Certification of HTTP Service Access Statistics Third Party Certification of HTTP Service Access Statistics Delegating Trust Delegation of Responsibilities Delegation of Responsibility Abuse of Process