誕生日攻撃

誕生日攻撃（たんじょうびこうげき、）は、暗号の理論で使われる、暗号システムに対する攻撃の考え方の1つで、数理的には確率における誕生日問題の応用である。関数 "f" があるとき、formula_1 となるような2つの異なる入力 formula_2 を求めたい、という場合に関わる。この formula_2 のような組合せは衝突と呼ばれている。
暗号学において、このような衝突を求める攻撃には2種類がある。formula_4とformula_5の両方を攻撃者が任意に選ぶことができる場合と、片方は外部、たとえば送信者によって固定されており、攻撃者はもう片方について探すことしかできない場合、の2種類である。前者についての強度を強衝突耐性、後者についての強度を弱衝突耐性などと呼ぶこともある。ここで対象としているのは前者であり「衝突攻撃」とも呼ばれている。後者については「原像攻撃」を参照。
攻撃者が、衝突するペアを見つける方法は、無作為にまたは作為的にあるいは擬似乱数的に生成した異なる複数の入力を関数 "f" に与えて評価し、複数回同じ値となるまで続けるだけである。前述した誕生日問題から、この方法は思ったよりは効率的である。特に関数 formula_6 が formula_7 個の異なる出力をそれぞれ同じ確率で生成し formula_7 が非常に大きい場合、formula_1 となるような異なる入力 formula_4 と formula_5 を得るまでに "f" を評価する回数の平均は約 formula_12 回である。
何らかの暗号システムに対し、誕生日攻撃が問題であるか否かは、その暗号システムの設計と目的次第である。例えば、他のシステムに含まれているのではない暗号学的ハッシュ関数それ自身の評価としては、誕生日攻撃が可能なことは当然であって、誕生日攻撃よりも効率よく攻撃可能な手法が存在しないことが要件となる。また誕生日攻撃に耐えなければならないシステムでは、それを考慮に含めて十分に長いハッシュ値を採用するなどしなければならない。一方で、たとえば本来ならば攻撃者が片方のハッシュ値を自由に選ぶことができない（つまり、誕生日攻撃による攻撃が不可能でなければならない）はずのシステムに何らかの抜け穴があり、誕生日攻撃が可能になっていた、というような場合は欠陥として問題となる。
数理的解説.
次のような実験を考える。formula_7 個の値の集合から formula_14 個の値を一様かつ無作為に選ぶ（重複もありうる）。この実験で少なくとも1つの値が2回以上選ばれる確率を formula_15 とする。この確率は次のように概算できる。
衝突を発見する確率を formula_17 以上とするとき、行わなければならない試行回数の下限を formula_18 とする。すると、上の式から次のような近似が得られる。
衝突発生確率を0.5とすると、次のようになる。
最初の衝突が発生するまでに行わなければならない試行回数を formula_21 とする。この近似は次のようになる。
例えば、64ビットの暗号学的ハッシュ関数を使っている場合、約 1.8 × 1019 個の異なる出力がありうる。これらが全て同じ確率で発生する場合（最良ケース）、約 5.1 × 109 回の試行で衝突を発生させることができる。この値を birthday bound と呼び、n-ビットの符号についての birthday bound は formula_23 となる。他の例は次のようになる。
関数の出力が一様に分布しない場合、衝突をもっと早く見つけられることは容易に想像がつく。ハッシュ関数の「バランス」の観念は、誕生日攻撃への関数の耐性を定量化し、MDやSHAなどのよく知られたハッシュの脆弱性を見積もることを可能にする。
例.
デジタル署名への攻撃.
デジタル署名は誕生日攻撃の影響を受ける場合がある。多くのデジタル署名では、暗号学的ハッシュ関数 formula_24 を使ってメッセージ formula_25 のハッシュ値 formula_26 を計算し、そのハッシュ値に対して秘密鍵を適用して署名を得る。ここでアリスがボブを騙し、ニセの契約書に署名させる場合を考える。アリスはまず正しい契約書 formula_25 とニセの契約書 formula_28 を用意する。次に formula_25 の意味を変えずに字面を変えた書面をコンマを挿入したり、空行を挿入したり、文の後の空白を増やしたり、同義語で置換したりしていくつも作成する。このようにすることで、正しい契約書 formula_25 の膨大なバリエーションを作成できる。
同様の手法でアリスはニセの契約書 formula_28 についても多数のバリエーションを作成する。次にアリスは、それらの正しい契約書とニセの契約書の全バリエーションについてハッシュ関数を適用し、同じハッシュ値 formula_32 となるものを探す。そして、衝突した正しい方の契約書をボブに提示し署名を求める。ボブが署名したら、アリスはその署名を切り出し、ニセの（衝突した）契約書に添付する。この署名はボブがニセの契約書に署名したことを証明している。
なお，本来の誕生日問題とは若干異なり、正しい契約書間同士のペアやニセの契約書間同士のペアで衝突が見つかってもアリスには何の利益も生じない。アリスが詐欺を成功させるには、正しい契約書とニセの契約書の組み合わせのペアで衝突が発生する文面を見つける必要がある。つまり、上の説明での formula_14 は正しい契約書とニセの契約書のペアの個数に相当するため、アリスは実際には formula_34 回ハッシュ値生成を試行しなければならない。
このような攻撃を防ぐため、署名で使用するハッシュ関数の出力長は誕生日攻撃が事実上不可能な程度にまで十分長くなければならない。つまり、通常の総当り攻撃を防ぐのに必要なビット数の2倍を必要とする。
ポラード・ロー素因数分解法の離散対数への応用（）は、離散対数の計算に誕生日攻撃を応用した例である。
DNSキャッシュポイズニング.
BINDの実装上の問題などによる、誕生日攻撃を利用したDNSのDNSキャッシュポイズニングの可能性が議論されている。