2020 Fiscal Year Annual Research Report
| Project/Area Number |
20J11769
|
|---|
| Research Institution | Tokyo University of Science |
|---|
Principal Investigator |
木原 眞紀 東京理科大学, 理工学研究科, 特別研究員(DC2)
|
|---|
| Project Period (FY) |
2020-04-24 – 2022-03-31
|
| Keywords | 認証 / Authentication / ワンタイムパッド / One-time Pad / 検証可能暗号 / Verifiable Encryption / 暗号 / Cryptography |
|---|
| 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 |
翌年度、交付申請を辞退するため、記入しない。
|
