حمله SMT: حمله نسل بعدی در مدارهای مبهم سازی شده با قابلیت‌ها و عملکردهای فراتر از حملات SAT
واتساپ:09141077352 همراه: 09141077352 ثابت: 35250068-041 سفارش سمینار و مقاله سفارش ترجمه تخصصی
 

دانلود فایل با شمار فاکتور

لطفا شماره فاکتور خود را درج نمایید


جدیدترین لغات واژه‌نامه

آمار بازدیدکنندگان

بازدید امروز :80
بازدید روز گذشته :72
بازدید این هفته :430
بازدید این ماه :2190
مجموع آمار بازدید ها :780463

عنوان محصول: حمله SMT: حمله نسل بعدی در مدارهای مبهم سازی شده با قابلیت‌ها و عملکردهای فراتر از حملات SAT

دسته‌بندی: مقالات ترجمه شده رشته کامپیوتر
تاریخ انتشار: سه شنبه 21 مرداد 1399
حمله SMT: حمله نسل بعدی در مدارهای مبهم سازی شده با قابلیت‌ها و عملکردهای فراتر از حملات SAT حمله SMT: حمله نسل بعدی در مدارهای مبهم سازی شده با قابلیت‌ها و عملکردهای فراتر از حملات SAT
توضیحات مختصر: در این مقاله، ما حمله تئوری مدول رضایتمندی (SMT) بر روی مدارهای مبهم سازی شده را معرفی می‌کنیم. حمله پیشنهادی ابر مجموعه‌ای از حملات رضایتمندی (SAT) با ویژگی‌های اضافی بیشتر است. این حمله از یک یا چند حل‌کننده به‌علاوه حل‌کننده SAT درونی استفاده می‌کند. به همین دلیل، امکان مدل‌سازی رفتارهای بسیار پی...
حمله SMT: حمله نسل بعدی در مدارهای مبهم سازی شده با قابلیت‌ها و عملکردهای فراتر از حملات SAT حمله SMT: حمله نسل بعدی در مدارهای مبهم سازی شده با قابلیت‌ها و عملکردهای فراتر از حملات SAT


قیمت قیمت : 57000 تومان
تخفیف تخفیف: 5000 تومان
تخفیف تخفیف ویژه : 10 درصد
قیمت نهایی قیمت نهایی: 46300 تومان
317 بازدید
کد مقاله: TTC- 3858
نوع فایل : docx
لینک دانلود فایل خریداری شده بلافاصله بعد از خرید موفق فعال خواهد شد.
Journal: IACRTransactionsonCryptographicHardwareandEmbeddedSystems 2019,

SMT Attack: Next Generation Attack on Obfuscated Circuits with Capabilities and Performance Beyond the SAT Attacks
Abstract
In this paper, we introduce the Satisfiability Modulo Theory (SMT) attack on obfuscated circuits. The proposed attack is the superset of Satisfiability (SAT) attack, with many additional features. It uses one or more theory solvers in addition to its internal SAT solver. For this reason, it is capable of modeling far more complex behaviors and could formulate much stronger attacks. In this paper, we illustrate that the use of theory solvers enables the SMT to carry attacks that are not possible by SAT formulated attacks. As an example of its capabilities, we use the SMT attack to break a recent obfuscation scheme that uses key values to alter delay properties (setup and hold time) of a circuit to remain SAT hard. Considering that the logic delay is not a Boolean logical property, the targeted obfuscation mechanism is not breakable by a SAT attack. However, in this paper, we illustrate that the proposed SMT attack, by deploying a simple graph theory solver, can model and break this obfuscation scheme in few minutes. We describe how the SMT attack could be used in one of four different attack modes: (1) We explain how SMT attack could be reduced to a SAT attack, (2) how the SMT attack could be carried out in Eager, and (3) Lazy approach, and finally (4) we introduce the Accelerated SMT (AccSMT) attack that offers significant speed-up to SAT attack. Additionally, we explain how AccSMT attack could be used as an approximate attack when facing SMT-Hard obfuscation schemes.
Keywords: Reverse Engineering, Logic Locking, Boolean Satisfiability, Satisfiability Modulo Theory, SMT, Theory Solver

چکیده
در این مقاله، ما حمله تئوری مدول رضایتمندی (SMT) بر روی مدارهای مبهم سازی شده را معرفی می‌کنیم. حمله پیشنهادی ابر مجموعه‌ای از حملات رضایتمندی (SAT) با ویژگی‌های اضافی بیشتر است. این حمله از یک یا چند حل‌کننده به‌علاوه حل‌کننده SAT درونی استفاده می‌کند. به همین دلیل، امکان مدل‌سازی رفتارهای بسیار پیچیده و فرموله نمودن حملات بسیار قوی‌تر ممکن می‌شود. در این مقاله، ما نشان می‌دهیم که استفاده از حل‌کننده‌های تئوری، SMT را قادر به انجام حملاتی می‌کنند که با استفاده از حملات فرموله شده SAT قابل انجام نیستند. به‌عنوان یک مثال از این قابلیت‌ها، ما از حمله (SAT) برای غلبه بر طرح مبهم سازی که در آن از مقادیر کلیدها برای تغییر مشخصه‌های تأخیر مدار جهت مشکل نمودن حملات SAT به کار برده می‌شوند، استفاده می‌کنیم. باید در نظر داشت که تأخیر منطقی یک مشخصه منطقی بولین نیست و از طرفی مکانیسم مبهم سازی هدف توسط یک حمله SAT قابل شکستن نمی‌باشد. با این حال در این مقاله، ما نشان می‌دهیم که حمله SMT پیشنهادی با استقرار یک حل‌کننده تئوری گراف ساده می‌تواند این طرح مبهم سازی را در چند دقیقه مدل‌سازی نموده و بر آن غلبه نماید. ما در این مقاله توضیح می‌دهیم که چگونه یک حمله SMT را می‌توان برای چهار حالت مختلف حمله استفاده نمود: (1) ما چگونگی کاهش یک حمله SMT به یک حمله SAT را توضیح می‌دهیم (2) چگونگی اجرای حمله SMT در Eager را توضیح می‌دهیم (3) رویکرد کند توضیح داده شده و درنهایت (4) حمله SMT تسریع شده (AccSMT) معرفی می‌شود که می‌تواند سرعت حمله SAT را به‌صورت چشمگیری افزایش دهد. علاوه بر این ما چگونگی استفاده از حمله AccSMT به‌عنوان حمله تقریب در زمان مواجه با طرح‌های مبهم سازی دشوار SMT را توصیف می‌کنیم.
کلمات کلیدی: مهندسی معکوس، قفل‌گذاری منطقی، رضایتمندی بولین، تئوری مدول رضایتمندی، SMT، حل‌کننده تئوری.

تعداد صفحات انگلیسی تعداد صفحات انگلیسی:26 صفحه
تعداد صفحات فارسی تعداد صفحات فـارسـی:40 صفحه

  • آدرس: تبریز، آبرسان، مهرگان چهارم
  • تلفن  تماس: 09016347107
  • تلفن  ثابت : 35250068-041
  •  Mailttcenterاین آدرس ایمیل توسط spambots حفاظت می شود. برای دیدن شما نیاز به جاوا اسکریپت دارید : آدرس  ایمیل
  • @zoodyab :آدرس تلگرام
مرکز  تخصصی  تلاش ترجمه از  سال  1385 شروع به کار نموده است  و تا کنون بیش از ده هزار ترجمه در رشته ها و زمینه های مختلف توسط متخصصین این مرکز انجام  شده  است.

تمامی ترجمه‌های انجام شده توسط موسسه تخصصی تلاش ترجمه، به صورت دستی (غیرماشینی) بوده و توسط مترجمین با سابقه انجام می‌شوند. ترجمه‌های انجام شده توسط موسسه تلاش ترجمه در قالب فایل Word و به صورت کاملا روان و بازخوانی شده و با ضمانت بازگشت وجه 72 ساعته (در صورت عدم رضایت از ترجمه) خدمت مشتریان محترم ارائه می‌شود.