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