جستجوی مشخصه های تفاضلی دارای احتمال قابل قبول برای تحلیل تفاضلی در الگوریتم رمز قالبی سایمون به کمک حل کننده های SAT/SMT

Publish Year: 1399
نوع سند: مقاله کنفرانسی
زبان: Persian
View: 617

This Paper With 10 Page And PDF Format Ready To Download

  • Certificate
  • من نویسنده این مقاله هستم

استخراج به نرم افزارهای پژوهشی:

لینک ثابت به این Paper:

شناسه ملی سند علمی:

CECCONF10_040

تاریخ نمایه سازی: 6 شهریور 1399

Abstract:

در این مقاله به جستجوی مشخصه های تفاضلی الگوریتم رمز قالبی سایمون با بهره گیری از حل کننده های SAT/SMT پرداخته شده است. به این ترتیب که مسئله ی یافتن مشخصه های تفاضلی برای این رمز، ابتدا به یک مسئله ی ارضاپذیری تبدیل و سپس با استفاده از ابزارها و کتابخانه های مهیا شده، حل می شود. برای اینکار ابتدا به بی ان مسائل SAT/SMT و حل کننده های آنها پرداخته ایم. سپس تحلیل تفاضلی و ارتباط آن با این نوع حل کننده ها تبیین شده است. این مقاله مروری از کار استفان کوبل در زمینه استفاده از حل کننده های SAT/SMT برای جستجوی مشخصه های تفاضلی رمز سایمون است [6]. در بخش 2 الگوریتم رمزنگاری سایمون را مورد بررسی قرار داده ایم؛ سپس یک قضیه پایه برای محاسبه احتمال تفاضل در الگوریتم های شبه- سایمون بیان گردیده است. در مرحله بعد، برای محاسبه احتمال تفاضل رمز سایمون در دوره ای متوالی ارائه شده است. در نهایت با استفاده از حل کننده های SAT/SMT و بازنویسی معادلات برای آن ها بهترین مشخصه های تفاضلی به دست خواهد آمد.

Keywords:

Authors

منصور مولایی نژاد

دانشگاه صنعتی جندی شاپور دزفول

احمد حلالی

دانشگاه صنعتی جندی شاپور دزفول

محسن شکیبا

دانشگاه صنعتی جندی شاپور دزفول