Indian Journal of Science and Technology

The PDF file you selected should load here if your Web browser has a PDF reader plug-in installed (for example, a recent version of Adobe Acrobat Reader).

If you would like more information about how to print, save, and work with PDFs, Highwire Press provides a helpful Frequently Asked Questions about PDFs.

Alternatively, you can download the PDF file directly to your computer, from where it can be opened using a PDF reader. To download the PDF, click the Download link above.

Fullscreen Fullscreen Off


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.
User