Secure Key Agreement and Authentication Protocol for Message Confirmation in Vehicular Cloud Computing

Lee, Joonyoung; Yu, SungJin; Kim, Myeonghyun; Park, Young Ho; Lee, Sang‐Woo; Chung, Byeong-Mook

doi:10.3390/app10186268

Cited by 10 publications

(3 citation statements)

References 33 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…BAN logic is a well-known formal proof to verify the mutual authentication of a protocol. Therefore, many researchers have used BAN logic to prove the mutual authentication of their schemes [ 30 , 31 , 32 , 33 ]. In this section, we prove the mutual authentication of the proposed scheme using BAN logic [ 9 ].…”

Section: Security Analysismentioning

confidence: 99%

Provably Secure Three-Factor-Based Mutual Authentication Scheme with PUF for Wireless Medical Sensor Networks

Kwon

Park

2021

Sensors

Self Cite

View full text Add to dashboard Cite

Wireless medical sensor networks (WMSNs) are used in remote medical service environments to provide patients with convenient healthcare services. In a WMSN environment, patients wear a device that collects their health information and transmits the information via a gateway. Then, doctors make a diagnosis regarding the patient, utilizing the health information. However, this information can be vulnerable to various security attacks because the information is exchanged via an insecure channel. Therefore, a secure authentication scheme is necessary for WMSNs. In 2021, Masud et al. proposed a lightweight and anonymity-preserving user authentication scheme for healthcare environments. We discover that Masud et al.’s scheme is insecure against offline password guessing, user impersonation, and privileged insider attacks. Furthermore, we find that Masud et al.’s scheme cannot ensure user anonymity. To address the security vulnerabilities of Masud et al.’s scheme, we propose a three-factor-based mutual authentication scheme with a physical unclonable function (PUF). The proposed scheme is secure against various security attacks and provides anonymity, perfect forward secrecy, and mutual authentication utilizing biometrics and PUF. To prove the security features of our scheme, we analyze the scheme using informal analysis, Burrows–Abadi–Needham (BAN) logic, the Real-or-Random (RoR) model, and Automated Verification of Internet Security Protocols and Applications (AVISPA) simulation. Furthermore, we estimate our scheme’s security features, computation costs, communication costs, and energy consumption compared with the other related schemes. Consequently, we demonstrate that our scheme is suitable for WMSNs.

show abstract

Section: Security Analysismentioning

confidence: 99%

Provably Secure Three-Factor-Based Mutual Authentication Scheme with PUF for Wireless Medical Sensor Networks

Kwon

Park

2021

Sensors

Self Cite

View full text Add to dashboard Cite

show abstract

“…erefore, the vehicle is easy to be tracked. Lee et al [11] proposed a lightweight authentication and key agreement protocol for cloud computing of Internet of vehicles. However, the HID i [11] of the vehicle remains unchanged during the authentication process, and the vehicle can be easily tracked.…”

Section: Introductionmentioning

confidence: 99%

“…Lee et al [11] proposed a lightweight authentication and key agreement protocol for cloud computing of Internet of vehicles. However, the HID i [11] of the vehicle remains unchanged during the authentication process, and the vehicle can be easily tracked. In [12], a lightweight VANET authentication and key agreement scheme was proposed.…”

Section: Introductionmentioning

confidence: 99%

An Authentication and Key Agreement Scheme Based on Roadside Unit Cache for VANET

Sun

Guo

Zhang

et al. 2022

Security and Communication Networks

View full text Add to dashboard Cite

Vehicular Ad Hoc Network (VANET) is a wireless Mobile Ad Hoc Network that is used for communication between vehicles, vehicles and fixed access points, and vehicles and pedestrians. However, because of the use of open wireless channels, VANET is more vulnerable. Therefore, VANET security is critical for safe driving and user privacy protection. Authentication and key agreement are crucial for ensuring security. Numerous authentication schemes have been proposed between vehicles and roadside units (RSUs). Many solutions are authentication and key negotiation between the vehicle and a single RSU. The vehicle passing through a region needs to complete authentication and key agreement with multiple RSUs separately, which brings a great burden to the vehicle. In order to simplify the authentication process of vehicles and multiple RSUs and improve the efficiency of authentication and key agreement, an efficient authentication and key agreement scheme based on RSU cache is proposed when the vehicle moves from one RSU to another RSU region. In the proposed scheme, RSUs are divided into regions, and each region has a RSU cluster head. When the vehicle enters a certain region and authenticates with a RSU successfully, the RSU submits the authentication information to the RSU cluster head. The RSU cluster head shares the authentication information with other RSUs in the region using the shared key. Other RSUs record the authentication information in the cache. When the vehicle communicates with other RSUs, the authentication is not necessary; the session key can be negotiated by simply exchanging information. After using the cache, the calculation and communication cost of the authentication and key negotiation between the vehicle and other RSU can be significantly saved, the calculation cost is reduced by 37%, and the traffic is reduced by 35%. The random oracle model is used to prove the security of the scheme. The results revealed that the authentication overhead of the proposed scheme is considerably lower than those of other schemes. Compared with the related schemes, the computational cost of the proposed scheme is reduced by 34% on average; the communication cost is close to other related schemes. Moreover, the security analysis shows that the proposed scheme provides better security compared to other related schemes.

show abstract

Virtual Modeling of an Electro-mechanical Powertrain and Steering System with Optical Proximity Sensors for Driverless Ambulance Vehicles in Unity 5

Baldean

Andrei

Tudor

et al. 2022

The 15th International Conference Interdisciplinarity in Engineering

View full text Add to dashboard Cite

Secure Key Agreement and Authentication Protocol for Message Confirmation in Vehicular Cloud Computing

Cited by 10 publications

References 33 publications

Provably Secure Three-Factor-Based Mutual Authentication Scheme with PUF for Wireless Medical Sensor Networks

Provably Secure Three-Factor-Based Mutual Authentication Scheme with PUF for Wireless Medical Sensor Networks

An Authentication and Key Agreement Scheme Based on Roadside Unit Cache for VANET

Virtual Modeling of an Electro-mechanical Powertrain and Steering System with Optical Proximity Sensors for Driverless Ambulance Vehicles in Unity 5

Contact Info

Product

Resources

About