Using Petri-Net for Modeling and Formal Verification of Crypto-security in Driverless Vehicles
S.Vijayalakshmi1, J. Uma Maheswari2, G.R. Karpagam3, M. Visalakshi4

1*S.Vijayalakshmi*, Department of CSE, PSG College of Technology, Coimbatore, India.
2J. Uma Maheswari, Department of CSE, PSG College of Technology, Coimbatore, India.
3G.R. Karpagam, Department of CSE, PSG College of Technology, Coimbatore, India.
4M. Visalakshi, Department of CSE, PSG College of Technology, Coimbatore, India.
Manuscript received on January 22, 2020. | Revised Manuscript received on February 05, 2020. | Manuscript published on February 30, 2020. | PP: 4312-4318  | Volume-9 Issue-3, February 2020. | Retrieval Number:  C6457029320/2020©BEIESP | DOI: 10.35940/ijeat.C6457.029320
Open Access | Ethics and Policies | Cite | Mendeley
© The Authors. Blue Eyes Intelligence Engineering and Sciences Publication (BEIESP). This is an open access article under the CC BY-NC-ND license (http://creativecommons.org/licenses/by-nc-nd/4.0/)

Abstract: 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.
Keywords: Biometric Authentication, Elliptic curve cryptography, Integrity, Petri-Net and Privacy.