کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
6883956 1444210 2018 23 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Formally modeling deceptive patches using a game-based approach
ترجمه فارسی عنوان
به طور رسمی پچ های فریبنده را با استفاده از رویکرد مبتنی بر بازی، مدل سازی می کند
کلمات کلیدی
امنیت، پچ نرم افزار، تاثیر فریبنده، مدل سازی مبتنی بر بازی، پیاده سازی تکه های فریبنده،
ترجمه چکیده
در این تحقیق ابتدا تعاریف امنیتی رسمی مبتنی بر بازی را معرفی می کنیم که تأثیرات امنیتی مدعی تکنیک را نشان می دهد و مدل مبتنی بر بازی را با استفاده از این تعاریف ارائه می دهد. سپس این مدل عمومی را برای تکه های مصنوعی، مبهوت شده و پاسخ فعال اعمال می کنیم تا به صورت رسمی تحلیل تأثیرات امنیتی آنها را بررسی کنیم. در نهایت ما بحث می کنیم که آیا این خواص ایده آل سیستم های فریبنده در واقعیت به دست می آید.
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر شبکه های کامپیوتری و ارتباطات
پیش نمایش مقاله
به طور رسمی پچ های فریبنده را با استفاده از رویکرد مبتنی بر بازی، مدل سازی می کند
چکیده انگلیسی
In this research, we first introduce formal game-based security definitions that capture the technique's claimed security impact and present a general game-based model using these definitions. We then apply this general model to faux, obfuscated, and active response patches to formally analyze their security impact. Finally, we discuss whether these ideal properties of deceptive systems can be achieved in reality.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Computers & Security - Volume 75, June 2018, Pages 182-190
نویسندگان
, ,