Skip to main content
SpringerLink
Log in
Book cover

Security Protocols

6th International Workshop, Cambridge, UK, April 15-17, 1998, Proceedings

  • Conference proceedings
  • © 1999

Overview

Editors:
  1. Bruce Christianson

    1. Computer Science Department, University of Hertfordshire, Hatfield, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Bruno Crispo

    1. Computer Laboratory, University of Cambridge, Cambridge, UK
      Department of Computer Science, University of Turin, Turin, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. William S. Harbison

    1. Harlow Laboratories, Nortel Networks, Harlow, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Michael Roe

    1. Centre for Communications Systems Research, University of Cambridge, Cambridge, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1550)

Included in the following conference series:

Conference proceedings info: Security Protocols 1998.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (31 papers)

  1. Front Matter

    Pages I-VII
    Download chapter 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
Back to top

Other volumes

  1. Security Protocols

Keywords

About this book

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.

Editors and Affiliations

  • 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

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation