| 研究課題/領域番号 |
23500010
|
|---|
| 研究種目 |
基盤研究(C)
|
| 配分区分 | 基金 |
|---|
| 応募区分 | 一般 |
|---|
| 研究分野 |
情報学基礎
|
|---|
| 研究機関 | 東京工業大学 |
|---|
研究代表者 |
田中 圭介 東京工業大学, 情報理工学(系)研究科, 准教授 (20334518)
|
|---|
| 研究分担者 |
安永 憲司 金沢大学, 電子情報学系, 助教 (50510004)
|
|---|
| 研究期間 (年度) |
2011-04-28 – 2015-03-31
|
| 研究課題ステータス |
完了 (2014年度)
|
| 配分額 *注記 |
5,070千円 (直接経費: 3,900千円、間接経費: 1,170千円)
2014年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円)
2013年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円)
2012年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円)
2011年度: 1,560千円 (直接経費: 1,200千円、間接経費: 360千円)
|
|---|
| キーワード | 暗号理論 / プロトコル / ゲーム理論 / 安全性 / 安全性証明 / 暗号プロトコル / ビットコミットメント / ナッシュ均衡 / マルチパーティー |
|---|
| 研究成果の概要 |
大きく分けて二つの成果が得られた。まず、2メッセージを用いた紛失通信についての考察である。 具体的には、攻撃者のモデルをプロトコルの実行を途中で中止させるだけのfail-stopモデルからプロトコル中のアルゴリズムを任意に変更する攻撃を許すmaliciousモデルへの拡張を行い、既存のある種の暗号理論的な安全性と等価なゲーム理論的安全性を与えることに成功している。
さらに、ビットコミットメントについての考察である。具体的には、malicious モデルの攻撃者を対象とし、既存のある種の暗号理論的な安全性と密接に関連するゲーム理論的安全性を与えることに成功している。
|
