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