[論文レビュー] 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プロトコルのメッセージ交換フローを分析すること。
• 攻撃者がプロトコルの設計的欠陥を悪用して、検出されない形でオンラインパスワード推測攻撃を実行できることを実証すること。
• 繰り返しの試行中にパスワード漏洩を防ぐために、より強力な暗号素子を組み込んだ変更されたプロトコルを導入すること。
• 相互認証メッセージにセッション鍵をバインドすることで、プロトコルに暗黙的鍵確認を強化すること。
• 積極的および受動的攻撃者に対して耐性を持つように、改善されたプロトコルのセキュリティモデルを形式化すること。
• 符号的検証を用いてプロトコルのセキュリティを検証し、元の設計の欠陥と比較すること。

実験結果

リサーチクエスチョン

• RQ1 悪意あるクライアントは、元のGPAKEプロトコルに対して検出不能なオンラインパスワード推測攻撃を実行可能か？
• RQ2 元のGPAKEプロトコルは、相互認証を保証するための暗黙的鍵確認を提供するか？
• RQ3 ゲートウェイ指向の鍵交換環境において、パスワード漏洩を防ぐために必要な暗号的強化は何か？
• RQ4 効率性を維持しつつ、オンライン推測攻撃に対する耐性を強化するには、プロトコルをどのように変更すべきか？
• RQ5 改善されたプロトコルは、現実的な脅威モデルにおいて、受動的および積極的攻撃者に対して安全か？

主な発見

• 元のGPAKEプロトコルは、検出されない形でパスワードをテストできるため、検出不能なオンラインパスワード推測攻撃に対して脆弱である。
• プロトコルは暗黙的鍵確認を提供しない。これは、片方が同じセッション鍵を正しく計算したかどうかを相手が保証できないことを意味する。
• 提案された反措置は、より強力な認証チェックと鍵バインディングを導入することで、オンラインパスワード推測攻撃に成功して耐性を持つ。
• 改善されたプロトコルは暗黙的鍵確認を達成しており、相互認証を保証し、全体的なプロトコルのセキュリティを強化している。
• 修正によって計算コストや通信オーバーヘッドが顕著に増加せず、実世界での導入に適した効率性を維持している。
• 形式的分析により、標準的なセキュリティ仮定のもとで、積極的攻撃者からの既知の攻撃に対しても、強化されたプロトコルが耐性を持つことが確認された。