一种安全的集群无线网络环境下密钥协商协议  

A secure key agreement protocol in clustered wireless network environment

作　　者：尹日升 刘潇 马永柳 杜宜宾 程庆丰[1] YIN Risheng;LIU Xiao;MA Yongliu;DU Yibin;CHENG Qingfeng(School of Cyber Security,Information Engineering University,Zhengzhou 450001,China;China Telecom Digital Intelligence Technology Co.,Ltd.,Beijing 100035,China)

机构地区：[1]信息工程大学网络空间安全学院,郑州450001 [2]中电信数智科技有限公司,北京100035

出　　处：《网络空间安全科学学报》2024年第5期57-66,共10页Journal of Cybersecurity

基　　金：国家自然科学基金(62472438,62172433);河南省自然科学基金(242300421414)。

摘　　要：集群无线网络作为物联网的一种应用领域,通常部署于不安全的环境,容易遭受网络攻击和利用。近年来,随着集群无线网络环境的研究逐渐增多,适用于集群无线网络环境的认证密钥协商协议应运而生。但是由于集群无线网络本身具有能源消耗高、计算复杂、传输效率低等特点,现有的密钥协商协议难以满足上述需求,同时多数协议仍存在一定的安全问题。为了解决上述问题,基于IBAKAS(Identity-Based Authentication and Key Agreement Scheme)协议提出了一种集群无线网络环境下密钥协商协议,并给出了协议的可证明安全、BAN逻辑分析和Scyther形式化分析。此外,将改进后的协议与其他同类型协议进行性能对比。结果表明,新协议不仅安全可行,而且具有高效的计算效率和通信效率,满足了集群无线网络环境的工作要求。As an application field of the internet of things,clustered wireless networks are usually deployed in insecure environ-ments and are vulnerable to network attacks and exploitation.In recent years,with the increasing research on clustered wireless net-works environment,the authentication and key agreement protocol which is suitable for clustered wireless networks environment comes into being.However,due to the inherent characteristics of clustered wireless networks such as high energy consumption,complex com-putation,and low transmission efficiency,the existing key agreement protocols are difficult to meet the requirements.Moreover,most of these protocols still have certain security issues.To solve the above problems,a key agreement protocol based on the IBAKAS(Identity-Based Authentication and Key Agreement Scheme)protocol in clustered wireless networks was proposed by this article,which provided provable security,BAN logical analysis,and Scyther formal analysis.Additionally,the performance of the improved protocol was com-pared with other similar protocols.The results show that the new protocol is not only secure and feasible,but also has high computation-al efficiency and communication efficiency,which meets the working requirements of clustered wireless network environment.

关 键 词：集群无线网络 认证密钥协商协议 可证明安全 BAN逻辑分析 Scyther形式化分析 

分 类 号：TP309[自动化与计算机技术—计算机系统结构]