Project/Area Number |
23K11095
|
Research Category |
Grant-in-Aid for Scientific Research (C)
|
Allocation Type | Multi-year Fund |
Section | 一般 |
Review Section |
Basic Section 60070:Information security-related
|
Research Institution | Ibaraki University |
Principal Investigator |
米山 一樹 茨城大学, 理工学研究科(工学野), 教授 (50759579)
|
Project Period (FY) |
2023-04-01 – 2026-03-31
|
Project Status |
Granted (Fiscal Year 2023)
|
Budget Amount *help |
¥4,550,000 (Direct Cost: ¥3,500,000、Indirect Cost: ¥1,050,000)
Fiscal Year 2025: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
Fiscal Year 2024: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
Fiscal Year 2023: ¥1,690,000 (Direct Cost: ¥1,300,000、Indirect Cost: ¥390,000)
|
Keywords | 漏洩耐性 / 緊密な安全性 / 耐量子安全性 / 耐量子計算機安全性 / 認証鍵交換 |
Outline of Research at the Start |
TLSを始め現在利用されている認証鍵交換は量子計算機が実現すると破れてしまうため、耐量子安全性を満たす方式が求められている。さらに、秘密情報の漏洩耐性や信頼性の高い安全性保証も要求される。本研究では量子計算機時代に実用に耐えうる認証鍵交換として、漏洩耐性と耐量子安全性を満たす方式を考案し、計算機による形式検証で安全性を保証することを目指す。漏洩耐性と(効率を高める)緊密な安全性を同時に満たすための一般構成における要素技術の十分条件を解明し、条件を満たす耐量子安全な要素技術を設計する。また、既存の安全性自動検証ツールを緊密な安全性を捉えるように拡張し、提案方式の網羅的な安全性検証を与える。
|
Outline of Annual Research Achievements |
R5年度の研究目的は、強い漏洩耐性と緊密な安全性を保証する耐量子認証鍵交換の一般構成と部品の十分条件の解明である。研究実施計画に基づき、①漏洩耐性を満たす認証鍵交換方式の設計と安全性証明、②耐量子安全性を満たす認証鍵交換方式の設計と安全性証明、に取り組んだ。 ①漏洩耐性を満たす認証鍵交換方式に関しては、2021年に国際会議で発表した長期秘密鍵と使い捨て乱数の漏洩耐性を保証する片側認証の一般構成について、ランダムオラクルモデルにおける効率の良い方式とその安全性証明を与えた。従来の標準モデルにおける方式に比べ、理想的な仮定を用いる代わりに通信量や計算量を削減できることを示した。また、一般構成の部品に求められる十分条件を明らかにした。 ②耐量子安全性を満たす認証鍵交換方式に関しては、同種写像問題に基づく効率の良いパスワードベース方式を提案した。2022年に初めての同種写像問題に基づくパスワードベース方式が提案されたが、パスワード長が長くなると通信量と計算量が増大するという問題があった。提案方式では、従来方式と計算量仮定を変えることなく、通信量を約半分、計算量を約4/5に削減することに成功した。 漏洩耐性を満たす認証鍵交換方式については、国際論文誌(IEICE TRANSACTIONS on Fundamentals)に掲載され、公知化した。また、耐量子安全性を満たす認証鍵交換方式については、国際会議(ACISP 2023)で発表し、公知化した。
|
Current Status of Research Progress |
Current Status of Research Progress
2: Research has progressed on the whole more than it was originally planned.
Reason
実施計画に沿って、研究目的である強い漏洩耐性と緊密な安全性を保証する耐量子認証鍵交換の設計に必要な漏洩耐性と耐量子安全性を達成するための基礎となる方式を設計し知見を得ることができたため。
|
Strategy for Future Research Activity |
引き続き研究計画に沿って、認証鍵交換方式の設計と部品に要求される十分条件を満たす耐量子安全な要素技術の考案を進めていく。特に、緊密な安全性を満たす方式の構成に取り組む。前年度の成果である漏洩耐性を持つ方式と耐量子安全性を満たす方式の構成に用いたテクニックをうまく組み合わせられないか検討する。
|