• P-ISSN 0974-6846 E-ISSN 0974-5645

Indian Journal of Science and Technology


Indian Journal of Science and Technology

Year: 2015, Volume: 8, Issue: Supplementary 7, Pages: 1-5

Original Article

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.
Keywords: Modeling, Petri Nets, Security, VANET, Vehicle


Subscribe now for latest articles and news.