A secure and efficient three-factor multi-gateway authentication protocol for wireless sensor networks

Guo, Hua; Gao, Ya; Xu, Tongge; Zhang, Xiyong; Ye, Jianfeng

doi:10.1016/j.adhoc.2019.101965

Cited by 38 publications

(26 citation statements)

References 24 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…We have presented our method using relatively simple protocols however, new, more complex protocols have been proposed for securing sensor devices communication [ 44 , 45 ]. Now we plan to take into account and investigate more complex systems.…”

Section: Discussionmentioning

confidence: 99%

SAT and SMT-Based Verification of Security Protocols Including Time Aspects

Szymoniak

Siedlecka-Lamch

Zbrzezny

et al. 2021

Sensors

View full text Add to dashboard Cite

For many years various types of devices equipped with sensors have guaranteed proper work in a huge amount of machines and systems. For the proper operation of sensors, devices, and complex systems, we need secure communication. Security protocols (SP) in this case, guarantee the achievement of security goals. However, the design of SP is not an easy process. Sometimes SP cannot realise their security goals because of errors in their constructions and need to be investigated and verified in the case of their correctness. Now SP uses often time primitives due to the necessity of security dependence on the passing of time. In this work, we propose and investigate the SAT-and SMT-based formal verification methods of SP used in communication between devices equipped with sensors. For this, we use a formal model based on networks of communicating timed automata. Using this, we show how the security property of SP dedicated to the sensors world can be verified. In our work, we investigate such timed properties as delays in the network and lifetimes. The delay in the network is the lower time constraint related to sending the message. Lifetime is an upper constraint related to the validity of the timestamps generated for the transmitted messages.

show abstract

Section: Discussionmentioning

confidence: 99%

SAT and SMT-Based Verification of Security Protocols Including Time Aspects

Szymoniak

Siedlecka-Lamch

Zbrzezny

et al. 2021

Sensors

View full text Add to dashboard Cite

show abstract

“…In the last few decades, numerous authentication protocols have been proposed to provide user privacy in the WSN environment [20][21][22][23][24][25]. In 1981, Lamport [26] presented the password-based authentication protocol using a single factor to provide user privacy and anonymity.…”

Section: Related Workmentioning

confidence: 99%

SLUA-WSN: Secure and Lightweight Three-Factor-Based User Authentication Protocol for Wireless Sensor Networks

Park

2020

Sensors

View full text Add to dashboard Cite

Wireless sensor networks (WSN) are composed of multiple sensor nodes with limited storage, computation, power, and communication capabilities and are widely used in various fields such as banks, hospitals, institutes to national defense, research, and so on. However, useful services are susceptible to security threats because sensitive data in various fields are exchanged via a public channel. Thus, secure authentication protocols are indispensable to provide various services in WSN. In 2019, Mo and Chen presented a lightweight secure user authentication scheme in WSN. We discover that Mo and Chen’s scheme suffers from various security flaws, such as session key exposure and masquerade attacks, and does not provide anonymity, untraceability, and mutual authentication. To resolve the security weaknesses of Mo and Chen’s scheme, we propose a secure and lightweight three-factor-based user authentication protocol for WSN, called SLUA-WSN. The proposed SLUA-WSN can prevent security threats and ensure anonymity, untraceability, and mutual authentication. We analyze the security of SLUA-WSN through the informal and formal analysis, including Burrows–Abadi–Needham (BAN) logic, Real-or-Random (ROR) model, and Automated Verification of Internet Security Protocols and Applications (AVISPA) simulation. Moreover, we compare the performance of SLUA-WSN with some existing schemes. The proposed SLUA-WSN better ensures the security and efficiency than previous proposed scheme and is suitable for practical WSN applications.

show abstract

“…However, their scheme was also revealed to vulnerability to sensor node capture attack and nonsupport for user anonymity. In 2019, Guo et al [22] found that the scheme designed by Wu et al [20] could not resist to stolen smart card attack and session key reveal attack. In order to address these drawbacks, Guo et al [22] presented a new scheme based on biometric features.…”

Section: Introductionmentioning

confidence: 99%

“…In 2019, Guo et al [22] found that the scheme designed by Wu et al [20] could not resist to stolen smart card attack and session key reveal attack. In order to address these drawbacks, Guo et al [22] presented a new scheme based on biometric features. Recently, Vinoth et al [23] proposed a secure multifactor authentication key agreement scheme for industrial IoT, which was insecure as they claimed.…”

Section: Introductionmentioning

confidence: 99%

A Lightweight Three-Factor Authentication and Key Agreement Scheme for Multigateway WSNs in IoT

Xue

Huang

Zhang

et al. 2021

Security and Communication Networks

View full text Add to dashboard Cite

The Internet of Things (IoT) has built an information bridge between people and the objective world, wherein wireless sensor networks (WSNs) are an important driving force. For applications based on WSN, such as environment monitoring, smart healthcare, user legitimacy authentication, and data security, are always worth exploring. In recent years, many multifactor user authentication schemes for WSNs have been proposed using smart cards, passwords, as well as biometric features. Unfortunately, these schemes are revealed to various vulnerabilities (e.g., password guessing attack, impersonation attack, and replay attack) due to nonuniform security evaluation criteria. Wang et al. put forward 12 pieces of widely accepted evaluation criteria by investigating quantities of relevant literature. In this paper, we first propose a lightweight multifactor authentication protocol for multigateway WSNs using hash functions and XOR operations. Further, BAN logic and BPR model are employed to formally prove the correctness and security of the proposed scheme, and the informal analysis with Wang et al.’s criteria also indicates that it can resist well-known attacks. Finally, performance analysis of the compared schemes is given, and the evaluation results show that only the proposed scheme can satisfy all 12 evaluation criteria and keep efficient among these schemes.

show abstract

A secure and efficient three-factor multi-gateway authentication protocol for wireless sensor networks

Cited by 38 publications

References 24 publications

SAT and SMT-Based Verification of Security Protocols Including Time Aspects

SAT and SMT-Based Verification of Security Protocols Including Time Aspects

SLUA-WSN: Secure and Lightweight Three-Factor-Based User Authentication Protocol for Wireless Sensor Networks

A Lightweight Three-Factor Authentication and Key Agreement Scheme for Multigateway WSNs in IoT

Contact Info

Product

Resources

About