Generic construction for secure and efficient handoff authentication schemes in EAP-based wireless networks
Generic construction for secure and efficient handoff authentication schemes in EAP-based wireless networks
复制标题
基于EAP的无线网络安全高效切换认证方案的通用构建
DOI：
10.1016/j.comnet.2014.10.009
复制
发表时间：
2014-12
影响因子：
5.6
通讯作者：
Hui Li
中科院分区：
文献类型：
--
作者：
Yinghui Zhang;Xiaofeng Chen;Jin Li;Hui Li
漫游通信作为无线技术的一个有前景的应用场景，引发了对安全、高效的切换认证方案的需求。然而，似乎没有现有的方案能够同时提供可证明的安全性并享有理想的效率。在本文中，我们首先利用双活板门变色龙哈希族开发一种在基于 EAP 的无线网络中进行安全高效的切换认证的通用方法。主要思想是，从一次性陷阱门推导出来的验证信息仅在移动节点和接入点之间提供经过身份验证的瞬态 Diffie-Hellman 密钥交换。此外，我们提出了基于特殊双活板门变色龙散列的通用方法的实例。所提出的方案不仅提供了强大的安全性，而且还具有理想的效率。具体来说，基于计算 Diffie-Hellman 假设和椭圆曲线数字签名的不可伪造性，我们的方案在随机预言模型中被证明是安全的。此外，使用AVISPA工具的形式化验证表明，我们的方案可以抵抗各种恶意攻击。最后，我们通过理论分析和仿真来评估延迟性能。结果表明，所提出的方案在计算成本、通信开销和存储要求方面达到了理想的效率。
As a promising application scenario of wireless technologies, roaming communication initiates the demand for secure and efficient handoff authentication schemes. However, it seems that no existing scheme can simultaneously provide provable security and enjoy desirable efficiency. In this paper, we first utilize the double-trapdoor chameleon hash family to develop a generic method for secure and efficient handoff authentication in EAP-based wireless networks. The main idea is that the verification information, deduced from theone-timetrapdoor, provides an authenticated transient Diffie–Hellman key exchange only between a mobile node and an access point. Moreover, we present an instantiation of the generic method based on a special double-trapdoor chameleon hashing. The proposed scheme not only provides robust security, but also enjoys desirable efficiency. To be specific, our scheme is proved to be secure in the random oracle model based on the computational Diffie–Hellman assumption and the unforgeability of an elliptic curve digital signature. Furthermore, formal verification by using the AVISPA tool shows that our scheme resists various malicious attacks. Finally, we evaluate the latency performance by the theoretical analysis and simulation. The results indicate that the proposed scheme achieves desirable efficiency in terms of the computation cost, the communication overhead and the storage requirement.
登录
查看更多内容
基于身份的无线网络安全高效切换认证方案构建
影响因子：
--
作者：
Yinghui Zhang;Xiaofeng Chen;Hui Li;Jin Cao
通讯作者：
Jin Cao
DOI：
10.1007/3-540-45539-6_11
发表时间：
2000-05
期刊：
IACR Cryptol. ePrint Arch.
影响因子：
--
作者：
M. Bellare;D. Pointcheval;P. Rogaway
通讯作者：
M. Bellare;D. Pointcheval;P. Rogaway
影响因子：
12.9
作者：
Arunesh Mishra;Minho Shin;N. L. Petroni;T. Clancy;W. Arbaugh
通讯作者：
Arunesh Mishra;Minho Shin;N. L. Petroni;T. Clancy;W. Arbaugh
DOI：
10.1007/3-540-48892-8_26
发表时间：
1998-08
期刊：
--
影响因子：
--
作者：
S. Blake-Wilson;A. Menezes
通讯作者：
S. Blake-Wilson;A. Menezes
DOI：
10.1007/978-3-540-30144-8_8
发表时间：
2004-09
期刊：
IACR Cryptol. ePrint Arch.
影响因子：
--
作者：
Xiaofeng Chen;Fangguo Zhang;Kwangjo Kim
通讯作者：
Xiaofeng Chen;Fangguo Zhang;Kwangjo Kim