تحلیل خطی خودکار طرح رمزنگاری احراز اصالت شده NORX

نویسندگان

1 دانشگاه خوارزمی

2 دانشگاه تربیت دبیر شهید رجایی

3 دکتری- دانشگاه تربیت دبیر شهید رجایی

doi
چکیده

مسابقات سزار یک رقابت برای طراحی طرح‌های رمزنگاری احراز اصالت شده مبتنی بر داده همراه (AEAD) می‌باشد. طرح NORX یکی از کاندیدای مسابقات سزار می‌باشد که به دور دوم این مسابقات راه یافته است. در این مقاله اولین تحلیل خطی از این طرح برای تمایز بین دنباله کلید تولید شده و یک دنباله تصادفی با استفاده از روش برنامه‌ریزی خطی عدد صحیح آمیخته(MILP) انجام شده است. تحلیل‌های دورکاهشی انجام شده در این مقاله برای یک دور از چهار دور NORX8، NORX16، NORX32 و NORX64 از این طرح صورت پذیرفته است. مشخصه‌های خطی به دست آمده از این چهار نسخه به ترتیب دارای بایاس 2^(-52) ، 2^(-47) ، 2^(-21) و 2^(-76) می‌باشد، که به دلیل بهینه بودن جواب در مورد نسخه اول، کارا بودن این نسخه از طرح در مقابل حمله خطی حتی برای یک دور را نشان می‌دهد.