چكيده به لاتين
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.
