Security Protocols

1. Front Matter

   Pages I-VII

   PDF

2. Inductive Analysis of the Internet Protocol TLS

   • Lawrence C. Paulson

   Pages 1-12

3. Inductive Analysis of the Internet Protocol TLS

   • Larry Paulson

   Pages 13-23

4. External Consistency and the Verification of Security Protocols

   • Simon N. Foley

   Pages 24-27

5. External Consistency and the Verification of Security Protocols

   • Simon Foley

   Pages 28-35

6. The Trust Shell Game

   • Carl Ellison

   Pages 36-40

7. The Trust Shell Game

   • Carl Ellison

   Pages 41-44

8. Overview of the AT&T Labs Trust-Management Project

   • Joan Feigenbaum

   Pages 45-50

9. Overview of the AT&T Labs Trust-Management Project

   • Joan Feigenbaum

   Pages 51-58

10. KeyNote: Trust Management for Public-Key Infrastructures

    • Matt Blaze, Joan Feigenbaum, Angelos D. Keromytis

    Pages 59-63

11. Discussion Session — Trust Management

    Pages 64-66

12. Application-Oriented Security Policies and Their Composition

    • Virgil D. Gligor, Serban I. Gavrila

    Pages 67-74

13. Application-Oriented Security Policies and Their Composition

    • Virgil Gligor

    Pages 75-82

14. Secure Fingerprinting Using Public-Key Cryptography

    • Hiroshi Yoshiura, Ryoichi Sasaki, Kazuo Takaragi

    Pages 83-89

15. Secure Fingerprinting Using Public-Key Cryptography

    • Rojoichi Sasaki

    Pages 90-94

16. Third Party Certification of HTTP Service Access Statistics

    • F. Bergadano, P. De Mauro

    Pages 95-99

17. Third Party Certification of HTTP Service Access Statistics

    • F. Bergadano

    Pages 100-107

18. Delegating Trust

    • Bill Harbison

    Pages 108-117

19. Delegation of Responsibilities

    • B. Crispo

    Pages 118-124

20. Delegation of Responsibility

    • Bruno Crispo

    Pages 125-130

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.

• Cryptography Protocols
• Information Security
• Internet Protocols
• Protocol Verification
• Security Protocols
• cryptography
• security
• algorithm analysis and problem complexity

• Computer Science Department, University of Hertfordshire, Hatfield, UK

  Bruce Christianson

• Computer Laboratory, University of Cambridge, Cambridge, UK

  Bruno Crispo

• Department of Computer Science, University of Turin, Turin, Italy

  Bruno Crispo

• Harlow Laboratories, Nortel Networks, Harlow, UK

  William S. Harbison

• Centre for Communications Systems Research, University of Cambridge, Cambridge, UK

  Michael Roe

Policies and ethics