| Project/Area Number |
20J11769
|
|---|
| Research Category |
Grant-in-Aid for JSPS Fellows
|
| Allocation Type | Single-year Grants |
|---|
| Section | 国内 |
|---|
| Review Section |
Basic Section 60070:Information security-related
|
|---|
| Research Institution | Tokyo University of Science |
|---|
Principal Investigator |
木原 眞紀 東京理科大学, 理工学研究科, 特別研究員(DC2)
|
|---|
| Project Period (FY) |
2020-04-24 – 2022-03-31
|
| Project Status |
Completed (Fiscal Year 2020)
|
| Budget Amount *help |
¥1,700,000 (Direct Cost: ¥1,700,000)
Fiscal Year 2020: ¥900,000 (Direct Cost: ¥900,000)
|
|---|
| Keywords | 認証 / Authentication / ワンタイムパッド / One-time Pad / 検証可能暗号 / Verifiable Encryption / 暗号 / Cryptography |
|---|
| Outline of Research at the Start |
本研究の概要は、2つの異なる鍵で暗号化された暗号文に対し演算操作を施し、復号した際に平文の距離と一致する検証可能暗号系クラスVerifiable Encryption(VE)に関する数理的基礎研究である。暗号化したまま平文の距離の導出が可能なため、差分など比較を行う際にその都度復号する必要がない。数理的フレームワークの研究のため、安全性や速度などのパフォーマンス面は暗号系の強度に依存するが、RSA暗号をはじめとする準同型暗号とも密接な関係にあるフレームワークとなることが見込まれる。
|
| Outline of Annual Research Achievements |
本研究課題では、検証可能暗号系クラスVerifiable Encryption（VE）に関する数理的基礎研究を目的とし、VEクラスの構成、既存暗号系とVEの関係性の検証、実装を目標とし、2020年度は(1)VEクラスの構成および(2)既存の暗号系とVEクラスとの関係性の導出について取り組んだ。
2020年度における本研究の総括を述べる。（１）では、「２つの暗号文はそれぞれ異なる2つの鍵k,k'でそれぞれ暗号化されている」、「暗号化に使用した2つの鍵k,k'を用いた復号結果は2つの平文の距離と一致する」という性質を満たす特別な暗号系クラスVerifiable Encryption（VE）を定義した。（２）では、当初の予定通り、One-Time Pad、Fiat-Shamir Identificationアルゴリズム、Schnorr Identificationアルゴリズムに対して検証を行い、3つともVEクラスに含まれることを証明した。
本年度における研究発表では、新型コロナウイルスの影響により、国内外への出張ができず、発表予定であった2つの国際会議が中止となってしまった。また、学位審査のため博士論文の執筆・発表準備等により論文投稿、学会発表の機会が減ってしまったことも影響し、全体として想定よりも少ない結果となった。
全体のまとめとして、研究課題の目標は達成したが、研究発表に関しては意に沿わない結果となってしまった。就職のため、特別研究員は辞退という結果になったが、今後もこの研究課題の遂行に努めていく所存である。
|
| Research Progress Status |
翌年度、交付申請を辞退するため、記入しない。
|
| Strategy for Future Research Activity |
翌年度、交付申請を辞退するため、記入しない。
|
