差分確率のソースを表示

'''差分確率'''（さぶんかくりつ、Differential Probability）とは、ある有限種類の入力を持つ[[全射]]の[[関数 (数学)|関数]]<math>f(x)</math>があったときに、[[任意]]の<math>x</math>について、<math>f(x)\oplus{}f(x\oplus \Delta{}x)</math>がある値<math>\Delta{}y</math>になる[[確率]]である。<math>x</math>の[[値域]]に[[矛盾]]しないすべての<math>\Delta{}x</math>に対して<math>\Delta{}y</math>の確率を求めることができる。
ただし、<math>\Delta{}x=0</math>の場合必ず<math>\Delta{}y=0</math>となる。

<math>\Delta{}x=0</math>を除いて、差分確率の中で最も高い確率をその関数の最大差分確率と呼ぶ。
最大差分確率を求めるための[[計算量]]は、<math>x</math>の種類のおよそ2乗となる。

差分確率は、[[ブロック暗号]]の解読法の一つである[[差分解読法]]に用いられる。
ただし、ブロック暗号全体の最大差分確率を求めるための計算量はブロック暗号全体の計算量よりも大きいため、通常は求めることができない。
そのため、ブロック暗号を解読する場合は、小さなブロック単位での最大差分確率を求め、その確率を次のブロックに接続していくことによって全体の差分確率を概算する。このように求めた値は最大差分特性確率と呼ばれ、最大差分確率よりも小さい。

最大差分特性確率の逆数が解読に必要な平文数となる。逆に言えば、最大差分特性確率がブロック長<math>B</math>に対して<math>2^{-B}</math>より小さければ、差分解読法でその暗号が解読されることはない。

== 関連項目==
* [[ブロック暗号]]
* [[差分解読法]]
* [[共通鍵暗号]]
* [[暗号理論]]
* [[Feistel構造]]
* [[SPN構造]]

{{DEFAULTSORT:さふんかくりつ}}
[[Category:暗号技術]]
[[Category:数学に関する記事]]