| 研究課題/領域番号 |
22K17889
|
|---|
| 研究種目 |
若手研究
|
| 配分区分 | 基金 |
|---|
| 審査区分 |
小区分60070:情報セキュリティ関連
|
|---|
| 研究機関 | 九州大学 |
|---|
研究代表者 |
池松 泰彦 九州大学, マス・フォア・インダストリ研究所, 助教 (40833570)
|
|---|
| 研究期間 (年度) |
2022-04-01 – 2025-03-31
|
| 研究課題ステータス |
交付 (2022年度)
|
| 配分額 *注記 |
4,030千円 (直接経費: 3,100千円、間接経費: 930千円)
2024年度: 1,430千円 (直接経費: 1,100千円、間接経費: 330千円)
2023年度: 1,300千円 (直接経費: 1,000千円、間接経費: 300千円)
2022年度: 1,300千円 (直接経費: 1,000千円、間接経費: 300千円)
|
|---|
| キーワード | 耐量子計算機暗号 / 暗号理論 / 多変数多項式暗号 / グレブナー基底 |
|---|
| 研究開始時の研究の概要 |
量子計算機を用いた攻撃に耐性のある暗号(耐量子計算機暗号:PQC)の研究開発は、アメリカ国立標準技術研究所(NIST)が現在進めているPQC標準化計画によって一気に加速した。PQCでは、多変数多項式写像を使った暗号(MPKC)が、高速な処理性能や短い署名長などから、有力な候補として活発に研究されている。しかし、既存MPKC方式に対する多変数連立方程式求解問題(MP問題)への安全性帰着証明や、実際に帰着できるような方式の開発は未解決問題となっている。本研究では、この問題に取り組む。
|
| 研究実績の概要 |
今年度は、耐量子計算機暗号(PQC)の一種である多変数多項式暗号(MPKC)に関する研究を行った。具体的には、MPKCの公開鍵や安全性解析に現れる二次多項式系が生成するイデアルのヒルベルト級数に関する次の二つの研究を行った。(i)UOV方式は安全性の高い署名方式として知られているが、その代数的な性質は十分わかっていない。そこで、UOVの公開鍵に現れる二次多項式系が生成するイデアルのヒルベルト級数に関して、計算機代数ソフトMagmaによる実験を行い、vinegar変数の個数、oil変数の個数、多項式の個数を用いて予測公式を導出した。また、その予測公式を用いてUOVやその変種の安全性解析について考察を行った。これらの結果に関しては、国内シンポジウムCSS2022にて発表を行った。(ii)UOV署名方式の公開鍵が大きいことから、その変種としてQR-UOV署名方式が提案されている。このQR-UOVに対して、BeullensがRainbow方式に関して提案したrectangular attackが適用可能であることを証明した。また、その計算量を見積もるために、攻撃が生成するイデアルのヒルベルト級数を理論的に評価し、実験によりその正しさを検証した。これらの結果は、国内シンポジウムSCIS2023にて発表を行った。以上二つの結果(i)(ii)は論文にまとめて国際会議やジャーナルに投稿する予定である。
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
2: おおむね順調に進展している
理由
今年度は多変数多項式暗号に付随するヒルベルト級数に関する実験・考察を行った。それらの結果は国内シンポジウムで発表でき、論文投稿までは行かなかったが、研究はおおむね順調に進展している。
|
| 今後の研究の推進方策 |
今年度得た発表成果を論文化し、国際会議やジャーナルに投稿する予定である。さらに今年度得たヒルベルト級数の予測公式の理論的な背景を、より詳細な実験などを通して考察する予定である。
|
