研究課題/領域番号 |
20K03741
|
研究種目 |
基盤研究(C)
|
配分区分 | 基金 |
応募区分 | 一般 |
審査区分 |
小区分12040:応用数学および統計数学関連
|
研究機関 | 岡山理科大学 |
研究代表者 |
安田 貴徳 岡山理科大学, 基盤教育センター, 准教授 (00464602)
|
研究期間 (年度) |
2020-04-01 – 2024-03-31
|
研究課題ステータス |
交付 (2022年度)
|
配分額 *注記 |
3,770千円 (直接経費: 2,900千円、間接経費: 870千円)
2022年度: 1,300千円 (直接経費: 1,000千円、間接経費: 300千円)
2021年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円)
2020年度: 1,300千円 (直接経費: 1,000千円、間接経費: 300千円)
|
キーワード | 多変数公開鍵暗号 / 最適化問題 / 耐量子暗号 / 格子ベース暗号 / 公開鍵暗号 / 暗号理論 / 最適化理論 |
研究開始時の研究の概要 |
量子コンピュータを用いた攻撃に耐性を持つ公開鍵暗号(耐量子暗号)では、SIS問題やMP問題などの数学問題が利用されている。これらの数学問題は、離散構造をベースとした解読困難な問題であり、暗号の安全性保証の核となっている。一方、この離散構造を連続構造に置き換えた問題は、最適化問題や非線型方程式の求解問題に相当し、効率的解読方法が知られている。これらを踏まえ、申請者は以下の2つの課題に取り組む。1つ目は、最適化手法がもたらす耐量子暗号に対する脅威を定量的に評価することで、2つ目は、最適化手法を耐量子暗号の効率的復号に応用する手法を開発することである。
|
研究実績の概要 |
国際会議ProvSec2022とISITA2022に論文が採録された。国内研究集会での成果発表を1件行った。 多変数公開鍵暗号において、MinRank問題をベースとした暗号設計や暗号解析が近年盛んに行われている。研究代表者(を含むチーム)もMinRank問題をベースとした認証方式、署名方式を開発した。2001年に提案されたMinRank問題をベースとした認証方式では、なりすまし確率が2/3であったが、我々の新方式ではなりすまし確率を1/2に軽減した。これにより、通信回数を大幅に削減し、効率の良い認証方式に改善された。署名方式においても同様である。また、現在必要とされるセキュリティレベルに到達するパラメータを見積もった。 格子ベース暗号では、NTRUと呼ばれる暗号に改良を加えた。研究代表者が以前提案した多変数公開鍵暗号に最適化手法を取り入れて設計した暗号方式のアイデアを用いてNTRUを改良し新しい暗号方式を提案した。この方針で3種類の暗号方式を設計し、また格子簡約による攻撃に対する安全性を解析し、現在必要とされるセキュリティレベルに到達するパラメータを見積もった。 高機能暗号として知られるペアリング暗号において、安全性の確認のために必要な群所属判定の技術を発展させた。以前は、特定の楕円曲線に対してのみ適用可能であった群所属判定を、より一般に適用可能な形に拡張した。また、効率性の指標を考え、効率的に群所属判定を行うための条件とそのアルゴリズムを記述した。楕円曲線が高次ツイストを持つ場合に数式処理ソフトsagemathを使ってプログラミングを行った。
|
現在までの達成度 (区分) |
現在までの達成度 (区分)
3: やや遅れている
理由
最適化を用いた攻撃に関する成果がまだ出せていない。
|
今後の研究の推進方策 |
最適化を用いた攻撃に関する実装研究を行う。
|