نام پژوهشگر: رضا بابائی
تحلیل پروتکل های امنیت با استفاده از منطق autlog
پایان نامه
وزارت علوم، تحقیقات و فناوری - دانشگاه علوم پایه دامغان - دانشکده ریاضی و کامپیوتر
1393
رضا بابائی مصطفی زارع خورمیزی
رضا بابائی مصطفی زارع خورمیزی
در این پایان نامه، ابتدا چند حمله به برخی پروتکل های اِحراز هویت بیان می شود. سپس، چند پروتکل با استفاده از منطق ban تحلیل و نقد نِست بر این منطق بیان می شود. در ادامه، منطق autlogکه یک نسخه ی اصلاح شده از منطق ban می باشد و درprolog پیاده سازی شده است ، معرفی می شود. انگیزه ی اصلاحات، تحلیل تعداد زیادی از پروتکل ها بوده است. یک پروتکل چالش-واکنش و نسخه ی دوگان آن، برای نشان دادن مزیت های منطق اصلاح شده تحلیل می شود. این تحلیل، تفاوت بین این دو پروتکل را که خیلی مشابه به نظر می آیند، نشان می دهد. سرانجام در مورد ناتوانی این منطق برای تحلیل اجرای هم زمان پروتکل ها بحث خواهد شد.