暗号文中のキーワードの有無の証明法
スポンサーリンク
概要
- 論文の詳細を見る
fはC=f(m)という暗号化関数とする。CとキーワードKが与えられたとき、Kがmに含まれるか否かを判定する問題を考える。本論文では、この問題が多項式時間Turing帰着の意味でf<-1>の計算と同等であること、したがって効率的な判定アルゴリズムは存在しそうもないことを示す。しかしながら、この判定問題と等価な言語とその補言語に対しては、群同型の性質をもつ暗号化関数を仮定すれば、NP完全な言語への帰着を使わずに計算量的なゼロ知識証明系が構成できることが示され、キーワードの有無を平文を示さずに証明できることを具体的に明らかにする。
- 1997-11-20
著者
関連論文
- 代数的トーラス上の離散対数問題に関する計算量理論的考察(情報通信基礎サブソサイエティ合同研究会)
- 暗号文中のキーワードの有無の証明法
- 追跡可能性を有する部分ブラインド署名の一構成(情報通信基礎サブソサイエティ合同研究会)
- 追跡可能性を有する部分ブラインド署名の一構成(情報通信基礎サブソサイエティ合同研究会)
- 追跡可能性を有する部分ブラインド署名の一構成(情報通信基礎サブソサイエティ合同研究会)
- 代数的トーラス上の離散対数問題に関する計算量理論的考察(情報通信基礎サブソサイエティ合同研究会)
- 代数的トーラス上の離散対数問題に関する計算量理論的考察(情報通信基礎サブソサイエティ合同研究会)
- 平成20年度東北大学学士課程入学者の基礎的な情報対応能力について
- 平成20年度東北大学学士課程入学者の基礎的な情報対応能力について
- 平成19年度東北大学学士課程入学者の基礎的な情報対応能力について
- 音情報に対する電子透かし : 乱択法とうなり法(情報通信基礎サブソサイエティ合同研究会)
- 公開鍵基盤の頑健化について(情報通信基礎サブソサイエティ合同研究会)
- 音情報に対する電子透かし : 乱択法とうなり法(情報通信基礎サブソサイエティ合同研究会)
- 公開鍵基盤の頑健化について(情報通信基礎サブソサイエティ合同研究会)
- 音情報に対する電子透かし : 乱択法とうなり法(情報通信基礎サブソサイエティ合同研究会)
- 公開鍵基盤の頑健化について(情報通信基礎サブソサイエティ合同研究会)
- グラフ同型を用いた離散対数型暗号の考察
- 無方向性関数について
- 平成19年度東北大学学士課程入学者の基礎的な情報対応能力について
- 東北大学川内北キャンパスの無線ＬＡＮ接続サービス
- 言語認識の複雑さと関数計算の複雑さの関係(セキュリティ関係,一般)
- 言語認識の複雑さと関数計算の複雑さの関係(セキュリティ関係,一般)
- 言語認識の複雑さと関数計算の複雑さの関係(セキュリティ関係,一般)
- 多価関数における自己帰着とmany-one型帰着について(情報通信基礎サブソサイエティ合同研究会)
- 多価関数における自己帰着とmany-one型帰着について(情報通信基礎サブソサイエティ合同研究会)
- 多価関数における自己帰着とmany-one型帰着について(情報通信基礎サブソサイエティ合同研究会)
- カードの配布による鍵集合プロトコルが最適であるための必要十分条件
- 情報の漏れを許容する知識の対話証明(一般,情報セキュリティ,ライフログ活用技術,ライフインテリジェンス,オフィス情報システム,一般)
- SLPに基づく強RSA仮定とDDH仮定の分離(一般,情報セキュリティ,ライフログ活用技術,ライフインテリジェンス,オフィス情報システム,一般)
- 情報の漏れを許容する知識の対話証明(一般,情報セキュリティ,ライフログ活用技術,ライフインテリジェンス,オフィス情報システム,一般)
- SLPに基づく強RSA仮定とDDH仮定の分離(一般,情報セキュリティ,ライフログ活用技術,ライフインテリジェンス,オフィス情報システム,一般)