| 体系的番号 |
JPMJSC20C2 |
| DOI |
https://doi.org/10.52926/JPMJSC20C2 |
研究代表者 |
緒方 和博 北陸先端科学技術大学院大学, 先端科学技術研究科, 教授
|
|---|
| 研究期間 (年度) |
2021 – 2023
|
| 概要 | 本研究は、ポスト量子時代を見据え、暗号システムの代数的特性を考慮可能な暗号セキュリティープロトコルの解析ツールであるＭａｕｄｅ－ＮＰＡを使用して、ポスト量子暗号プロトコルを形式解析する方法を考案することを目的とする。これまではポスト量子暗号プロトコルの形式解析ツールは知られておらず、ポスト量子暗号システムの形式解析についても深く研究されていない。本研究では、検索と決定問題、および代数的手法のさまざまな解釈に基づき、格子ベースとコードベースに基づくポスト量子暗号プロトコルの形式解析のため、Ｍａｕｄｅ－ＮＰＡを適切に拡張する。本研究の成果は、本公募のスコープの１つであるサイバー攻撃の防止と回復を含む、ポスト量子時代を考慮したサイバーセキュリティーに本質的に貢献する。
|
|---|
| 研究領域 | レジリエント、安全、セキュアな社会のためのＩＣＴ |
|---|
