[صفحه اصلی ]     [ English ]  
بخش‌های اصلی
درباره دانشکده::
مدیریت دانشکده::
اعضای هیات علمی ::
معرفی افراد::
امور آموزش::
امور پژوهشی::
آموزش الکترونیکی::
پردیس شماره 2::
اخبار و رویدادها::
فضاهای آموزشی و تحقیقاتی ::
تسهیلات پایگاه::
::
ورود به سایت دروس

AWT IMAGE

نام کاربری
کلمه عبور

AWT IMAGE
رمز ورود را فراموش کرده‌اید؟

..
دفاعیه کارشناسی ارشد

دفاعیه کارشناسی ارشد

..
جستجو در پایگاه

جستجوی پیشرفته
..
دریافت اطلاعات پایگاه
نشانی پست الکترونیک خود را برای دریافت اطلاعات و اخبار پایگاه، در کادر زیر وارد کنید.
..
:: دفاعیه ارشد : محمد امین نوریان ::
 | تاریخ ارسال: ۱۳۹۵/۹/۱۶ | 

AWT IMAGE

 آقای محمد امین نوریان دانشجوی کارشناسی ارشد جناب آقای دکتر مهدی فاضلی  روز چهارشنبه 24/9/95 ساعت 13:30در اتاق سمینار واقع در طبقه سوم دانشکده کامپیوتر از پروژه کارشناسی ارشد خود تحت عنوان ارائه یک روش کارا در سطح دروازه مبتنی بر رویکرد آزمون منطق برای تشخیص اسب تروآی سخت افزاری در تراشه ها دفاع خواهند نمود.

  چکیده پایان نامه:

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

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

با توجه به شبیه‌سازی‌ کارهای گذشته و روش پیشنهادی می‌توان پی به این نکته برد که روش پیشنهادی کارایی بهتری نسبت به کارهای گذشته داشته است. از نظر زمان تولید بردارهای تست در مقایسه با کارهای پیشین کاهش چشمگیری را شاهد هستیم. به‌طوری‌که نتایج حاصل از شبیه‌سازی از کاهش 80 درصدی زمان تولید بردارهای تست (به طور متوسط)، نسبت به کارهای مشابه حکایت می‌کند. از طرف دیگر این کاهش زمان تولید بردارهای تست با افزایش درصد پوشش تحریک تروجان‌ها همراه شده است. به طور متوسط برای هر یک از مدارهای محک افزایش 2 درصدی پوشش تحریک را شاهد هستیم. البته چنانچه تروجان‌های درج‌شده بسیار سخت تحریک باشند، این افزایش پوشش تحریک تا 23 درصد نیز می‌رسد. علت این موضوع به نحوه انتخاب تابع تناسب الگوریتم ژنتیک که به صورت جدید انجام شده است، برمی‌گردد.

واژه‌های کلیدی: تشخیص تروجان سخت‌افزاری، الگوریتم ژننتیک، درصد پوشش تحریک تروجان

 

Abstract:

Today, integrated circuits have different applications in different domains such as military industries, economic, … . So the consequences of an attack can be expensive which indicates the importance of hardware safety studies. 

In this thesis a new heuristic method based on Genetic Algorithm is proposed which can generate test sets for hardware Trojan detection. Innovation of this study is to provide a proper fitness function for genetic algorithm that proves better evaluation. The parameters of controllability, observability and transition probability of rare nodes have been used in this fitness function. Also, instead of direct evaluation test vectors, rare nodes are evaluated.

According to simulation of past works and proposed method can be followed to this point that the proposed method has better performance than previous works. The generation time for test sets dramatically has been reduced. Results of the simulation indicate 80% reduction in generation time for test sets (on average), compared to the same works. On the other hand reduced generation time for test vectors has been associated with an increase in trigger coverage percent. For each benchmark circuits, the trigger coverage experiences 2% increment. of course, if inserted Trojans are very hard to trigger, trigger coverage increases to 23% .This is due to the selection of a new fitness function for genetic algorithm.

Keywords: hardware Trojan detection, Genetic Algorithm, Trigger coverage percent

  ارائه ­دهنده:

 محمد امین نوریان 

  اساتید راهنما:

  دکترمهدی فاضلی 

  استاد ممتحن داخلی : دکتر محسن سریانی 

  استاد ممتحن خارجی : دکتر سیاوش بیان سرمدی 

  زمان : چهارشنبه 24 آذرماه

  ساعت 13:30

  مکان: دانشکده مهندسی کامپیوتر- طبقه سوم- اتاق سمینار

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

  دانشکده مهندسی کامپیوتر مدیریت تحصیلات تکمیلی

دفعات مشاهده: 954 بار   |   دفعات چاپ: 111 بار   |   دفعات ارسال به دیگران: 0 بار   |   0 نظر
سایر مطالب این بخش سایر مطالب این بخش نسخه قابل چاپ نسخه قابل چاپ ارسال به دوستان ارسال به دوستان
School of Computer Engineering
Persian site map - English site map - Created in 0.165 seconds with 928 queries by yektaweb 3300