Secure Key Establishment discusses the problems encountered in this field. It also introduces several improved protocols with new proofs of security and covers several variants of the widely accepted Bellare and Rogaway model.

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 BellareRogaway model and the CanettiKrawczyk model is included. An integrative framework is proposed that allows protocols to be analyzed in a modified version of the BellareRogaway 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.

Introduces several improved protocols with new proofs of security Identifies several variants of the key sharing requirement including a brief discussion regarding the key sharing requirement Provides an integrative framework that allows protocols to be analyzed in a modified version of the BellareRogaway model using the automated model checker tool

Autorentext

Hudan Studiawan received the bachelor's and master's degrees from the Institut Teknologi Sepuluh Nopember, Indonesia, in 2009 and 2011, respectively, and the Ph.D. degree from Murdoch University, Australia, in 2021. He is currently an Associate Professor at the Department of Informatics, Institut Teknologi Sepuluh Nopember, Indonesia. He is a member of the Advisory Board of Forensic Science International: Digital Investigation journal since 2024. His current research interests include digital forensics and natural language processing. Kim-Kwang Raymond Choo received the Ph.D. in Information Security in 2006 from Queensland University of Technology, Australia, in 2006. He currently holds the Cloud Technology Endowed Professorship at The University of Texas at San Antonio. He is the founding co-Editor-in-Chief of ACM Distributed Ledger Technologies: Research and Practice, and the founding Chair of IEEE TEMS Technical Committee on Blockchain and Distributed Ledger Technologies. His research interests include cyber analytics, security and forensics.

Inhalt
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.- Errors in Computational Complexity Proofs for Protocols.- On Session Key Construction.- Complementing Computational Protocol Analysis.- An Integrative Framework to Protocol Analysis and Repair.- Conclusion and Future Work.