| 研究課題/領域番号 |
21700015
|
|---|
| 研究種目 |
若手研究(B)
|
| 配分区分 | 補助金 |
|---|
| 研究分野 |
情報学基礎
|
|---|
| 研究機関 | 大阪大学 |
|---|
研究代表者 |
吉田 真紀 大阪大学, 大学院・情報科学研究科, 助教 (50335387)
|
|---|
| 研究期間 (年度) |
2009 – 2011
|
| 研究課題ステータス |
完了 (2011年度)
|
| 配分額 *注記 |
4,160千円 (直接経費: 3,200千円、間接経費: 960千円)
2011年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円)
2010年度: 1,430千円 (直接経費: 1,100千円、間接経費: 330千円)
2009年度: 1,560千円 (直接経費: 1,200千円、間接経費: 360千円)
|
|---|
| キーワード | 暗号プロトコル / 安全性 / 汎用的結合可能性 / 形式的検証 / 計算量的に健全 / 計算量的健全性 / UC安全性 / GUC安全性 / EUC安全性 / Generic model |
|---|
| 研究概要 |
本研究の目的は,暗号プロトコルに対して,現状において最も望ましい強さの安全性である汎用的結合可能安全性をもつことを検証するための基盤技術と,それに基づく再設計の支援も含めた検証技術を開発することである.
|
