[論文レビュー] 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

ひとこと要約

この論文は、Liらの動的IDベース認証プロトコルにおける深刻なセキュリティ脆弱性を特定している。このプロトコルは、再送攻撃、パスワード推測攻撃、すり替え攻撃に対して脆弱であることが示され、一般的な脅威に対する耐性を公式に主張しているにもかかわらず、その主張されるセキュリティ特性が損なわれている。

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.

研究の動機と目的

• Li らがその動的IDベース認証プロトコルについてマルチサーバー環境において提示したセキュリティ主張を分析すること。
• プロトコルの設計および実装における特定のセキュリティ上の弱みを同定し、検証すること。
• 再送攻撃、パスワード推測攻撃、およびすり替え攻撃といった一般的な暗号的攻撃に対して、プロトコルが耐えられることを示すこと。
• 形式的証明を通じて、プロトコルのセキュリティ特性が侵害されていることを示すこと。これは、元の著者らの主張と矛盾する。

提案手法

• IDベース認証における標準的な脅威モデルを用いて、Li らのプロトコルの形式的暗号解析を実施した。
• 再送攻撃のシナリオをシミュレートし、攻撃者が有効なメッセージをキャプチャして再送することで、不正アクセスを取得できることを示した。
• 送信されたメッセージ内に漏洩する情報の分析を通じて、プロトコルがオフラインパスワード推測攻撃に対してどれほど耐性があるかを評価した。
• 攻撃者がプロトコルのフロー内で偽のメッセージを生成することで、正当なユーザーまたはサーバーをすり替えられる攻撃を示した。
• 鍵導出およびメッセージ認証メカニズムにおける欠陥を、暗号的分析により特定した。
• 具体的な攻撃例およびメッセージの流れを提示し、各脆弱性の悪用を説明した。

実験結果

リサーチクエスチョン

• RQ1 攻撃者が有効なプロトコルメッセージをキャプチャして再送することで、再送攻撃を実行できるか？
• RQ2 送信されたメッセージ内にユーザー資格情報が不十分に保護されているため、プロトコルがオフラインパスワード推測攻撃に対して脆弱であるか？
• RQ3 攻撃者がプロトコルのフロー内で偽のメッセージを生成することで、正当なユーザーまたはサーバーをすり替えられるか？
• RQ4 Li らが主張するセキュリティ特性が、形式的暗号解析の下でも成立するか？
• RQ5 これらの攻撃が成功する原因となる、プロトコルの具体的な設計上の欠陥は何か？

主な発見

• 攻撃者が有効なメッセージをキャプチャして再送することで、不正アクセスを得られるため、プロトコルは再送攻撃に対して脆弱である。
• 送信されたメッセージ内にユーザーIDやパスワード関連情報が不十分に保護されているため、オフラインパスワード推測攻撃が可能である。
• 攻撃者が正当に見える偽のメッセージを生成することで、サーバーまたはクライントに対してすり替え攻撃を成功させることができる。
• プロトコルは相互認証を提供できず、これは安全なリモートアクセスの基本的要件である。
• Li らのセキュリティ主張は誤りであり、プロトコルは基本的な暗号的攻撃に対しても耐えられない。
• 根本的な設計上の欠陥は、弱いメッセージ認証および不十分な鍵導出メカニズムに起因する。