Vehicular Authentication Security Mechanism Modelling Using Petri Net

Vehicles in the Vehicular Ad-Hoc Network (VANET) environment have been studied gaining much attention and will also be studied actively in the future in order to seek mutual safety and convenience through communications based on network infrastructure. However, most parts of such studies seeking safety and convenience are entering upon a new phase confronting security problems. Therefore, this paper proposes a vehicle authentication security mechanism that should be put in the top priority for efficient and safe transmission of the communications between vehicles in a VANET environment and verifies this through the Petri Net modeling method. The Vehicular Authentication Security Mechanism(VASM) proposed in this paper, by modeling with the Petri Net along with the vehicle authentication function, is able to define, implement and smoothly deal with the security requests in VANET those are inevitably complicated due to numerous changes of vehicles.