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