Secure Key Establishment( Series - Advances In Information Security )

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

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

Secure Key Establishment: Proofs and Refutations 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.