Secure Key Establishment

تحقیق در مورد ایجاد کلید امن در چند سال اخیر بسیار فعال شده است. Secure Key Establishmentدرباره مشکلات پیش آمده در این زمینه بحث می کند. این کتاب همچنین چندین پروتکل بهبود یافته را با مدارک امنیتی جدید معرفی می‌کند.

Secure Key Establishment چندین گونه از نیازهای اشتراک‌گذاری کلید را شناسایی می‌کند. چندین نوع از مدل به طور گسترده پذیرفته شده Bellare و Rogaway (1993) پوشش داده شده است. یک مطالعه تطبیقی ​​از نقاط قوت نسبی مفاهیم امنیتی بین این گونه‌های مدل Bellare-Rogaway و مدل Canetti-Krawczyk گنجانده شده است. یک چارچوب یکپارچه پیشنهاد شده است که به پروتکل‌ها اجازه می‌دهد در نسخه اصلاح‌شده مدل Bellare-Rogaway با استفاده از ابزار بررسی خودکار مدل بررسی شوند.

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.