اخبار و اعلانات
آمار
| تعداد نشریات | 38 |
| تعداد شماره‌ها | 1,258 |
| تعداد مقالات | 9,115 |
| تعداد مشاهده مقاله | 8,326,318 |
| تعداد دریافت فایل اصل مقاله | 5,040,893 |
تحلیل صوری آسیب‌پذیری‌های امنیتی در پروتکل مسیریابی OLSR با استفاده از ابزار SPAN | ||
| پدافند الکترونیکی و سایبری | ||
| مقاله 7، دوره 12، شماره 3 - شماره پیاپی 47، آبان 1403 | ||
| نوع مقاله: مقاله پژوهشی | ||
| نویسندگان | ||
| علی نقاش اسدی* 1؛ محمد عبداللهی ازگمی2 | ||
| 1استادیار،دانشکده فنی فومن، دانشکدگان فنی دانشگاه تهران، تهران، ایران | ||
| 2استاد،دانشگاه علم و صنعت ، تهران،ایران | ||
| تاریخ دریافت: 21 تیر 1403، تاریخ بازنگری: 23 شهریور 1403، تاریخ پذیرش: 06 مهر 1403 | ||
| چکیده | ||
| از شبکه‌های متحرک اقتضایی در زمینه‌های مختلفی استفاده می‌شود. این نوع شبکه‌ها به دلیل ویژگی‌هایشان نیازمند پروتکل‌های مسیریابی ویژه‌ای هستند. تمرکز این پروتکل‌ها معمولاً بر ارائه سرویس بهتر و کارایی بیشتر بوده و به مسائل امنیتی توجه کمتری دارند. بنابراین تهدیدات زیادی شامل شنود، دستکاری، جعل و غیره برای این شبکه‌ها وجود دارد. از جمله این پروتکل‌ها مسیریابی می‌توان به پروتکل مسیریابی وضعیت لینک بهینه‌شده یا به اختصار OLSR اشاره کرد. هدف اصلی این پروتکل، جلوگیری از ارسال غیرضروری بسته‌های کنترلی است، تا ازدحام کمتری در ترافیک شبکه ایجاد شده و کارایی و سرویس‌دهی بهتر شود. با این حال تقریباً هیچ ملاحظات امنیتی برای پروتکل مسیریابی OLSR تعریف نشده است و بنابراین هدف بسیاری از حملات است. تحقیقاتی وجود دارند که در آنها امنیت پروتکل مسیریابی OLSR مورد بررسی قرار گرفته است، ولی در هیچ کدام از آنها تحلیل امنیتی جامعی با روش‌های صوری انجام نشده است. در این مقاله یک روش صوری مبتنی بر ابزار SPAN، برای تحلیل امنیتی این پروتکل مسیریابی ارائه شده است که با استفاده از آن، آسیب‌پذیری‌های گزارش شده برای این پروتکل، شناسایی و تصدیق شده است. در نهایت، راه‌حل‌هایی مبتنی بر رمزنگاری برای رفع این آسیب‌پذیری‌ها پیشنهاد شده است. | ||
| کلیدواژه‌ها | ||
| پروتکل مسیریابی OLSR؛ آسیب‌پذیری‌های امنیتی؛ تحلیل صوری؛ ابزار SPAN | ||
| موضوعات | ||
| امنیت اطلاعات، رمزنگاری، پنهان نگاری، پروتکل ها و استانداردها | ||
| عنوان مقاله [English] | ||
| Formal Analysis of Security Vulnerabilities in OLSR Routing Protocol Using SPAN Tool | ||
| نویسندگان [English] | ||
| Ali Naghash Asadi1؛ Mohammad Abdollahi Azgomi2 | ||
| 1Assistant Professor, Foman Technical College, Tehran University Technical College, Tehran, Iran | ||
| 2Professor, University of Science and Technology, Tehran, Iran | ||
| چکیده [English] | ||
| Ad-hoc mobile networks are used in various fields. These networks require special routing protocols due to their characteristics. These protocols usually focus on providing better service and more efficiency and ignore security issues. Therefore, there are many threats including sniffing, tampering, and spoofing in these networks. Among these routing protocols, we can refer to the optimized link state routing protocol, or OLSR for short. The main purpose of this protocol is to prevent the unnecessary sending of control packets so that less congestion is created in network traffic and efficiency and service are improved. However, no security considerations are defined for the OLSR protocol, and thus it is the target of many attacks. There are researches in which the security of the OLSR protocol has been investigated, but in none of them, no comprehensive security analysis has been provided using formal methods. In this paper, a formal method based on the SPAN tool has been presented for the security analysis of the OLSR protocol, by using which the vulnerabilities reported for it have been identified and confirmed. Finally, cryptography-based solutions have been proposed to address these vulnerabilities. | ||
| کلیدواژه‌ها [English] | ||
| OLSR protocol, Security vulnerabilities, Formal analysis, SPAN tool | ||
| مراجع | ||
|
| ||
|
آمار تعداد مشاهده مقاله: 135 |
||