IoV-SMAP: Secure and Efficient Message Authentication Protocol for IoV in Smart City Environment

Yu, SungJin; Lee, Joonyoung; Park, Kisung; Das, Ashok Kumar; Park, Young-Ho

doi:10.1109/access.2020.3022778

Cited by 67 publications

(51 citation statements)

References 29 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The proof of Theorem 1 is similar as presented in [ 42 , 43 ]. We prove the session key security through a sequence of four games,

, where

.…”

Section: Security Analysismentioning

confidence: 97%

A Secure and Lightweight Authentication Protocol for IoT-Based Smart Homes

Lee

et al. 2021

Sensors

Self Cite

View full text Add to dashboard Cite

With the information and communication technologies (ICT) and Internet of Things (IoT) gradually advancing, smart homes have been able to provide home services to users. The user can enjoy a high level of comfort and improve his quality of life by using home services provided by smart devices. However, the smart home has security and privacy problems, since the user and smart devices communicate through an insecure channel. Therefore, a secure authentication protocol should be established between the user and smart devices. In 2020, Xiang and Zheng presented a situation-aware protocol for device authentication in smart grid-enabled smart home environments. However, we demonstrate that their protocol can suffer from stolen smart device, impersonation, and session key disclosure attacks and fails to provide secure mutual authentication. Therefore, we propose a secure and lightweight authentication protocol for IoT-based smart homes to resolve the security flaws of Xiang and Zheng’s protocol. We proved the security of the proposed protocol by performing informal and formal security analyses, using the real or random (ROR) model, Burrows–Abadi–Needham (BAN) logic, and the Automated Validation of Internet Security Protocols and Applications (AVISPA) tool. Moreover, we provide a comparison of performance and security properties between the proposed protocol and related existing protocols. We demonstrate that the proposed protocol ensures better security and lower computational costs than related protocols, and is suitable for practical IoT-based smart home environments.

show abstract

“…The proof of Theorem 1 is similar as presented in [ 42 , 43 ]. We prove the session key security through a sequence of four games,

, where

.…”

Section: Security Analysismentioning

confidence: 97%

A Secure and Lightweight Authentication Protocol for IoT-Based Smart Homes

Lee

et al. 2021

Sensors

Self Cite

View full text Add to dashboard Cite

show abstract

“…

and

are the Zipf’s parameters [ 34 ].

We follow the proof according to the method of [ 35 , 36 ]. We perform four games

, where

.…”

Section: Security Analysismentioning

confidence: 99%

WSN-SLAP: Secure and Lightweight Mutual Authentication Protocol for Wireless Sensor Networks

Kwon

Lee

et al. 2021

Sensors

Self Cite

View full text Add to dashboard Cite

Wireless sensor networks (WSN) are widely used to provide users with convenient services such as health-care, and smart home. To provide convenient services, sensor nodes in WSN environments collect and send the sensing data to the gateway. However, it can suffer from serious security issues because susceptible messages are exchanged through an insecure channel. Therefore, secure authentication protocols are necessary to prevent security flaws in WSN. In 2020, Moghadam et al. suggested an efficient authentication and key agreement scheme in WSN. Unfortunately, we discover that Moghadam et al.’s scheme cannot prevent insider and session-specific random number leakage attacks. We also prove that Moghadam et al.’s scheme does not ensure perfect forward secrecy. To prevent security vulnerabilities of Moghadam et al.’s scheme, we propose a secure and lightweight mutual authentication protocol for WSNs (WSN-SLAP). WSN-SLAP has the resistance from various security drawbacks, and provides perfect forward secrecy and mutual authentication. We prove the security of WSN-SLAP by using Burrows-Abadi-Needham (BAN) logic, Real-or-Random (ROR) model, and Automated Verification of Internet Security Protocols and Applications (AVISPA) simulation. In addition, we evaluate the performance of WSN-SLAP compared with existing related protocols. We demonstrate that WSN-SLAP is more secure and suitable than previous protocols for WSN environments.

show abstract

“…The state transition diagram of the 2-D Markov chain is shown in Fig. 2, and the non-null transition probabilities are expressed by (3).…”

Section: A Probability Of Frame Transmission Tmentioning

confidence: 99%

“…Communication (DSRC) under the 5.9 GHz band is the standard that facilitates the communication over vehicular network [1], [2]. Due to the revolution in wireless communication technology and the heterogeneous network, vehicular network has become one of the Internet of Things (IoT) applications called Internet of Vehicle (IoV) [3]. In order for a vehicle to be a part of the IoV, it requires a device called on-board unit (OBU).…”

Section: Introductionmentioning

confidence: 99%

Saturation Throughput Analysis of Steganography in the IEEE 802.11p Protocol in the Presence of Non-Ideal Transmission Channel

Almohammedi

Shepelev

2021

IEEE Access

View full text Add to dashboard Cite

Vehicular network is a communication technology designed to provide comfort and improve life safety and driving efficiency on the road. In vehicular network, trustworthy communication is very important as fake applications may lead to disastrous road accidents. Several information hiding methods are used to enable vehicles to communicate secretly or to covertly report a misbehaving vehicle. The work in this paper focuses on a performance analysis based on 2-D Markov chain model for the system throughput of steganographic scheme in relation to the IEEE 802.11p standard. This model studies wireless padding (WiPad) that is used to hide data into the padding of packets at the physical layer of wireless local area networks (WLANs). The analytical study is under non-saturated conditions with non-ideal transmission channel. The study also considers the rate of packet arrival with the first order of buffer memory, back-off timer freezing, back-off phases, and short retry limit to satisfy the IEEE 802.11p specifications. It emphasizes that taking these factors into account are significant in modelling the system throughput of the steganographic channel. These factors typically provide a precise channel access estimation, yield more accurate findings of system throughput, use the channel efficiently, prevent overestimation of saturation throughput, and ensure that no packet is served indefinitely. The model is validated by comparing the numerical and simulation results under different network parameters. Analytical and simulation results stated that the values of the system throughput of the steganographic channel based on data and control frames are low as the vehicles number n, traffic arrival rate λ, packet size, and the value of Bit Error Rate (BER) increase. INDEX TERMS Vehicular network, IEEE 802.11p, steganographic channel, non-ideal transmission channel, BER.

show abstract

IoV-SMAP: Secure and Efficient Message Authentication Protocol for IoV in Smart City Environment

Cited by 67 publications

References 29 publications

A Secure and Lightweight Authentication Protocol for IoT-Based Smart Homes

A Secure and Lightweight Authentication Protocol for IoT-Based Smart Homes

WSN-SLAP: Secure and Lightweight Mutual Authentication Protocol for Wireless Sensor Networks

Saturation Throughput Analysis of Steganography in the IEEE 802.11p Protocol in the Presence of Non-Ideal Transmission Channel

Contact Info

Product

Resources

About