فهرست نشریات علمی دسترسی آزاد ایران

رمزهای قالبی نقش مهم در تأمین امنیت اطلاعات و ارتباطات و پدافند الکترونیکی و سایبری دارند. یک رمز قالبی امن می‌بایست در برابر حملات شناخته‌شده مانند حمله تفاضلی امن باشد. در سال 2008 کیم و همکاران هفت ساختار رمز قالبی با ویژگی امنیت اثبات‌پذیر در برابر حمله تفاضلی ارائه کردند که از آن‌ها برای طراحی برخی رمزهای قالبی استفاده شده است. در این مقاله کران بالای مشخصه‌های تفاضلی با تعداد دورهای مختلف، برای پنج ساختار از ساختارهای ذکرشده ارائه می‌شود. برای این کار از روش تحلیل تفاضلی خودکار مبتنی بر برنامه‌ریزی خطی برای شمارش حداقل تعداد تابع­های دور فعال استفاده شده است. این روش به‌طور رسمی توسط موها و همکارانش در سال 2011 ارائه شد و تاکنون برای تحلیل و ارزیابی رمزهای قالبی متعددی به‌کار گرفته شده است. بدین ترتیب نشان داده می­شود مشخصه‌های تفاضلی پنج دوری از ساختارهای ذکرشده، کران بالای  دارند که در مقایسه با کران‌های تفاضلی ارائه‌شده توسط کیم و همکاران مورد تأیید هستند. منظور از p، مشخصه تفاضلی تابع دور مورد استفاده در این ساختارها است.