Design of Blockchain-Based Lightweight V2I Handover Authentication Protocol for VANET

Digital twin technology is recently in the spotlight because of its potential applicability in business and industry. In digital twin environments, data generated from physical assets are transmitted to a remote server, which performs simulations through digital twins in a virtual space. Then, the simulation results can be shared with the data owner or other users. However, several challenges exist in the application of digital twin technology in the real world. One of the main challenges involves determining how to share real-time data for the simulation and how to share the simulation data securely. The data generated from physical assets may include sensitive information from data owners, and the leakage of data to an adversary can cause serious privacy problems. Moreover, the sharing of data with other data users should also be considered to maximize the availability of digital twin data. To resolve these issues, we propose a system model for the secure sharing of digital twin data. The proposed system model uses cloud computing for efficient data sharing and blockchain for data verifiability. We also propose communication schemes for the proposed model to guarantee privacy preservation and data security in wireless channels. We analyze the security of the proposed protocol using informal methods and formal methods such as BAN logic and the AVISPA simulation tool. Furthermore, we compare the proposed protocol with related protocols and demonstrate that the proposed scheme is applicable to digital twin environments.

show abstract

“…We apply the widely used "Dolev-Yao (DY) threat model" [23], [24], [25] to analyze the security of our protocol.…”

Section: B Threat Modelmentioning

confidence: 99%

On the Design of a Privacy-Preserving Communication Scheme for Cloud-Based Digital Twin Environments Using Blockchain

et al. 2022

Self Cite

View full text Add to dashboard Cite

show abstract

“…The ROR model [12] is a method widely used by researchers to verify the semantic security of session key in authentication and key agreement schemes [33]- [36]. We utilize the ROR model to prove that it is difficult for an adversary A to obtain the session key of our scheme.…”

Section: B Ror Modelmentioning

confidence: 99%

A Secure and Anonymous User Authentication Scheme for IoT-Enabled Smart Home Environments Using PUF

Cho

Kwon

et al. 2022

IEEE Access

Self Cite

View full text Add to dashboard Cite

With the continuous development of Internet of Things (IoT) technology, research on smart home environments is being conducted by many researchers. In smart home environments, home users can remotely access and control a variety of home devices such as smart curtains, lights, and speakers placed throughout the house. Despite providing convenient services, including home monitoring, temperature management, and daily work assistance, smart homes can be vulnerable to malicious attacks because all messages are transmitted over insecure channels. Moreover, home devices can be a target for device capture attacks since they are placed in physically accessible locations. Therefore, a secure authentication and key agreement scheme is required to prevent such security problems. In 2021, Zou et al. proposed a two-factor-based authentication and key agreement scheme using elliptic curve cryptography (ECC) in smart home environments. They claimed that their scheme provides user anonymity and forward secrecy. However, we prove that their scheme suffers from forgery, ephemeral secret leakage, and session key disclosure attacks. To overcome the security vulnerabilities of Zou et al.'s scheme and provide home users with secure communication in smart home environments, we propose a secure user authentication scheme using physical unclonable functions (PUF). We utilize Real-or-Random (ROR) model and Burrows-Abadi-Needham (BAN) logic to verify the session key security and mutual authentication of the proposed scheme, respectively. Furthermore, we use the Automated Validation of Internet Security Protocols and Applications (AVISPA) tool to simulate the resistance of our scheme to security attacks. After that, we analyze and compare the communication costs, computational consumption, and security functionalities along with related schemes.

show abstract

“…In 2021, Chaudhry et al proposed a lightweight authentication scheme for 6G-IoT enabled maritime transport system [32]. In 2022, Son et al presented a design of blockchain based lightweight V2I handover authentication protocol for VANET [33] which fails against de-synchronization property. Most recently, there are four different authentication and key agreement schemes [34]- [37] have presented by the authors.…”

Section: B Related Workmentioning

confidence: 99%

“…Mutual authentication between entities is required before sharing any sensitive data. Although VCEbased authentication schemes [25], [26], [33], [39]- [41] have been introduced throughout the previous few decades, their success is unsatisfactory. Furthermore, these frameworks interfere with protocol's core obligations, resulting in a basic breach.…”

Section: Motivation and Contributionmentioning

confidence: 99%

See 1 more Smart Citation

PSEBVC: Provably Secure ECC and Biometric Based Authentication Framework Using Smartphone for Vehicular Cloud Environment

et al. 2022

View full text Add to dashboard Cite

The Vehicular Cloud Environment (VCE) is a brand-new study field in cloud and vehicular network.It gives cars networking and sensor capabilities for V2I or V2V communication with roadside infrastructure. Cloud applications are frequently used in traffic control and road safety. A hybrid technical solution that utilises vehicle resources, cloud infrastructure, and Internet of Things (IoT) settings is needed for effective vehicular communication networking. VCE is a smart vehicular communication architecture that promotes system security, enhanced vehicle control, and self-driving cars. Due to the integration of unknown vehicles and infrastructure via the public network, security and privacy seem to be significant challenges with VCE. In this regard, we propose a PSEBVC, which is a provably secure elliptic curve cryptography (ECC) and biometric based authentication system for VCE employing smartphones. In the face of active and passive adversaries, the offered framework obtains the majority of security features and properties for secure communication. We also propose and prove a formal security model based on the random oracle concept. We also demonstrate the security analysis using the Scyther tool. In the same scenario, we evaluate the performance of our protocol against that of other frameworks. The proposed system, according to our findings, is both secure and efficient in terms of communication and processing overhead. The proposed architecture, according to our findings, provides all needed security criteria while also permitting effective communication.

show abstract

Design of Blockchain-Based Lightweight V2I Handover Authentication Protocol for VANET

Cited by 89 publications

References 46 publications

On the Design of a Privacy-Preserving Communication Scheme for Cloud-Based Digital Twin Environments Using Blockchain

On the Design of a Privacy-Preserving Communication Scheme for Cloud-Based Digital Twin Environments Using Blockchain

A Secure and Anonymous User Authentication Scheme for IoT-Enabled Smart Home Environments Using PUF

PSEBVC: Provably Secure ECC and Biometric Based Authentication Framework Using Smartphone for Vehicular Cloud Environment

Contact Info

Product

Resources

About