On the detection of desynchronisation attacks against security protocols that use dynamic shared secrets

یک سیستم تاییدیه برای مدلسازی سازوکارهای به روزرسانی برای اسرار عمومی معرفی شده است. بر اساس این سیستم های تأییدیه، قوانین تشخیصی توسعه یافته اند که می توانند ضعف های هماهنگ سازی را شناسایی کنند که می توانند توسط حملات سرکوب و نابود سازی استفاده شوند. استفاده از قوانین تشخیص به سه پروتکل امنیتی منجر به شناسایی ضعف های ناشناخته شده می شود. در نتیجه، این پروتکل های امنیتی حساس به حملات سرکوب و کوتاه مدت هستند و جزئیات نصب حملات ارائه شده است. در نهایت، اصلاحیه های یکی از این پروتکل ها پیشنهاد می شود و استفاده از سیستم رسمی معرفی شده ایمنی پروتکل اصلاح شده علیه حملات سرکوب و نابودی را ایجاد می کند.