Using Petri Net for Modeling and Formal Verification of Crypto-security in Driverless Vehicles
S. Vijayalakshmi,
J. Uma Maheswari,
G.R. Karpagam
et al.
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.
Set email alert for when this publication receives citations?
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.