Project/Area Number |
23K21644
|
Research Category |
Grant-in-Aid for Scientific Research (B)
|
Allocation Type | Multi-year Fund |
Section | 一般 |
Review Section |
Basic Section 60010:Theory of informatics-related
|
Research Institution | The University of Electro-Communications |
Principal Investigator |
岩本 貢 電気通信大学, 大学院情報理工学研究科, 教授 (50377016)
|
Co-Investigator(Kenkyū-buntansha) |
四方 順司 横浜国立大学, 大学院環境情報研究院, 教授 (30345483)
渡邉 洋平 電気通信大学, 大学院情報理工学研究科, 助教 (40792263)
|
Project Period (FY) |
2024-04-01 – 2025-03-31
|
Project Status |
Granted (Fiscal Year 2024)
|
Budget Amount *help |
¥4,420,000 (Direct Cost: ¥3,400,000、Indirect Cost: ¥1,020,000)
Fiscal Year 2024: ¥4,420,000 (Direct Cost: ¥3,400,000、Indirect Cost: ¥1,020,000)
|
Keywords | シミュレーションベース安全性 / 十分統計量 / 情報理論的安全性 / 計算量的安全性 |
Outline of Research at the Start |
安全性の定式化は暗号理論における最も重要な基礎的問題である.本研究では,安全性定式化の理論を暗号理論・情報理論・統計学的な立場から検討し,特にシミュレーションベース安全性に関する多角的な理解を目指す.単なる解釈論ではなく,異なる数学的概念によって安全性概念を記述し,それらに対する新たな安全性証明技法を提案する.シミュレーションベース安全性は情報理論的安全性および計算量的安全性の両方で定式化できることから,得られた成果をベースにして計算量理論と情報理論・統計学の融合を目指す.
|