多彩な数学的構造に基づく長期的安全性を保証可能な軽量公開鍵暗号の研究
| Project/Area Number |
14J03467
|
|---|
| Research Category |
Grant-in-Aid for JSPS Fellows
|
| Allocation Type | Single-year Grants |
|---|
| Section | 国内 |
|---|
| Research Field |
Information security
|
|---|
| Research Institution | The University of Tokyo |
|---|
Principal Investigator |
山川 高志 東京大学, 新領域創成科学研究科, 特別研究員(DC1)
|
|---|
| Project Period (FY) |
2014-04-25 – 2017-03-31
|
| Project Status |
Completed (Fiscal Year 2016)
|
| Budget Amount *help |
¥2,800,000 (Direct Cost: ¥2,800,000)
Fiscal Year 2016: ¥900,000 (Direct Cost: ¥900,000)
Fiscal Year 2015: ¥900,000 (Direct Cost: ¥900,000)
Fiscal Year 2014: ¥1,000,000 (Direct Cost: ¥1,000,000)
|
|---|
| Keywords | 公開鍵暗号 / 電子署名 / 難読化 / 自己双線形写像 / 素因数分解 / 識別不可性難読化 / Fail-stop署名 |
|---|
| Outline of Annual Research Achievements |
本年度の研究は大きく分けて二つに分けられる。
一つ目の研究は、自己双線形写像と呼ばれる暗号要素技術に関するものである。本研究では自己双線形写像の定義を弱めた補助情報付き自己双線形写像を定義し、それを素因数分解仮定と識別不可性難読化を用いて構成した。本成果は論文誌Algorithmicaにおいて発表を行った。また、その構成について、Multilinear Generalized Diffie-Hellman with Auxiliary Information (AI-MGDH)仮定を定義し、それが成り立つための十分条件を示した。その結果、新たな応用としてセキュリティパラメータに対して対数深さの回路が評価可能な準同形署名方式を構成した。本成果は国際会議ACISP2016において発表を行った。
二つ目の研究は、損失落とし戸関数に関するものである。本研究ではまず損失落とし戸関数の可用性を損なわない範囲で定義を弱めた攻撃者依存損失落とし戸関数を定義し、それをセミスムーズRSA部分群数と呼ばれる特殊な形の合成数に関する素因数分解仮定のもとで構成した。その結果、Boldyrevaらにより定義された安全性を満たす決定的公開鍵暗号方式を素因数分解仮定のもとで初めて提案した。また、類似の手法を用いることで、素因数分解仮定に基づく選択暗号文攻撃に対して安全な公開鍵暗号方式のなかで、暗号文長が最短である方式を構成した。特に、これは素因数分解仮定に基づく方式のうちで、暗号文サイズが群の元2個を下回る初めての方式である。本成果は国際会議CRYPTO 2016において発表を行った。
|
| Research Progress Status |
28年度が最終年度であるため、記入しない。
|
| Strategy for Future Research Activity |
28年度が最終年度であるため、記入しない。
|
Report
(3 results)
Research Products
(15 results)
