This book also introduces several improved protocols with new proofs of security. Secure Key Establishment identified several variants of the key sharing requirement. A comparative study of the relative strength of the idea of security between the variants of the Bellare Rogaway model? Canetti and Krawczyk model? Included. An integrative framework is proposed protocol that allows for analysis in a modified version of the Bellare Rogaway model? Using 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.