ارائه يك روش كارا در سطح دروازه مبتني بر رويكرد آزمون منطق براي تشخيص اسب تروآي سخت‌افزاري در تراشه‌ها

كارشناسي ارشد

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

188723

دانشگاه علم و صنعت ايران

دكتر احمد پاطوقي

معماري سيستم‌هاي كامپيوتري

دكتر مهدي فاضلي