چکیده
مدل سازی تهدید که فرآیند شناسایی، سنجش و تحلیل تهدیدهای احتمالی سیستم های مبتنی بر کامپیوتر است به موضوعی مهم در طراحی سیستم های نرم افزاری امن تبدیل شده است. بر خلاف روش های قبلی که در مدل سازی تهدید به کار می رفتند، همچنان سیستم های بسیاری وجود دارند که احتمال حمله به آن ها وجود دارد. در این کار پژوهشی، تکنیک مدل سازی تهدید مبتنی بر منطق فازی طراحی می گردد. این تکنیک شامل فازی سازی متغیرهای ورودی می شود که بر اساس شش دسته عمده تهدیدات (STRIDE: اسپوفینگ، تحریف، مخدوش سازی، افشای داده ها، عدم سرویس دهی و ارتقاء مجوز)، ارزیابی دستور و جمع آوری خروجی دستور می باشد. این طرح بر اساس سیستم استنباط به سبک Mamdani است که برای ارائه استدلال های انسانی و تحلیل های کارآمد مناسب است. نتایج استفاده از این طرح برای تست پنج سیستم کامپیوتری، نشان دهنده ابزاری هستند که به شکل مؤثری در تحلیل تهدیدهای احتمالی برای سیستم های مبتنی بر کامپیوتر قابل استفاده است.
مقدمه
امروزه، تجزیه و تحلیل ریسک نقش مهمی را در کارهای مدیریت امنیت بازی می کند. Davis و همکارانش (2004) بیان کردند که مدیریت ریسک ابزاری است که می تواند به تولید نرم افزار امن کمک کند. به عبارت دیگر، تحلیل ریسک برای امنیت برای تولید محصولات نرم افزاری امن حیاتی است. طراحی سیستم کامپیوتری امن، مسئله ای دشوار است که به طور گسترده پذیرفته شده است. مهاجمین مکرراً به سیستم ها هجوم می آورد و خرابی های زیادی را به بار می آورند و در نتیجه، کاربران نرم افزار در حال حاضر به محصولات نرم افزاری امن علاقه مند هستند. در گذشته، برای حل مشکلات امنیتی بسیار، تکنیک های متعددی توسعه یافته است. اقدامات امنیتی منتخب ناقص نشان دادند که در مواجهه با حملات حساب شده بی فایده یا حتی مخرب هستند. در نتیجه طراحان سیستم امنیتی باید به ایجاد امنیت در هر مرحله از طراحی نرم افزار توجه داشته باشند.
Abstract
Threat modeling, which is the process of identifying, quantifying and analyzing potential threats of computer-based systems, has become a significant consideration towards designing secure software systems. Despite the previous methods adopted for threat modeling, there are still many systems that are probable to attack. In this work, a fuzzy logic-based threat modeling technique is designed. The technique involves the fuzzification of input variables that is based on six major categories of threats (STRIDE- Spoofing, Tampering, Repudiation, Information Disclosure, Denial of Service, and Elevation of Privilege), rule evaluation, and aggregation of the rule outputs. The design is based on Mamdani-style inference system which is very good for the representation of human reasoning and effective analysis. The implementation is done using MATLAB fuzzy logic tools. Using the design to test five computer systems, the result shows a tool that can be effectively used to analyze potential threats to computer-based systems.
Introduction
Nowadays, risk analysis plays a significant role in security management efforts. It was explained in Davis et al., 2004 that risk management is a tool that can help in production of secure software. In other words, security risk analysis is crucial to producing secure software products. It is widely accepted that designing secure computer system is a difficult problem. Attackers frequently break into systems and cause a lot of destruction and as a result, software users are now interested in secure software products. In the past, many techniques have been developed to solve a wide array of security problems. Poorly chosen security measures can prove to be useless, or even counterproductive in the face of a well-executed attack. As such, the security system designers must be interested in incorporating security into every stage of software design.
چکیده
مقدمه
بررسی متون
روش طراحی
مدل
الف. فازی کردن
ب. ارزیابی دستور
ج. گردآوری خروجی های دستور
د. خروج از حالت فازی
پیاده سازی و ارزیابی
پیاده سازی
ارزیابی
نتیجه گیری و کارهای آتی
نتیجه گیری
Abstract
Introduction
Literature Review
Design Methodology
The Model
a. Fuzzification
b. Rule Evaluation
c. Aggregation of the rule outputs
d. Defuzzification
Implementation and Evaluation
Implementation
Evaluation
Conclusion