Advances in Information Security

Secure Key Establishment

Authors: Choo, Kim-Kwang Raymond

  • Introduces several improved protocols with new proofs of security
  • Identifies several variants of the key sharing requirement, including a brief discussion regarding the key sharing requirement
  • Provides an integrative framework that allows protocols to be analyzed in a modified version of the Bellare–Rogaway model using the automated model checker tool
see more benefits

Buy this book

eBook $119.00
price for USA (gross)
  • ISBN 978-0-387-87969-7
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $159.00
price for USA
valid through November 5, 2017
  • ISBN 978-0-387-87968-0
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $159.00
price for USA
valid through November 5, 2017
  • ISBN 978-1-4419-4689-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

Research on Secure Key Establishment has become very active within the last few years. Secure Key Establishment discusses the problems encountered in this field. This book also introduces several improved protocols with new proofs of security.

Secure Key Establishment identifies several variants of the key sharing requirement.  Several variants of the widely accepted Bellare and Rogaway (1993) model are covered. A comparative study of the relative strengths of security notions between these variants of the Bellare–Rogaway model and the Canetti–Krawczyk model is included. An integrative framework is proposed that allows protocols to be analyzed in a modified version of the Bellare–Rogaway model using the automated model checker tool.

Secure Key Establishment is designed for advanced level students in computer science and mathematics, as a secondary text or reference book. This book is also suitable for practitioners and researchers working for defense agencies or security companies.

Table of contents (12 chapters)

  • Conclusion and Future Work

    Raymond Choo, Kim-Kwang

    Pages 1-5

  • An Integrative Framework to Protocol Analysis and Repair

    Raymond Choo, Kim-Kwang

    Pages 1-13

  • Errors in Computational Complexity Proofs for Protocols

    Raymond Choo, Kim-Kwang

    Pages 1-17

  • On Session Key Construction

    Raymond Choo, Kim-Kwang

    Pages 1-16

  • An Extension to the Bellare–Rogaway Model

    Raymond Choo, Kim-Kwang

    Pages 1-16

Buy this book

eBook $119.00
price for USA (gross)
  • ISBN 978-0-387-87969-7
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $159.00
price for USA
valid through November 5, 2017
  • ISBN 978-0-387-87968-0
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $159.00
price for USA
valid through November 5, 2017
  • ISBN 978-1-4419-4689-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Secure Key Establishment
Authors
Series Title
Advances in Information Security
Series Volume
41
Copyright
2009
Publisher
Springer US
Copyright Holder
Springer-Verlag US
eBook ISBN
978-0-387-87969-7
DOI
10.1007/978-0-387-87969-7
Hardcover ISBN
978-0-387-87968-0
Softcover ISBN
978-1-4419-4689-8
Series ISSN
1568-2633
Edition Number
1
Number of Pages
XXIV, 216
Number of Illustrations and Tables
24 b/w illustrations
Topics