研究課題/領域番号 |
23K21644
|
研究種目 |
基盤研究(B)
|
配分区分 | 基金 |
応募区分 | 一般 |
審査区分 |
小区分60010:情報学基礎論関連
|
研究機関 | 電気通信大学 |
研究代表者 |
岩本 貢 電気通信大学, 大学院情報理工学研究科, 教授 (50377016)
|
研究分担者 |
四方 順司 横浜国立大学, 大学院環境情報研究院, 教授 (30345483)
渡邉 洋平 電気通信大学, 大学院情報理工学研究科, 助教 (40792263)
|
研究期間 (年度) |
2024-04-01 – 2025-03-31
|
研究課題ステータス |
交付 (2024年度)
|
配分額 *注記 |
4,420千円 (直接経費: 3,400千円、間接経費: 1,020千円)
2024年度: 4,420千円 (直接経費: 3,400千円、間接経費: 1,020千円)
|
キーワード | シミュレーションベース安全性 / 十分統計量 / 情報理論的安全性 / 計算量的安全性 |
研究開始時の研究の概要 |
安全性の定式化は暗号理論における最も重要な基礎的問題である.本研究では,安全性定式化の理論を暗号理論・情報理論・統計学的な立場から検討し,特にシミュレーションベース安全性に関する多角的な理解を目指す.単なる解釈論ではなく,異なる数学的概念によって安全性概念を記述し,それらに対する新たな安全性証明技法を提案する.シミュレーションベース安全性は情報理論的安全性および計算量的安全性の両方で定式化できることから,得られた成果をベースにして計算量理論と情報理論・統計学の融合を目指す.
|