新世代暗号の安全性を支える困難性仮定の正当性検証技術の開発

2015 年度 研究成果報告書

• 研究課題/領域番号: 24500015
• 研究種目: 基盤研究(C)
• 配分区分: 基金
• 応募区分: 一般
• 研究分野: 情報学基礎
• 研究機関: 国立研究開発法人情報通信研究機構 (2013-2015); 大阪大学 (2012)
• 研究代表者: 吉田 真紀 国立研究開発法人情報通信研究機構, ネットワークセキュリティ研究所セキュリティアーキテクチャ研究室, 主任研究員 (50335387)
• 研究期間 (年度): 2012-04-01 – 2016-03-31
• キーワード: 暗号 / 困難性仮定 / 正当性検証 / Bilinear Group / Generic Model

研究成果の概要

情報セキュリティの基幹技術である暗号の安全性は，ある種の数学問題の求解が困難であること（困難性仮定）に支えられている．本研究の目的は，新世代の暗号に対して，その安全性を支える困難性仮定の正当性を検証する技術の開発である．まず困難性仮定を定式化し，正当性検証法を設計・実装した．そして，実際の困難性仮定への適用し，暗号設計者向けに検証ツールを開発した．

自由記述の分野

情報セキュリティ