计算机科学
身份验证协议
协议(科学)
认证(法律)
多因素身份验证
因子(编程语言)
工厂(面向对象编程)
嵌入式系统
计算机安全
计算机网络
医学
替代医学
病理
程序设计语言
作者
Shihong Zou,Qiang Cao,Ruichao Lu,Chenyu Wang,Guoai Xu,Huanhuan Ma,Yingyi Cheng,Jinwen Xi
标识
DOI:10.1016/j.comcom.2024.04.011
摘要
Smart factory, as an intelligent application of industrial internet of things (IIoT), significantly enhances the efficiency of industrial processes while also reducing resource waste. In a system where security is crucial, the user authentication mechanism is essentially designed to prevent a range of security issues, including production failures caused by illegal intrusions from hackers. To verify the user's identity and ensure data be accessed with a secure session key, a large number of authentication protocols have been provided for IIoT. However, existing newly alternatives show deficiency either in terms of superior performance or robust security. To get a better balance of security and efficiency, this paper designs a robust and effective 3-factor user authentication protocol. Then this paper shows the detailed security analyses and automated verification by the Proverif tool, where the ProVerif tool used in this paper can detect whether the eCK adversary with stronger attack ability can break the protocol, while the general ProVerif can only detect threat of the Dolev-Yao adversary with weaker attack ability to the protocol security. Subsequently, this paper presents performance comparison which indicates that the proposed protocol can be superior to those newly alternatives. Especially, the comparison results show that the computation cost consumed in the proposed protocol can be reduced by 62.2% than the average cost of all six compared alternatives. Lastly, the evaluation results on the energy consumption and the network delay indicate the practicability of proposed protocol for smart factory.
科研通智能强力驱动
Strongly Powered by AbleSci AI