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