[論文レビュー] Cryptanalysis of an Elliptic Curve-based Signcryption Scheme

Mohsen Toorani, Ali Asghar Beheshti Shirazi|arXiv (Cornell University)|Apr 20, 2010

Cryptography and Residue Arithmetic参考文献 20被引用数 36

ひとこと要約

この論文は、はんらんらの楕円曲線ベースの署名暗号方式を cryptanalyzes し、機密性、改ざん不能性、一方向性の面で深刻なセキュリティ上の欠陥を明らかにしている。著者らは、実用的な攻撃を提示し、方式が基本的な署名暗号のセキュリティ特性を満たさないことを示しており、暗号的に安全でないことが判明している。これは、暗号化とデジタル署名を効率的に統合することを意図した設計にもかかわらず、その通りに機能しないことを意味する。

ABSTRACT

The signcryption is a relatively new cryptographic technique that is supposed to fulfill the functionalities of encryption and digital signature in a single logical step. Although several signcryption schemes are proposed over the years, some of them are proved to have security problems. In this paper, the security of Han et al.'s signcryption scheme is analyzed, and it is proved that it has many security flaws and shortcomings. Several devastating attacks are also introduced to the mentioned scheme whereby it fails all the desired and essential security attributes of a signcryption scheme.

研究の動機と目的

• はんらんらの楕円曲線ベースの署名暗号方式のセキュリティを分析すること。
• 方式の設計に内在する根本的なセキュリティ上の脆弱性を特定し、実証すること。
• 機密性、改ざん不能性、一方向性といった核心的なセキュリティ属性を満たさないことを証明すること。
• 方式のセキュリティ保証を破る実用的な攻撃を提示すること。
• 方式の意図する効率性とセキュリティ上の利点を損なう設計上の欠陥を強調すること。

提案手法

• 著者らは、標準的な暗号的原則と脅威モデルを用いて、はんらんらの署名暗号方式の形式的セキュリティ分析を実施している。
• 鍵生成およびメッセージ署名プロセスにおける構造的弱みを特定し、なりすましや改ざんを可能にする。
• 選択メッセージおよび選択暗号文攻撃の下で、鍵回復およびメッセージ改ざんに対する実用的攻撃を構築している。
• 楕円曲線演算における既知の脆弱性と、暗号化部と署名部の不適切な結合を分析に活用している。
• 標準的な署名暗号のセキュリティ定義と比較することで、方式の振る舞いに逸脱が生じ、セキュリティの崩壊を露呈している。
• 攻撃のベクトルとセキュリティ証明の失敗を説明するために、図式と形式的方程式が用いられている。

実験結果

リサーチクエスチョン

• RQ1 はんらんらの署名暗号方式は、選択メッセージ攻撃および選択暗号文攻撃に耐えられるか？
• RQ2 標準的なセキュリティモデル下でも、方式は機密性と改ざん不能性を維持するか？
• RQ3 方式の暗号化部とデジタル署名部の統合に、構造的欠陥は存在するか？
• RQ4 攻撃者が秘密鍵を知らずに有効な署名暗号メッセージを改ざんできるか？
• RQ5 楕円曲線プリミティブの使用は、セキュリティを保証するのに十分か、それとも実装上の脆弱性があるか？

主な発見

• 攻撃者が公開情報から秘密鍵を計算可能である鍵回復攻撃に脆弱である。
• 攻撃者が秘密鍵にアクセスせずに有効な署名暗号を生成できる、実存的改ざん攻撃が実証された。
• 攻撃者が承認なしにメッセージを復号できるため、方式は機密性を提供しない。
• 受信者が送信者から来たものと見せかける署名暗号を改ざんできるため、一方向性を満たさない。
• はんらんらが提示したセキュリティ証明は、下位問題の難易度に関する誤った仮定に基づいているため無効である。
• 方式の設計上の欠陥により、いかなるセキュリティが求められるアプリケーションにも導入できない。