| 研究課題/領域番号 |
19K20270
|
|---|
| 研究機関 | 島根大学 |
|---|
研究代表者 |
伯田 恵輔 島根大学, 学術研究院理工学系, 講師 (90587099)
|
|---|
| 研究期間 (年度) |
2019-04-01 – 2023-03-31
|
| キーワード | アフィン代数幾何学 / 多変数多項式暗号 / 耐量子計算機暗号 / 有限体 / 置換 / 公開鍵暗号 |
|---|
| 研究実績の概要 |
耐量子計算機暗号の有力候補のひとつである多変数多項式暗号では、その構成要素として多項式同型写像を用いる。より正確には、公開鍵暗号やデジタル署名の仕組みを実現するために、効率的に逆写像を計算できるアフィン自己同型や基本自己同型を繰り返し用いる。そのため、これらの多項式同型写像の数学的性質を解明することは、多変数多項式暗号の安全性評価を確立するための重要な課題であり、特に、汎用的な鍵復元攻撃に対する安全性評価を確立するための必須の研究である。本研究課題では、研究代表者が提案したTame分解アルゴリズムとよばれる多変数多項式暗号に対する汎用的な鍵復元攻撃手法において、メモリ使用量が膨大になるという欠点を解消するための数学理論を構築する。
この数学理論の構築のために、2019年度は標数2の有限体に対し、Derksenの定理が成立しないことを証明し、本結果を国内研究集会で発表を行うとともに、海外学術論文誌に投稿した。本結果は、上述したTame分解アルゴリズムに対する汎用的な鍵復元攻撃手法において、メモリ使用量が膨大になるという欠点はDerksenの定理では解消できないことを意味する。2020年度は標数2の有限体に対し、Jacobian determinantが単元となる多項式同型写像で構成される群の最小な正規部分群の構造を研究し、上記の最小な正規部分群がtranslation groupによって生成されるか否かを明らかにした。本結果については、国内研究集会で発表を行うとともに、海外学術論文誌に投稿した。
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
2: おおむね順調に進展している
理由
2020年度は、本研究テーマに関する成果を国内研究集会で発表し、本成果を海外学術論文誌に投稿した。この研究成果は当初の計画通りであるため、おおむね順調に進展していると考える。
|
| 今後の研究の推進方策 |
今後は、2019～2020年度に得られた研究成果をもとに、ある種の多項式同型写像を用いた準同型暗号に関する研究を行う。
|
| 次年度使用額が生じた理由 |
2020年度の出張等のために計上していた一部を次年度使用額とすることになったが、特に研究計画に問題が発生しているわけではなく使用見込みであるため、予定どおり研究を遂行するために使用する。
|
