同種写像暗号に対する数理的技法による解読法の探求と計算量評価
Project/Area Number |
19K22847
|
Research Category |
Grant-in-Aid for Challenging Research (Exploratory)
|
Allocation Type | Multi-year Fund |
Review Section |
Medium-sized Section 60:Information science, computer engineering, and related fields
|
Research Institution | Rikkyo University (2020) Kyushu University (2019) |
Principal Investigator |
安田 雅哉 立教大学, 理学部, 准教授 (30536313)
|
Project Period (FY) |
2019-06-28 – 2022-03-31
|
Project Status |
Granted (Fiscal Year 2020)
|
Budget Amount *help |
¥6,500,000 (Direct Cost: ¥5,000,000、Indirect Cost: ¥1,500,000)
Fiscal Year 2021: ¥2,210,000 (Direct Cost: ¥1,700,000、Indirect Cost: ¥510,000)
Fiscal Year 2020: ¥2,600,000 (Direct Cost: ¥2,000,000、Indirect Cost: ¥600,000)
Fiscal Year 2019: ¥1,690,000 (Direct Cost: ¥1,300,000、Indirect Cost: ¥390,000)
|
Keywords | 同種写像暗号 / 楕円曲線 / 同種問題 / Velu公式 / ポスト量子暗号 / グレブナー基底計算 / 同種写像パス探索問題 / 連立代数方程式 / 解読アルゴリズム |
Outline of Research at the Start |
楕円曲線上の同種写像を利用した同種写像暗号は量子計算機に耐性のあるポスト量子暗号として近年注目されている.同種写像暗号の安全性は同種写像計算問題と呼ばれる数学問題の計算困難性に依存するが,解読アルゴリズムの開発・解読実験を含めた安全性解析が不十分で,今後の実用化に向けた最重要課題となっている.本研究では,同種写像が持つ代数的性質を利用した新しい解読法の探求を目指す.さらに,解読実験による計算量評価を行い,同種写像暗号の安全パラメータ選択の指針を示す.本研究により,既存方法よりも高速な解読アルゴリズムの開発を行うと共に,安全パラメータ選択法などの安全性解析法の確立を目指す.
|
Outline of Annual Research Achievements |
近年,(超特異)楕円曲線間の同種写像の列を利用した同種写像暗号はポスト量子暗号技術(Post-Quantum Cryptography)の1つとして期待されている.具体的には,米国標準技術研究所NISTが2016年以降進めているポスト量子暗号の標準化プロセスにおいて,超特異楕円曲線上の鍵交換アルゴリズムSIKEは2020年7月にThird Roundに進むことが許可された15方式の内の1つに選出された.同種写像暗号の安全性は,2つの同種な楕円曲線を結ぶ同種写像を具体的に計算する同種写像問題の計算量困難性に依存する.本年度(2020年度)の研究では,同種写像問題の代数的解読法を設計・開発すると共に,超特異楕円曲線に関するDeuring対応下における四元数環上の類似同種問題の求解アルゴリズムの高速実装にチャレンジした.具体的には,与えられた2つの同種な楕円曲線に対して,モジュラー多項式を用いて同種写像列に関する連立代数方程式を立式し,グレブナー基底計算によりその連立代数方程式を求解する代数的求解アルゴリズムを提案し,数値実験によるその効果を検証した.さらに,従来の中間者一致攻撃と併用するハイブリット型の求解法を数式処理システムMagmaで実装し,同種写像の次数が3^15程度までSIKE方式を実用的な処理時間で解読できることを示した.これらの研究成果は,査読付きの国際会議と国際雑誌で発表した.また一方,四元数環上の類似同種写像問題を求解するKohel-Lauter-Petit-Tignol(KLPT)アルゴリズムを実装すると共に,そのアルゴリズムの高速化に成功した.KLPTアルゴリズムの高速化に関する研究成果は,2つの国内会議で発表した.
|
Current Status of Research Progress |
Current Status of Research Progress
2: Research has progressed on the whole more than it was originally planned.
Reason
ポスト量子暗号候補の1つである同種写像暗号の安全性を支える同種問題に対して,楕円曲線に付随するモジュラー多項式を利用した代数的解読法を設計・開発すると共に,有用な既存攻撃法である中間者一致攻撃とのハイブリッド攻撃アルゴリズムの開発・解読実験を着実に進めることができた.また,超特異楕円曲線に関するDeuring対応下における四元数環上の類似同種問題に対するKLPTアルゴリズムの数式処理システム上の動作確認と高速化に成功した.このように,同種写像問題に対して新しい求解法の提案・実装・数値実験を予定通り進めると共に,査読付き国際会議・国際雑誌における論文採択や国内発表という目に見える研究成果を着実に挙げ,おおむね当初の計画通りに研究を進めることができている.
|
Strategy for Future Research Activity |
超特異楕円曲線に関するDeuring対応下における四元数環上の同種写像を求解するKLPTアルゴリズムを軸に,計算機代数における重要な計算問題である構成的Deuring対応問題の求解実験を進めると共に,KLPTアルゴリズムを利用したSIDHやSIKEなどの具体的な同種写像暗号の安全性解析を進める予定である.
|
Report
(2 results)
Research Products
(11 results)