[论文解读] Weakness Analysis and Improvement of a Gateway-Oriented Password-Based Authenticated Key Exchange Protocol

Debiao He, Jianhua Chen+1 more|arXiv (Cornell University)|Jan 18, 2010

Advanced Authentication Protocols Security参考文献 9被引用 6

一句话总结

本文识别出一种网关导向的基于密码的认证密钥交换（GPAKE）协议中的关键安全缺陷，具体包括无法检测的在线密码猜测攻击以及缺乏隐式密钥确认。作者提出了一种增强型协议，通过增强的密码学机制和相互认证，有效抵御这些攻击，同时在不牺牲效率的前提下提升了安全性。

ABSTRACT

Recently, Abdalla et al. proposed a new gateway-oriented password-based authenticated key exchange (GPAKE) protocol among a client, a gateway, and an authentication server, where each client shares a human-memorable password with a trusted server so that they can resort to the server for authentication when want to establish a shared session key with the gateway. In the letter, we show that a malicious client of GPAKE is still able to gain information of password by performing an undetectable on-line password guessing attack and can not provide the implicit key confirmation. At last, we present a countermeasure to against the attack.

研究动机与目标

• 识别并分析近期提出的一种网关导向的基于密码的认证密钥交换（GPAKE）协议中的安全弱点。
• 证明恶意客户端可对原始GPAKE协议执行无法检测的在线密码猜测攻击，从而危及用户密码安全。
• 表明原始GPAKE协议缺乏隐式密钥确认，削弱了相互认证的保证。
• 提出一种对策，增强协议对已识别攻击的抵抗力，同时保持效率和可用性。

提出的方法

• 分析原始GPAKE协议的消息交换流程，以识别认证和密钥交换阶段中的漏洞。
• 展示攻击者如何利用协议设计缺陷，执行无法被检测的在线密码猜测攻击。
• 提出一种改进协议，引入更强的密码学原语以防止在重复尝试中泄露密码。
• 通过将会话密钥与相互认证消息绑定，增强协议的隐式密钥确认机制。
• 形式化改进协议的安全模型，以确保对主动和被动攻击者的抵抗能力。
• 通过符号化验证，确认协议的安全性，并与原始设计的缺陷进行对比。

实验结果

研究问题

• RQ1 恶意客户端能否对原始GPAKE协议执行无法检测的在线密码猜测攻击？
• RQ2 原始GPAKE协议是否提供隐式密钥确认以确保相互认证？
• RQ3 在网关导向的密钥交换环境中，需要哪些密码学增强措施来防止密码泄露？
• RQ4 如何修改协议以在增强对在线猜测攻击的抵抗能力的同时保持效率？
• RQ5 所改进的协议在现实威胁模型下是否对被动和主动攻击者均具备安全性？

主要发现

• 原始GPAKE协议易受无法检测的在线密码猜测攻击影响，攻击者可在不触发检测机制的情况下测试密码。
• 该协议未能提供隐式密钥确认，即一方无法确信另一方已成功计算出相同的会话密钥。
• 所提出的对策通过引入更强的认证检查和密钥绑定机制，成功抵御了在线密码猜测攻击。
• 改进后的协议实现了隐式密钥确认，确保了相互认证，并显著增强了整体协议安全性。
• 修改后的协议未显著增加计算或通信开销，保持了实际部署中的效率。
• 形式化分析确认，在标准安全假设下，增强后的协议能有效抵抗已知攻击，包括来自主动攻击者的威胁。