اصلاح توابع بولی برای تضمین ماکیزیمم امنیت جبری
چکیده
در این پایان نامه با معرفی سیستم های رمزنگاری و یکی از انواع مهم آن به نام رمزهای جریان به سراغ توابع بولی رفته و با تعریف تابع بولی و مفاهیم مرتبط با آن از جمله درجه ی جبری، غیر خطی بودن، صفرکنندگی و امنیت جبری و...آشنا می شویم. سپس حملات جبری به سیستم های رمزنگاری را شرح خواهیم داد و ارتباط امنیت جبری با مقاومت یک سیستم رمزنگاری در مقابل حملات جبری را بیان خواهیم کرد. در ادامه قضایایی خواهیم دید که با اصلاح مناسب توابع بولی، توابع جدیدی به دست می دهند که دارای ماکزیمم امنیت جبری خواهند بود، و در پایان الگوریتم هایی مناسب را برای تضمین به دست آوردن توابع با ماکزیمم امنیت جبری بیان می کنیم.