2014 Fiscal Year Annual Research Report
ビッグデータ利活用を促す高機能暗号・ゼロ知識証明の自動設計手法に関する研究
| Project/Area Number |
14J09413
|
|---|
| Research Institution | National Institute of Advanced Industrial Science and Technology |
|---|
Principal Investigator |
坂井 祐介 独立行政法人産業技術総合研究所, 情報技術研究部門, 特別研究員(PD)
|
|---|
| Project Period (FY) |
2014-04-25 – 2017-03-31
|
| Keywords | 暗号理論 / ゼロ知識証明 / 公開鍵暗号 / 匿名認証 |
|---|
| Outline of Annual Research Achievements |
本研究で目指す暗号技術は，通常の暗号技術で達成される高い安全性に加えて，利用者が独自の要求に応じて自在にカスタマイズした暗号方式を設計できるような技術である．
本年度は，そのための重要な要素技術となるゼロ知識証明について，否定の条件式を取り扱えるゼロ知識証明方式について研究を行った．具体的には，公開鍵暗号において，ある暗号文が特定の平文を暗号化していないことを第三者に証明できる暗号方式の設計を行った．同内容は，国際会議AsiaCCS 2015へ採録となっている．通常の公開鍵暗号では，ある暗号文が特定の平文を暗号化していないことを確認するためには，実際に復号してみるほかなく，復号鍵を持たない第三者にはその事実を確認することは不可能であった．本成果を用いることで，復号鍵を持たずとも，その事実のみを第三者に検証可能な形で開示することができるようになる．
また，上で述べた成果に関連して，グループ署名という暗号技術に対して上記と同様に否定の証明の適用を検討し，否認可能グループ署名という暗号方式の設計を行った．グループ署名とは，署名者が匿名で署名を発行でき，管理者のみがその匿名性を剥奪して署名者を特定できる署名方式の一種である．このグループ署名においても，ある署名が特定の署名者によって生成されていないことを確認するには，署名生成者を特定してみる他なく，状況によってはプライバシの侵害となり得る場合がある．そうした問題を解消するため，本研究では，ある署名が特定の署名者によって生成されていないことを証明可能なグループ署名方式を設計した．
|
| Current Status of Research Progress |
Current Status of Research Progress
2: Research has progressed on the whole more than it was originally planned.
Reason
上記の通り、本研究課題の重要な要素技術となる、否定に関するゼロ知識証明とその応用について一定の成果を得られており、実際に得られた成果の一部は査読付き国際会議に採録ともなっていることから、順調に進展していると判断する。
|
| Strategy for Future Research Activity |
次年度以降は、これまでに得られている否定に関するゼロ知識証明の技術を組み込んだ、ゼロ知識証明の自動設計技術の実現に取り組む計画である。
|
Research Products
(2 results)
-
-
[Presentation] 否認可能グループ署名2015
Author(s)
石田 愛, 江村 恵太, 花岡 悟一郎, 坂井 祐介, 田中 圭介
Organizer
SCIS 2015
Place of Presentation
リーガロイヤルホテル小倉（北九州市）
Year and Date
2015-01-21 – 2015-01-21
