単元一覧 › 大学数学 暗号理論

暗号理論の問題

難易度 2教科書の演習問題レベル大学数学 暗号理論

出力が 通りの値 のどれかになるハッシュ関数 を考える。 はランダムオラクルとみなす。つまり、互いに異なる入力に対する出力は、それぞれ独立に 通りの値から等確率で選ばれるものとする。

攻撃者は、署名してもらいたい「正当な文書」の変種 と、すり替えたい「不正な文書」の変種 を用意する。これら 個の入力は互いに異なる。攻撃者は

を満たす が少なくとも 組存在するとき、攻撃に成功するものとする。正当な文書どうし、または不正な文書どうしでハッシュ値が一致しても、それだけでは成功とはみなさない。

攻撃に成功する確率を、既約分数で求めよ。

この問題で使うもの

この問題を解けるようになるまで(58 技能)
算数中学高校大学大学院

読み込み中…

右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。

一覧で見る(前提が先)
  1. 樹形図で数え上げる
  2. 積の法則と和の法則
  3. 和の法則・積の法則と樹形図
  4. 順列・円順列・重複順列
  5. 組合せ
  6. 確率の定義と和事象・余事象
  7. 分数のたし算・ひき算
  8. 小数の四則計算
  9. 正負の数の加法・減法
  10. 分数のかけ算・わり算
  11. 四則の混じった計算の順序
  12. 正負の数の乗除・累乗と四則混合
  13. 分配法則を使った計算のくふう
  14. 文字式の計算(同類項・分配法則)
  15. 乗法公式による展開
  16. 因数分解
  17. 3 次式までの展開と因数分解
  18. 微分係数と導関数の定義
  19. 多項式の微分
  20. 小数と分数のまじった計算
  21. 逆算(□ を求める)
  22. 1 次方程式の解き方
  23. 比例・反比例の式とグラフ
  24. 約数の見つけ方
  25. 素因数分解と約数の個数
  26. 平方根の意味と根号の簡単化
  27. 関数 の式と変域
  28. 平方完成と 2 次関数のグラフ
  29. 2 次不等式
  30. 剰余の定理・因数定理と高次方程式
  31. 増減表と極値
  32. 等間隔にならんだ数の和
  33. 等差・等比数列の和と Σ
  34. 数列の極限
  35. 関数の極限
  36. 関数の連続性と中間値の定理
  37. 平均値の定理
  38. 積と商の微分
  39. 第 2 次導関数とグラフの凹凸
  40. 合成関数の微分
  41. 円の周の長さと面積
  42. おうぎ形の弧の長さと面積
  43. 弧の長さからおうぎ形の中心角と面積を求める
  44. 三角形・四角形の面積
  45. 三平方の定理
  46. 特別な直角三角形の辺の比
  47. 弧度法と単位円による三角関数
  48. の極限
  49. 加法定理と 2 倍角・半角・積和の公式
  50. 三角関数の導関数
  51. 根号の乗除と加減
  52. 指数の拡張と指数関数
  53. 対数の定義と性質
  54. 自然対数の底
  55. 指数関数・対数関数の導関数
  56. 増減・凹凸・漸近線とグラフ
  57. テイラー展開
  58. ハッシュの衝突確率(誕生日問題)

ヒント

行き詰まったら、上から順に 1 つずつ開いてください。

ヒント 1

余事象「正当側と不正側のあいだでハッシュ値が一致する組が 1 つもない」を考え、正当側の 3 つのハッシュ値が何種類の値になるかで場合分けしよう。

ヒント 2

正当側のハッシュ値の集合を 、 とすると、不正側の各ハッシュ値が を避ける確率は で、3 つは独立である。 となる確率を求めて全確率の公式を使う。

ヒント 3

, , である。成功しない確率は で求められる。

答えと解説

答えを見る
結果を記録する(このブラウザにだけ保存されます):
解説を読む

余事象「どの についても 」の確率を求める。

正当な文書側のハッシュ値の集合を とし、その要素数を とする。 は のどれかである。 個の値の組 は全部で 通りあり、すべて等確率で現れる。

  • (3 つとも一致): 通り。よって 。
  • (すべて異なる): 通り。よって 。
  • : 一致する 2 つの位置の選び方が 通り、値の選び方が 通りで、 通り。よって 。

(確認: 。)

の出力は 側とは独立で、それぞれ独立に一様に分布する。そのため、 が与えられたとき、各 が に入らない確率は である。したがって

となる。具体的には、 に対してそれぞれ である。

全確率の公式より

(別の数え方: 個の出力の組 通りのうち、成功しないものは 通りである。 となり、一致する。)

よって攻撃に成功する確率は

である。 で、分子は奇数なので、これは既約分数である。

別解

の値の集合を 、 の値の集合を とする。攻撃が成功するのは のときである。余事象 の確率を求める。

のハッシュ値の列は全部で 通りで、異なる値の個数 ごとに数えると次のとおり。
- : 通り
- : 通り
- : 通り

合計は で一致する。

のとき、 がすべて の外の値になる確率は である。よって余事象の確率は

は奇数なのでこれ以上約分できない。

成功確率は

は奇数で、分母は なので既約である。値はおよそ で、 組のペアが各確率 で一致するとした大まかな見積もりとも矛盾しない。

この問題の確認

AI が作成した問題です。公開前に次の確認を行いました。確認の方法について

間違いを報告する

この問題の誤り・分かりにくい点・難易度や学年のずれを知らせる
どこについての報告ですか

報告の内容と問題の番号を保存します。名前やメールアドレスは保存しません。

関連する問題