2018 Fiscal Year Annual Research Report
Research on Cryptographic Primitives with Easily Verifiable Security
| Project/Area Number |
26280046
|
|---|
| Research Institution | National Institute of Advanced Industrial Science and Technology |
|---|
Principal Investigator |
花岡 悟一郎 国立研究開発法人産業技術総合研究所, 情報・人間工学領域, 研究チーム長 (30415731)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
縫田 光司 東京大学, 大学院情報理工学系研究科, 准教授 (20435762)
江村 恵太 国立研究開発法人情報通信研究機構, サイバーセキュリティ研究所セキュリティ基盤研究室, 主任研究員 (30597018)
Attrapadun Nutt 国立研究開発法人産業技術総合研究所, 情報・人間工学領域, 主任研究員 (40515300)
吉田 真紀 国立研究開発法人情報通信研究機構, サイバーセキュリティ研究所セキュリティ基盤研究室, 主任研究員 (50335387)
松田 隆宏 国立研究開発法人産業技術総合研究所, 情報・人間工学領域, 主任研究員 (60709492)
|
|---|
| Project Period (FY) |
2014-04-01 – 2019-03-31
|
| Keywords | 暗号・認証 |
|---|
| Outline of Annual Research Achievements |
本研究は、五年間の研究期間により、安全性の検証が容易であり誰でも安全であることを確信できる暗号技術を設計するための包括的方法論の確立を目指すものである。本研究が完成することにより、先端的暗号技術に関する大きな導入障壁が取り除かれ、さまざまな高度ネットワークサービスを安心して活用できる社会を実現可能となる。H30年度においては、前年度までに検討を行ったさまざまな安全性証明技法について具体的暗号技術に関する安全性評価への適用をさらに推し進めることで、本研究において開発した技術の有効性を明らかにした。特に、従来手法に比べ、格段に表現力が向上された属性ベース署名を開発し、そのような複雑な機能を持つ暗号技術に対しても実際に安全性証明が可能であることを示した。さらに、安全性証明において基盤となる数学的問題への帰着アルゴリズムを構成する際に、帰着アルゴリズムの記憶領域が制限されている場合について検討を行い、そのような状況における原理的な限界を明らかにした。さらに、否認可能性と呼ばれる特殊な性質を持つグループ署名技術を用いて非対話開示機能を持つ公開鍵暗号を構成する際、自動的に実現される機能および安全性を明らかにし、その証明を行った。また、そこで得られた知見をもとに、IDベース暗号に対して非対話開示機能を付与する手法について議論を行い、得られた方式の安全性を証明した。同様に、付加的な機能を持つ検索可能暗号を用いて、属性ベース暗号を一般的に構成可能であることを明らかにし、その安全性証明を行った。本研究により培われた安全性証明技法により安全性証明がなされた技術を用いることで第三者による安全性検証も容易になるものと期待できる。
|
| Research Progress Status |
平成30年度が最終年度であるため、記入しない。
|
| Strategy for Future Research Activity |
平成30年度が最終年度であるため、記入しない。
|
| Causes of Carryover |
平成30年度が最終年度であるため、記入しない。
|
| Expenditure Plan for Carryover Budget |
平成30年度が最終年度であるため、記入しない。
|
