Published February 29, 2020 | Version v1
Journal article Open

Using Petri-Net for Modeling and Formal Verification of Crypto-security in Driverless Vehicles

  • 1. Department of CSE, PSG College of Technology, Coimbatore, India.
  • 1. Publisher

Description

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.

Files

C6457029320.pdf

Files (621.7 kB)

Name Size Download all
md5:7e7958b5926347f90f3db93872970f96
621.7 kB Preview Download

Additional details

Related works

Is cited by
Journal article: 2249-8958 (ISSN)

Subjects

ISSN
2249-8958
Retrieval Number
C6457029320/2020┬ęBEIESP