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
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.
- Is cited by
- Journal article: 2249-8958 (ISSN)
- Retrieval Number