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

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