|
暗号文中に含まれる特定文字列を探索することの難しさに関し、次の成果を得た。
1.単射の暗号化関数の場合には、文字列の有無を判定する問題と、文字列の個数を数え上げる問題と、暗号文そのものを復号する問題とが、すべて等価であることを証明した。等価性の証明は多項式時間Turing帰着による。換言すれば、暗号化関数の存在の仮定のもとでは、効率的な文字列の探索法は存在しないことが示された。
2.一方、文字列の存在の有無の判定は平文の部分情報の漏れの問題と関連するため、暗号系に対する能動攻撃への耐性の問題(特に強秘匿性)とリンクすることとなった。そこで離散対数暗号系を対象に、能動攻撃に対する耐性の強さの順序付け作業を行い、ElGamal暗号に類似の代表的なものに関して、それを完成させた。
3.素因数分解問題に基づく暗号系では、単射でない暗号化関数がある(例えばRabin暗号系)。これらの暗号化関数では、素因数分解問題が破られれば文字列の有無の判定は容易である。逆に、文字列の判定ができれば素因数分解ができるかどうかは、特定ビット位置の有無の判定に関してのみしか結果が知られていない。そこで、まず素因数分解問題そのものの計算量理論的位置付けを検討し、具体的には限定算術体系のなかでの位置付けを行うことに成功した。しかし、文字列の有無の判定問題との関係を限定算術体系のなかで決定するまでには至っていない。
|
