2014 Fiscal Year Annual Research Report
| Project/Area Number |
23500010
|
|---|
| Research Institution | Tokyo Institute of Technology |
|---|
Principal Investigator |
田中 圭介 東京工業大学, 情報理工学(系)研究科, 准教授 (20334518)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
安永 憲司 金沢大学, 電子情報学系, 助教 (50510004)
|
|---|
| Project Period (FY) |
2011-04-28 – 2015-03-31
|
| Keywords | 暗号理論 / ゲーム理論 / 安全性証明 / 暗号プロトコル |
|---|
| Outline of Annual Research Achievements |
ゲーム理論的安全性では従来の暗号理論的安全性とは異なる概念を捉えようとしている。従来の暗号理論的安全性では、プロトコルの参加者は基本的に、正直者か攻撃者かのどちらかであると考えられてきた。ゲーム理論的安全性では、このような従来の設定ではなく、参加者がある種の合理性に従って行動すると考える。すなわち、ゲーム理論にもとづく暗号プロトコルが近年提案され、考察されてきている。しかしながら、この設定のもとで対象となる暗号プロトコルのほぼすべてが秘密分散だった。
本研究の目的は、秘密分散以外の、他の暗号プロトコルを対象とすることである。特に、公開鍵暗号や電子署名などの基本的な暗号プロトコルに対する考察を行う。
この目的のために、本研究では研究期間4年を以下の3つのフェーズに分けた。第1フェーズ (H23): 秘密分散に適したモデルとプロトコルの調査および設計、第2フェーズ (H24,25): 公開鍵暗号および電子署名に適したモデルとプロトコルの設計、第3フェーズ (H26): 他の基本的なプロトコルを対象としたモデルとプロトコルの設計、の3つのフェーズである。
今年度は第3フェーズを行い、合理的な対話証明に関する研究を進めた。ここでは、報酬と呼ばれる新しい概念についての調査および研究を進めた。また、第1フェーズに関しても、Kawachi, Okamoto, Tanaka, Yasunaga: General Constructions of Rational Secret Sharing with Expected Constant-Round Reconstruction として研究をまとめ現在、国際論文誌に投稿中である。ここでは、秘密分散に対して期待値として定数ラウンドで動作するようなプロトロルの構成法について考察している。
|
Research Products
(5 results)
