返回
Secure Three-Factor Authentication Protocol for Multi-Gateway IoT Environments
DOI:10.3390/s19102358.png)
摘要
En 中文
Internet of Things (IoT) environments such as smart homes, smart factories, and smart buildings have become a part of our lives. The services of IoT environments are provided through wireless networks to legal users. However, the wireless network is an open channel, which is insecure to attacks from adversaries such as replay attacks, impersonation attacks, and invasions of privacy. To provide secure IoT services to users, mutual authentication protocols have attracted much attention as consequential security issues, and numerous protocols have been studied. In 2017, Bae et al. presented a smartcard-based two-factor authentication protocol for multi-gateway IoT environments. However, we point out that Bae et al.'s protocol is vulnerable to user impersonation attacks, gateway spoofing attacks, and session key disclosure, and cannot provide a mutual authentication. In addition, we propose a three-factor mutual authentication protocol for multi-gateway IoT environments to resolve these security weaknesses. Then, we use Burrows-Abadi-Needham (BAN) logic to prove that the proposed protocol achieves secure mutual authentication, and we use the Automated Validation of Internet Security Protocols and Applications (AVISPA) tool to analyze a formal security verification. In conclusion, our proposed protocol is secure and applicable in multi-gateway IoT environments.
Keyword:
internet of things
multi-gateway
mutual authentication
cryptanalysis
BAN logic
AVISPA
AI总结
对已上传原文的论文进行重点信息的提取,主要内容包括:简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
3.5
论文数:
7.2W
被引数:
20.9W
机构
引用论文
Provably Secure and Efficient Authentication Protocol for Roaming Service in Global Mobility Networks全球移动网络中漫游服务的可证明安全有效的认证协议
IEEE ACCESS
IF3.6
On the Design of Fine Grained Access Control With User Authentication Scheme for Telecare Medicine Information Systems
IEEE ACCESS
IF3.6
Design of a provably secure biometrics-based multi-cloud-server authentication scheme一种可证明安全的基于生物特征的多云服务器认证方案设计
2PAKEP: Provably Secure and Efficient Two-Party Authenticated Key Exchange Protocol for Mobile Environment2PAKEP: 可证明安全高效的移动环境两方认证密钥交换协议
IEEE ACCESS
IF3.6
A secure light weight scheme for user authentication and key agreement in multi-gateway based wireless sensor networks
AD HOC NETWORKS
IF4.8
An efficient authentication and key agreement scheme for multi-gateway wireless sensor networks in IoT deployment物联网部署中多网关无线传感器网络的高效认证和密钥协商方案

