Indistinguishability
識別不可能性(Indistinguishability、IND)は暗号学の中核的な形式的セキュリティ定義である:攻撃者は、2 つの挑戦平文の暗号文を無視できない程度の優位性では区別できない。
目的
暗号化の機密性(コンフィデンシャリティ)に対する証明可能安全性の定義を与える。現代暗号学のゴールドスタンダードである。
メカニズム
敵は同長の平文 m0 と m1 を提出し、挑戦者はランダムな一方を暗号化して C* を返し、敵は推測 b を出力する。安全性には優位性 Adv = |Pr[b′=b] − 1/2| が無視できることが要求される。オラクルの違いにより IND-CPA/CCA が得られる。
ユースケース
- 暗号化のセキュリティ証明
- 暗号プロトコル分析
- 証明可能なセキュリティ