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

سال انتشار: 1395
نوع سند: مقاله ژورنالی
زبان: فارسی
مشاهده: 827

فایل این مقاله در 10 صفحه با فرمت PDF قابل دریافت می باشد

استخراج به نرم افزارهای پژوهشی:

لینک ثابت به این مقاله:

شناسه ملی سند علمی:

JR_SAIRAN-7-3_002

تاریخ نمایه سازی: 8 دی 1395

چکیده مقاله:

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

کلیدواژه ها:

برنامه ریزی خطی عدد صحیح آمیخته ، تحلیل خطی ، رمزنگاری احرازاصالت شده

نویسندگان

صادق صادقی

دانشجوی دکتری، دانشکده علوم ریاضی و کامپیوتر، دانشگاه خوارزمی

فاطمه پیرمرادیان

دانشجوی کارشناسی ارشد مهندسی برق، دانشگاه تربیت دبیر شهید رجایی

نصور باقری

استادیار دانشکده مهندسی برق ، دانشگاه تربیت دبیر شهید رجایی،