论文部分内容阅读
针对当前无线网络安全认证协议协商过程复杂、通信开销大等问题,设计了一种基于椭圆曲线密码算法的签密方案,并在此基础上设计了一种无线网络安全认证协议。该协议通过减少消息条数,并引入可信证书认证代理和可信证书凭据的概念,避免在无线通信中在线验证证书的有效性,提高了认证效率。采用串空间的形式化分析方法证明了所设计协议的安全性,并与其它无线网络安全认证协议的性能对比表明,该文设计的协议具有较高的效率。
In view of the complexity of current wireless network security authentication protocol negotiation process and large communication overhead, an encryption scheme based on elliptic curve cryptography is designed. Based on this, a wireless network security authentication protocol is designed. By reducing the number of messages and introducing the concept of trusted certificate authentication agent and trusted certificate credentials, this protocol avoids verifying the validity of certificates online in wireless communication and improves the efficiency of authentication. The formal analysis of string space is used to prove the security of the designed protocol. Compared with the performance of other wireless network security protocols, the protocol of this paper is proved to be efficient.