Secure Key Establishment

• Main Author: Choo, Kim-Kwang Raymond. (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic
• Language: English
• Published: Boston, MA : Springer US, 2009.
• Series: Advances in Information Security, 41
• Subjects: Computer science.; Computer Communication Networks.; Data protection.; Data structures (Computer science).; Data encryption (Computer science).; Coding theory.; Computer Science.; Data Encryption.; Data Structures, Cryptology and Information Theory.; Systems and Data Security.; Coding and Information Theory.
• Online Access: https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-0-387-87969-7

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

Table of Contents:

• Introduction
• Background Materials
• A Flawed BR95 Partnership Function
• On The Key Sharing Requirement
• Comparison of BellareRogaway and CanettiKrawczyk Models
• An Extension to the BellareRogaway Model
• A Proof of Revised Yahalom Protocol in the Bellare and Rogaway(1993) Model
• Errors in Computational Complexity Proofs for Protocols
• On Session Key Construction
• Complementing Computational Protocol Analysis
• An Integrative Framework to Protocol Analysis and Repair: BellareRogaway Model + Planning + Model Checker
• Conclusion and Future Work
• Index.