| 研究課題/領域番号 |
23K11098
|
|---|
| 研究種目 |
基盤研究(C)
|
| 配分区分 | 基金 |
|---|
| 応募区分 | 一般 |
|---|
| 審査区分 |
小区分60070:情報セキュリティ関連
|
|---|
| 研究機関 | 千葉大学 |
|---|
研究代表者 |
多田 充 千葉大学, 情報戦略機構, 教授 (20303331)
|
|---|
| 研究期間 (年度) |
2023-04-01 – 2027-03-31
|
| 研究課題ステータス |
交付 (2023年度)
|
| 配分額 *注記 |
4,680千円 (直接経費: 3,600千円、間接経費: 1,080千円)
2026年度: 1,690千円 (直接経費: 1,300千円、間接経費: 390千円)
2025年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
2024年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
2023年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円)
|
|---|
| キーワード | ISDアルゴリズム / NP完全問題 / Signal Matrix Cover問題 / 耐量子計算機暗号系 |
|---|
| 研究開始時の研究の概要 |
近年大規模な量子計算機が実現した場合でも安全性を確保できると考えられている「耐量子計算機暗号系」の実際の利用を視野に入れた研究動向が見られる。実際，NISTは2017年より耐量子計算機暗号系を選定・標準化するPQCプロジェクトを進めている。耐量子計算機暗号系の安全性評価は重要な研究課題であり，また，量子計算機でも計算困難となる問題の創出・解析は重要な知見を与えると考えられる。本研究課題では，耐量子計算機暗号系で利用されている計算問題の量子計算を考慮した計算コストの評価，および，耐量子計算機暗号系として利用できる新たな計算問題の創出およびその適切なパラメータサイズの評価を行う。
|
| 研究実績の概要 |
本研究課題のテーマは２つある。１つはＰＱＣプロジェクトで候補となっている方式など，すでに定義され耐量子計算機暗号系で利用されている計算問題に対して，その計算困難性の解析および安全に運用できるためのパラメータ値の評価である。もう１つは耐量子計算機暗号系の安全性の根拠となる新しい計算問題の創出・計算困難性解析，および，その問題に基づく暗号系（暗号方式／ＫＥＭ／署名方式）の構成である。
令和５年度，サブテーマ１については，符号ベース暗号の安全性の根拠となるシンドローム復号問題を（多項式時間ではないにしろ）効率的に解くISDアルゴリズムに関する調査を行った。具体的には，すでに知られているＰｒａｎｇｅ，ＤｕｍｍｅｒやＭａｙ－Ｍｅｕｒｅｒ－Ｔｏｍａｅ（ＭＭＴ）アルゴリズムの一般化を提案し，既存のＩＳＤアルゴリズムとの漸近計算量を比較した。結果として，本アルゴリズムの計算量は既存のＩＳＤアルゴリズムの計算量よりも小さいことが分かった。また，計算量を算出する際に，より正確な場合においても，本研究で提案したアルゴリズムの時間計算量は，ＭＭＴアルゴリズムの時間計算量よりも小さいことも分かった。
サブテーマ２については，ＮＰ完全（困難）問題およびその性質，計算アルゴリズムに関する調査を進め，現在ＰＱＣプロジェクトで多く採用されている計算問題とは異なるＮＰ完全問題を用いた認証方式に関する調査を進めた。具体的には，本研究グループが以前提案したＳｉｇｎａｌ Ｍａｔｒｉｘ Ｃｏｖｅｒ Ｐｒｏｂｌｅｍ（ＳＭＣＰ）を用いた公開鍵認証方式について，その効率および安全性の更なる調査を行った。
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
2: おおむね順調に進展している
理由
サブテーマ１については，本研究課題の採択前から研究を行っていたこともあり，順調に進んでいると思われる。実際，令和４年度から続けていた「Ｒａｎｋ符号ベース暗号への量子的な攻撃手法や安全性解析」については，令和５年１月に国内シンポジウムで発表した後，さらに調査をすすめ，令和５年度，科学技術振興機構ＪＳＴの戦略的創造研究推進事業ＣＲＥＳＴにより助成を受けているＣＲＥＳＴクリプトマスが発行するＣＲＥＳＴ ＢＯＯＫに投稿し，採録が決定した。
また，ISDアルゴリズムに関する調査においても，既存のものより効率的な（つまり，時間計算量の少ない）アルゴリズムを構成できたことから，符号ベース暗号が期待される安全性レベルを保持するために必要な鍵長を，より長くする必要があることが判った。これは，耐量子計算機暗号系を実用化する上で非常に重要な知見であると考えられる。
ＮＰ完全問題に対する所属のゼロ知識証明が構成できることは知られているが，ここでは知識のゼロ知識証明が研究の対象となりうる。サブテーマ２については，本研究グループが以前調査していたNP完全問題に基づく公開鍵認証方式を精査することにより，その他のＮＰ完全問題の適用可能性も視野に入れることができた。ただ，ＮＰ完全問題に対する
計算アルゴリズムについては，依然調査中となっている。
以上から，サブテーマ１については，予定を上回る研究成果が得られていると思われ，サブテーマ２については不十分なところがあるものの，総じて当初の計画が概ね順調に
進んでいると思われる。
|
| 今後の研究の推進方策 |
令和６年度は，サブテーマ１については，令和５年度でISDアルゴリズムおよび，それまでに本研究グループで採り上げなかったISDアルゴリズムに対して量子アルゴリズムを構成し，そのアルゴリズムを古典アルゴリズムへの効率的に変換することを検討する。本研究課題を開始する時点では，効率的なISDアルゴリズムとしてはＰｒａｎｇｅ，Ｂｕｍｍｅｒ，ＭＭＴ，Ｂｅｃｋｅｒら（ＢＪＭＭ）の各アルゴリズムを対象としていたが，令和５（２０２３）年にＧｕｏらが発表したＩＳＤアルゴリズム（Ｓｉｅｖｉｎｇアルゴリズム）をも対象とする。令和６年度は，主にＳｉｅｖｉｎｇアルゴリズムに基づく量子アルゴリズムおよび，そこから得られる古典アルゴリズムの構成およびその調査を行う。
サブテーマ２については，令和５年度から引き続き，ＰＱＣプロジェクトで多く採用されている計算問題とは異なるNP完全問題を暗号系（主に，公開鍵認証方式）に利用する際の制限等の調査，および，それらの問題から派生する新たな問題の定義，それらの問題を解く（古典・量子）アルゴリズムの調査を行う。また，本研究グループが以前調査していたＮＰ完全問題に基づく公開鍵認証方式に対する更なる調査，および，安全性解析を行う。
いずれのサブテーマについても，得られた研究成果については，国内研究会・シンポジウムや国際会議などで論文発表ことを考えている。
|
