تحلیل صوری آسیب پذیری های امنیتی در پروتکل مسیریابی OLSR با استفاده از ابزار SPAN

از شبکه های متحرک اقتضایی در زمینه های مختلفی استفاده می شود. این نوع شبکه ها به دلیل ویژگی هایشان نیازمند پروتکل های مسیریابی ویژه ای هستند. تمرکز این پروتکل ها معمولا بر ارائه سرویس بهتر و کارایی بیشتر بوده و به مسائل امنیتی توجه کمتری دارند. بنابراین تهدیدات زیادی شامل شنود، دستکاری، جعل و غیره برای این شبکه ها وجود دارد. از جمله این پروتکل ها مسیریابی می توان به پروتکل مسیریابی وضعیت لینک بهینه شده یا به اختصار OLSR اشاره کرد. هدف اصلی این پروتکل، جلوگیری از ارسال غیرضروری بسته های کنترلی است، تا ازدحام کمتری در ترافیک شبکه ایجاد شده و کارایی و سرویس دهی بهتر شود. با این حال تقریبا هیچ ملاحظات امنیتی برای پروتکل مسیریابی OLSR تعریف نشده است و بنابراین هدف بسیاری از حملات است. تحقیقاتی وجود دارند که در آنها امنیت پروتکل مسیریابی OLSR مورد بررسی قرار گرفته است، ولی در هیچ کدام از آنها تحلیل امنیتی جامعی با روش های صوری انجام نشده است. در این مقاله یک روش صوری مبتنی بر ابزار SPAN، برای تحلیل امنیتی این پروتکل مسیریابی ارائه شده است که با استفاده از آن، آسیب پذیری های گزارش شده برای این پروتکل، شناسایی و تصدیق شده است. در نهایت، راه حل هایی مبتنی بر رمزنگاری برای رفع این آسیب پذیری ها پیشنهاد شده است.

کلیدواژه های تحلیل صوری آسیب پذیری های امنیتی در پروتکل مسیریابی OLSR با استفاده از ابزار SPAN:

پروتکل مسیریابی OLSR ، آسیب پذیری های امنیتی ، تحلیل صوری ، ابزار SPAN