Secure Key Establishment

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...

Full description

Bibliographic Details
Main Author: Choo, Kim-Kwang Raymond
Format: eBook
Language:English
Published: New York, NY Springer US 2009, 2009
Edition:1st ed. 2009
Series:Advances in Information Security
Subjects:
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
LEADER 02778nmm a2200397 u 4500
001 EB000356942
003 EBX01000000000000000209994
005 00000000000000.0
007 cr|||||||||||||||||||||
008 130626 ||| eng
020 |a 9780387879697 
100 1 |a Choo, Kim-Kwang Raymond 
245 0 0 |a Secure Key Establishment  |h Elektronische Ressource  |c by Kim-Kwang Raymond Choo 
250 |a 1st ed. 2009 
260 |a New York, NY  |b Springer US  |c 2009, 2009 
300 |a XXIV, 216 p. 24 illus  |b online resource 
505 0 |a Background Materials -- A Flawed BR95 Partnership Function -- On The Key Sharing Requirement -- Comparison of Bellare–Rogaway and Canetti–Krawczyk Models -- An Extension to the Bellare–Rogaway Model -- A Proof of Revised Yahalom Protocol -- Errors in Computational Complexity Proofs for Protocols -- On Session Key Construction -- Complementing Computational Protocol Analysis -- An Integrative Framework to Protocol Analysis and Repair -- Conclusion and Future Work 
653 |a Computer Communication Networks 
653 |a Coding and Information Theory 
653 |a Coding theory 
653 |a Cryptography 
653 |a Data Structures and Information Theory 
653 |a Computer networks  
653 |a Data protection 
653 |a Information theory 
653 |a Data encryption (Computer science) 
653 |a Data structures (Computer science) 
653 |a Cryptology 
653 |a Data and Information Security 
041 0 7 |a eng  |2 ISO 639-2 
989 |b Springer  |a Springer eBooks 2005- 
490 0 |a Advances in Information Security 
028 5 0 |a 10.1007/978-0-387-87969-7 
856 4 0 |u https://doi.org/10.1007/978-0-387-87969-7?nosfx=y  |x Verlag  |3 Volltext 
082 0 |a 005.824 
520 |a 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