Abstract
Software Defined Network (SDN) is a new topology in the computer network; it offers several advantages such as virtualization and the division between the data plane and the control plane. These days we talk a lot about the SDN based on the vehicular network in particular on Vehicular Ad hoc Network VANET. The SDN solution in VANET is secure thanks to the presence of a controller, but this security remains insufficient which leads us to propose a more secure and lightweight solution. So our solution is composed of two phases; a phase for registering a vehicle near the VANET network controller, and a phase for authentication and generation session key between two vehicles. In both phases, we used Identity Based Encryption (IBE) to secure the exchange between the various entities of the architecture. We tested the performance of our solution by simulating it with the library MIRACL which offers implementations of elliptic curves and IBE. We have also formally validated our solution with Automated Validation of Internet Protocols and Applications (AVISPA). In conclusion, we have shown that our solution meets the security objectives of SDN in VANET while being a lightweight solution.