ارائه كران بالا براي احتمال مشخصه‌هاي تفاضلي پنج ساختار رمز قالبي داراي امنيت اثبات‌پذير

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