2005 Fiscal Year Annual Research Report
暗号解析手法の計算量理論による改良とそれに基づく暗号方式
| Project/Area Number |
16092206
|
|---|
| Research Institution | Tokyo Institute of Technology |
|---|
Principal Investigator |
田中 圭介 東京工業大学, 大学院・情報理工学研究科, 助教授 (20334518)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
渡辺 治 東京工業大学, 大学院・情報理工学研究科, 教授 (80158617)
戸田 誠之助 日本大学, 理工学部, 教授 (90172163)
河内 亮周 東京工業大学, 大学院・情報理工学研究科, 助手
|
|---|
| Keywords | 暗号理論 / 情報セキュリティー / 計算量 / 相対化 / 暗号プロトコル / 安全性 / 匿名性 / 電子署名 |
|---|
| Research Abstract |
主に、大きく分けて三つの研究成果が得られた。ひとつめは、暗号の安全性に関する精密な解析手法の開発に関連して、NP完全あるいはNP困難な問題の代表的なものとして、論理式の充足可能性問題と呼ばれる問題群に対する問題の評価方法について考察した。MAX-SAT問題の難しさの平均的な解析をする際、問題例の分布に対する確率モデルが必要である。これまで、そのような確率モデルとして妥当なものがなかった。我々は、MAX-2SAT問題に対して、まずテスト例題生成、という観点から問題例生成の手法を提案した。さらに、それを単純化して、MAX-2SAT問題の問題例に対する自然な確率分布を提案することができた。
ふたつめは、具体的暗号方式の提案である。まず、公開鍵暗号に対して近年提案された安全性である匿名性についての考察を、昨年度から引き続き行った。そこでは、公開鍵秘匿通信方式に対して一般的な方式から匿名性をもつ方式を得るための変換テクニックを提案するとともに、その提案手法の有用性について論じた。
これらに加え、格子問題に基づく複数ビット公開鍵秘匿通信方式の提案、新たな数学的仮定とそれに基づく公開鍵秘匿通信方式の提案、指定検証者署名への変換が可能なaggregate signatureの提案、(n-t)-out-of-nしきい値つきリング署名方式の提案、バッチ検証機能つきsigncryption方式の提案、指定検証者署名への変換が可能なリング署名の提案、3人モデルにおける効率の良いパスワードベース認証付き鍵交換プロトコルの提案、多対-モデルにおける署名のfair exchange方式の提案、秘密情報を用いた墨塗り署名方式の提案、複数グループにおけるsecret handshake方式の提案を行った。
|
