تحلیل صوری آسیبپذیریهای امنیتی در پروتکل مسیریابی OLSR با استفاده از ابزار SPAN | ||
| پدافند الکترونیکی و سایبری | ||
| مقاله 6، دوره 12، شماره 3 - شماره پیاپی 47، پاییز 1403، صفحه 61-71 اصل مقاله (977.72 K) | ||
| نوع مقاله: مقاله پژوهشی | ||
| نویسندگان | ||
| علی نقاش اسدی* 1؛ محمد عبداللهی ازگمی2 | ||
| 1استادیار،دانشکده فنی فومن، دانشکدگان فنی دانشگاه تهران، تهران، ایران | ||
| 2استاد،دانشگاه علم و صنعت ، تهران،ایران | ||
| چکیده | ||
| از شبکههای متحرک اقتضایی در زمینههای مختلفی استفاده میشود. این نوع شبکهها به دلیل ویژگیهایشان نیازمند پروتکلهای مسیریابی ویژهای هستند. تمرکز این پروتکلها معمولاً بر ارائه سرویس بهتر و کارایی بیشتر بوده و به مسائل امنیتی توجه کمتری دارند. بنابراین تهدیدات زیادی شامل شنود، دستکاری، جعل و غیره برای این شبکهها وجود دارد. از جمله این پروتکلها مسیریابی میتوان به پروتکل مسیریابی وضعیت لینک بهینهشده یا به اختصار OLSR اشاره کرد. هدف اصلی این پروتکل، جلوگیری از ارسال غیرضروری بستههای کنترلی است، تا ازدحام کمتری در ترافیک شبکه ایجاد شده و کارایی و سرویسدهی بهتر شود. با این حال تقریباً هیچ ملاحظات امنیتی برای پروتکل مسیریابی OLSR تعریف نشده است و بنابراین هدف بسیاری از حملات است. تحقیقاتی وجود دارند که در آنها امنیت پروتکل مسیریابی OLSR مورد بررسی قرار گرفته است، ولی در هیچ کدام از آنها تحلیل امنیتی جامعی با روشهای صوری انجام نشده است. در این مقاله یک روش صوری مبتنی بر ابزار SPAN، برای تحلیل امنیتی این پروتکل مسیریابی ارائه شده است که با استفاده از آن، آسیبپذیریهای گزارش شده برای این پروتکل، شناسایی و تصدیق شده است. در نهایت، راهحلهایی مبتنی بر رمزنگاری برای رفع این آسیبپذیریها پیشنهاد شده است. | ||
| کلیدواژهها | ||
| پروتکل مسیریابی OLSR؛ آسیبپذیریهای امنیتی؛ تحلیل صوری؛ ابزار SPAN | ||
| مراجع | ||
|
| ||
|
آمار تعداد مشاهده مقاله: 401 تعداد دریافت فایل اصل مقاله: 212 |
||