[论文解读] Weaknesses of a dynamic identity based authentication protocol for multi-server architecture

Weiwei Han|arXiv (Cornell University)|Jan 4, 2012

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

一句话总结

本文识别出李等人在多服务器架构中提出的动态身份基认证协议中的关键安全漏洞。尽管该协议在形式上声称可抵御常见威胁，但其仍易受重放、密码猜测和伪装攻击的威胁，从而破坏其声称的安全属性。

ABSTRACT

Recently, Li et al. proposed a dynamic identity based authentication protocol for multi-server architecture. They claimed their protocol is secure and can withstand various attacks. But we found some security loopholes in the protocol. Accordingly, the current paper demonstrates that Li et al.'s protocol is vulnerable to the replay attack, the password guessing attack and the masquerade attack.

研究动机与目标

• 分析李等人关于其在多服务器环境中提出的动态身份基认证协议的安全声明。
• 识别并验证该协议设计与实现中的具体安全弱点。
• 证明该协议无法抵御常见的密码学攻击，如重放、密码猜测和伪装攻击。
• 提供形式化证据，表明该协议的安全属性已被破坏，与原始作者的断言相矛盾。

提出的方法

• 使用身份基认证中的标准威胁模型，对该协议进行形式化密码分析。
• 模拟重放攻击场景，以展示攻击者如何重用有效消息以获得未授权访问。
• 通过分析传输消息中泄露的信息，评估协议对离线密码猜测攻击的抵抗能力。
• 演示一种伪装攻击，即攻击者通过伪造消息冒充合法用户或服务器。
• 利用密码学分析，揭示密钥派生和消息认证机制中的缺陷。
• 提供具体的攻击示例和消息序列，以说明每种漏洞的利用过程。

实验结果

研究问题

• RQ1 攻击者能否通过截获并重发有效协议消息来实施重放攻击？
• RQ2 由于用户凭证保护不足，该协议是否易受离线密码猜测攻击？
• RQ3 攻击者能否通过伪造协议流程中的消息来冒充合法用户或服务器？
• RQ4 在形式化密码分析的审视下，李等人的安全声明是否成立？
• RQ5 协议中哪些具体设计缺陷导致了这些攻击的成功？

主要发现

• 该协议易受重放攻击，攻击者可截获并重发有效消息以获得未授权访问。
• 由于传输消息中用户身份和密码相关信息保护不足，该协议允许离线密码猜测攻击。
• 攻击者可通过伪造看似合法的消息，成功实施伪装攻击。
• 该协议无法提供相互认证，而这是安全远程访问的基本要求。
• 李等人的安全声明无效，因为该协议无法抵御基本的密码学攻击。
• 核心设计缺陷源于薄弱的消息认证机制和不充分的密钥派生机制。