25550

بهبود يك پروتكل امنيتي در شبكه‌هاي اقتضايي خودرويي

كارشناسي ارشد

مهندسي برق- مخابرات ـ سيستم

1397

1400/6/31

بهمن ابوالحسني

نصور باقري

مهندسي برق

هدف اين پايان نامه، بررسي و بهبود امنيت يك پروتكل احراز اصالت و توليد كليد نشست در شبكه هاي اقتضايي خودرويي است. هنگامي كه خودروهاي الكتريكي در قالب يك شبكه هوشمند مشبك1 پياده سازي مي شوند، امكانات بيشتري از آنچه كه به طور طبيعي از اين شبكه ها انتظار مي رود فراهم مي نمايند. با اين وجود، مسأله حفظ حريم خصوصي و امنيت از جمله مهم ترين ملاحظاتي است كه هنگام طراحي و بهره برداري از يك شبكه اقتضايي خودرويي بايد در نظر داشت. يك پروتكل كارا در شبكه ي اقتضايي خودرويي بايد ايمن و سبك وزن باشد و در عين حال مي بايست حريم خصوصي كابران شبكه را حفظ نمايد. در اين پايان نامه، پس از معرفي پروتكل هاي احراز اصالت و توليد كليد نشست SUKAو AKAو اشاره به نقاط ضعف امنيتي آن ها يك پروتكل جديد ايمن بر مبناي رمزنگاري مبتني بر خم بيضوي ارائه شده است. پروتكل پيشنهادي در برابر حملاتي كه متوجه پروتكل هاي بررسي شده در مراجع هستند مقاوم مي باشد. اين موارد شامل: حمله رديابي نهادها حين تبادل پيام، حمله جعل هويت، حمله ايجاد اختلال در همزماني ميان نهادها و حمله دستيابي به كليد نشست مي باشند. هم چنين پارامترهاي تصادفي توليد شده توسط نهادها به صورت آشكار در كانال ناامن ارسال نمي شوند كه اين امر پروتكل پيشنهادي را در برابر حملاتي كه طي آن كليد نشست با آشكار شدن مقادير تصادفي در معرض خطر قرار مي گيرد مصون مي دارد. هنگام طراحي پروتكل پيشنهادي، محدود بودن پيام هاي ايجاد شده توسط نهادها از جمله مواردي بوده كه توجه به آن سبب طراحي يك پروتكل سبك وزن و كارا شده است.

1400/09/06

Enhancing a Security Protocol on Vehicular Ad-hoc Networks

9/22/2022 12:00:00 AM

The goal of this thesis is the security analysis and improvement of a protocol designed for authentication and generation of a session key in vehicular ad-hoc networks. When electrical vehicles are used in conjunction with a smart grid, it opens up a lot of new possibilities and opportunities, even more than what was supposed to achieve in Vanets. Nonetheless, privacy and security remain a serious concern in this field. Any protocol designed for such networks must be secure, lightweight, and must protect the privacy of the vehicles and other entities. In this thesis, after we consider protocols called SUKA and AKA for authentication and session key generation, their security weaknesses have been discussed. We then introduce a new protocol based on elliptic curves and show that it is resistant to some known attacks that the aforementioned protocols suffer from. To be more specific, these attacks are traceability, impersonation attacks, desynchronization attacks, and endangered session key. Furthermore, randomly generated nonces are not propagated through a public channel which results in attacks related to key compromised temporary parameters attacks. Finally according to limited message generation and sending parameters, our protocol is lightweight and efficient.