Lecture Notes in Computer Science

Security Protocols

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

Editors: Christianson, B., Crispo, B., Harbison, W.S., Roe, M. (Eds.)

Free Preview

Buy this book

eBook $69.99
price for USA in USD (gross)
  • ISBN 978-3-540-49135-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $89.99
price for USA in USD
  • ISBN 978-3-540-65663-0
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
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.

Table of contents (31 chapters)

Table of contents (31 chapters)
  • Inductive Analysis of the Internet Protocol TLS

    Paulson, Lawrence C.

    Pages 1-12

  • Inductive Analysis of the Internet Protocol TLS

    Paulson, Larry

    Pages 13-23

  • External Consistency and the Verification of Security Protocols

    Foley, Simon N.

    Pages 24-27

  • External Consistency and the Verification of Security Protocols

    Foley, Simon

    Pages 28-35

  • The Trust Shell Game

    Ellison, Carl

    Pages 36-40

Buy this book

eBook $69.99
price for USA in USD (gross)
  • ISBN 978-3-540-49135-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $89.99
price for USA in USD
  • ISBN 978-3-540-65663-0
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Security Protocols
Book Subtitle
6th International Workshop, Cambridge, UK, April 15-17, 1998, Proceedings
Editors
  • Bruce Christianson
  • Bruno Crispo
  • William S. Harbison
  • Michael Roe
Series Title
Lecture Notes in Computer Science
Series Volume
1550
Copyright
1999
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-49135-4
DOI
10.1007/3-540-49135-X
Softcover ISBN
978-3-540-65663-0
Series ISSN
0302-9743
Edition Number
1
Number of Pages
VIII, 252
Topics