علمی‌جو
مقاله کنفرانسی سال ۱۳۹۹ فارسی

جستجوی مشخصه های تفاضلی دارای احتمال قابل قبول برای تحلیل تفاضلی در الگوریتم رمز قالبی سایمون به کمک حل کننده های SAT/SMT

منصور مولایی نژاداحمد حلالیمحسن شکیبا

چکیده مقاله

در این مقاله به جستجوی مشخصه های تفاضلی الگوریتم رمز قالبی سایمون با بهره گیری از حل کننده های SAT/SMT پرداخته شده است به این ترتیب که مسئله ی یافتن مشخصه های تفاضلی برای این رمز، ابتدا به یک مسئله ی ارضاپذیری تبدیل و سپس با استفاده از ابزارها و کتابخانه های مهیا شده، حل می شود برای اینکار ابتدا به بی ان مسائل SAT/SMT و حل کننده های آنها پرداخته ایم سپس تحلیل تفاضلی و ارتباط آن با این نوع حل کننده ها تبیین شده است این مقاله مروری از کار استفان کوبل در زمینه استفاده از حل کننده های SAT/SMT برای جستجوی مشخصه های تفاضلی رمز سایمون است 6 در بخش 2 الگوریتم رمزنگاری سایمون را مورد بررسی قرار داده ایم؛ سپس یک قضیه پایه برای محاسبه احتمال تفاضل در الگوریتم های شبه سایمون بیان گردیده است در مرحله بعد، برای محاسبه احتمال تفاضل رمز سایمون در دوره ای متوالی ارائه شده است در نهایت با استفاده از حل کننده های SAT/SMT و بازنویسی معادلات برای آن ها بهترین مشخصه های تفاضلی به دست خواهد آمد

کلیدواژه‌ها

الگوریتم رمز سایمون مشخصه تفاضلی حل کننده های SAT/SMT

نویسندگان

شیوه ارجاع

مولایی نژاد، منصور و حلالی، احمد و شکیبا، محسن،1399،جستجوی مشخصه های تفاضلی دارای احتمال قابل قبول برای تحلیل تفاضلی در الگوریتم رمز قالبی سایمون به کمک حل کننده های SAT/SMT،دهمین کنفرانس ملی علوم و مهندسی کامپیوتر و فناوری اطلاعات،بابل

ارائه‌شده در

پوستر مجموعه مقالات دهمین کنفرانس ملی علوم و مهندسی کامپیوتر و فناوری اطلاعات مجموعه مقالات دهمین کنفرانس ملی علوم و مهندسی کامپیوتر و فناوری اطلاعات30 مرداد 1399 · بابل
ادامه مسیر پژوهش

مقالات مرتبط

مقاله کنفرانسی سال ۱۳۹۹ ۴,۶۱۶ مشاهده

کاربردهای هوش مصنوعی برای امنیت اطلاعات و داده های بزرگ الکترونیکی در پس زمینه اینترنت

در این مقاله امکان استفاده از فناوری های هوش مصنوعی برای اطمینان از امنیت اطلاعات مورد بررسی قرار گرفته…

هوش مصنوعیامنیت اطلاعاتداده های بزرگ
مقاله کنفرانسی سال ۱۳۹۹ ۲,۲۰۰ مشاهده

تاثیر داده کاوی بر امنیت شبکه

با گسترش روز افزون شبکه های کامپیوتری امنیت شبکه های کامپیوتری از اولویت زیادی برخوردار شده است سیستم ها…

امنیت شبکهتشخیص نفوذداده کاوی
مقاله کنفرانسی سال ۱۳۹۹ ۲,۰۷۶ مشاهده

بررسی کاربرد دیجیتال در هنر

اصطلاحی عمومی برای طیف وسیعی از آثار هنری و شیوه هایی است که از فناوری دیجیتال بعنوان بخش اصلی و مهم فرا…

فناوریدیجیتالهنر
مقاله کنفرانسی سال ۱۳۹۹ ۱,۵۹۶ مشاهده

بررسی اصول و پایه های امنیت اطلاعات و پایگاه داده در سازمان ها

در حال حاضر دسترسی غیرمجاز به اطلاعات سیستم ها، در سازمان ها یک تهدید جدی برای سازمان ها محسوب می شود ای…

سازمان هاامنیت اطلاعاتامنیت پایگاه داده
مقاله کنفرانسی سال ۱۳۹۹ ۱,۴۰۸ مشاهده

هوش مصنوعی و یادگیری ماشین به عنوان ابزارهای کسب و کار: چارچوبی برای تشخیص عوامل تخریب- ارزش کسب و کار

هوش مصنوعی و یادگیری ماشین می توانند باعث صرفه جویی پول و افزایش کارایی فرایندهای کسب و کار شوند، اما بع…

یادگیری ماشینکسب و کارهوش مصنوعی
مقاله کنفرانسی سال ۱۳۹۹ ۱,۳۰۱ مشاهده

تشخیص احساس از روی سیگنال مغزی بر پایه ی شبکه عصبی کانولوشن الکس نت

احساس یکی از مهم ترین ارکان زندگی انسان است و تا حد زیادی قسمتی از تصمیم گیری های روزانه افراد از احساس…

احساسسیگنال مغزیمنحنی بازگشتی