Formal Analysis and Improvement of Two-Factor Authenticated Key Exchange Protocol

摘要：

Many two-factor authenticated key exchange protocols have been proposed, and the common ones are based on a secure device and a user’s password. But most of them do not use the one-time password system. In one-time password systems, users have many passwords and use each password only once. This paper presents a new two-factor authenticated key exchange protocol using one-time passwords and a secure device, which achieves mutual authentication, session key agreement, and resistance to phishing attacks. This paper also gives a formal proof for security of the protocol.

关键词： one-time passwords secure device authentication key exchange

作者: Ying Liu Fushan Wei Chuangui Ma

作者单位: Zhengzhou Information Science and Technology Institute, Zhengzhou, 450002, P. R. China

会议类型: 国际会议

会议名称: 2010年IEEE多媒体信息网络与安全国际会议

会议地点: 南京

会议语种:英文

页码: 443-447

在线出版日期: 2010-11-01（万方平台首次上网日期，不代表论文的发表时间）