Security Protocols: 6th International Workshop Cambridge, UK, April 15–17, 1998 Proceedings

Lawrence C. Paulson (auth.), Bruce Christianson, Bruno Crispo, William S. Harbison, Michael Roe (eds.)3540656634, 9783540656630

This book constitutes the thoroughly refereed post-workshop proceedings of the 6th International Workshop on Security Protocols held in Cambridge, UK in April 1998.
The 15 revised papers presented as position statements are followed by transcripts of the discussions between the authors and the audience. Also included is a report on the final panel discussion on future directions in security protocols research and developments. Thus the volume reflects the lively interaction at the workshop. The papers are devoted to the interrelations between trust and delegation, exploring the implications and effects of these upon such issues as authorization, security policy, and cryptosystems and component design.

---

Table of contents :
Inductive Analysis of the Internet Protocol TLS….Pages 1-12
Inductive Analysis of the Internet Protocol TLS….Pages 13-23
External Consistency and the Verification of Security Protocols….Pages 24-27
External Consistency and the Verification of Security Protocols….Pages 28-35
The Trust Shell Game….Pages 36-40
The Trust Shell Game….Pages 41-44
Overview of the AT&T Labs Trust-Management Project….Pages 45-50
Overview of the AT&T Labs Trust-Management Project….Pages 51-58
KeyNote: Trust Management for Public-Key Infrastructures….Pages 59-63
Discussion Session — Trust Management….Pages 64-66
Application-Oriented Security Policies and Their Composition….Pages 67-74
Application-Oriented Security Policies and Their Composition….Pages 75-82
Secure Fingerprinting Using Public-Key Cryptography….Pages 83-89
Secure Fingerprinting Using Public-Key Cryptography….Pages 90-94
Third Party Certification of HTTP Service Access Statistics….Pages 95-99
Third Party Certification of HTTP Service Access Statistics….Pages 100-107
Delegating Trust….Pages 108-117
Delegation of Responsibilities….Pages 118-124
Delegation of Responsibility….Pages 125-130
Abuse of Process….Pages 131-136
A New Concept in Protocols: Verifiable Computational Delegation….Pages 137-145
A New Concept in Protocols: Verifiable Computational Delegation….Pages 146-153
Delegation and Not-So Smart Cards….Pages 154-157
Delegation and Not-So Smart Cards….Pages 158-167
Certification and Delegation….Pages 168-176
Discussion Session: Differences Between Academic and Commercial Security….Pages 177-192
Optimistic Trust with Realistic e Nvestigators….Pages 193-202
Optimistic Trust with Realistic Investigators….Pages 203-212
Insider Fraud….Pages 213-219
Insider Fraud….Pages 220-226
Panel Session – Future Directions….Pages 227-239