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