Open AccessUsing Petri Net for Modeling and Formal Verification of Crypto-security in Driverless Vehicles
Author(s) -
S. Vijayalakshmi,
J. Uma Maheswari,
G. R. Karpagam,
M. Visalakshi
Publication year - 2020
Publication title -
international journal of engineering and advanced technology
Language(s) - English
Resource type - Journals
ISSN - 2249-8958
DOI - 10.35940/ijeat.c6457.029320
Subject(s) - petri net , computer science , encryption , cryptography , authentication (law) , computer security , computer security model , distributed computing , embedded system
This paper presents a cryptography based approach for enforcing security mechanisms in driverless vehicles, used in the banking sector for transporting valuable assets. The proposed idea combines multi-factor authentication along with asymmetric encryption mechanism in order to ensure the required level of security. The system design is parallel and distributed; hence it is formally analyzed using Petri-net modeling technique.