2023 Fiscal Year Research-status Report
| Project/Area Number |
23KJ0548
|
|---|
| Research Institution | The University of Tokyo |
|---|
Principal Investigator |
林 リウヤ 東京大学, 情報理工学系研究科, 特別研究員(DC2)
|
|---|
| Project Period (FY) |
2023-04-25 – 2025-03-31
|
| Keywords | 暗号理論 / 偽造不可能性 / 匿名性 / 証明可能安全性 |
|---|
| Outline of Annual Research Achievements |
本研究の目的は、物理的なモノを扱うことができる暗号技術の実現である。その一歩として、モノが偽造されていないことを保証する「モノの電子署名」技術の理論的な改良を行った。具体的には以下の通りである。以前の安全性定義を再検討すると、物理空間で直接動作可能な攻撃者に対する安全性ゲームを考えていた。このような攻撃者は既存の暗号技術では考慮しておらず、これでは数多ある既存の暗号技術の知見を応用できない。そこで、攻撃者は計算機で実行可能な処理のみが行えるものとし、その上で物理空間での動作を記述したオラクルにビット列のみを介してアクセスできるように定義を改良した。これにより、研究計画に示した通り従来の枠組みを壊すことなく物理的な動作を記述できることとなった。以上の基盤理論の改良を行ったのち、改めて「モノの電子署名」技術を再構築した。この成果は暗号分野のトップ国際会議の一つであるFC2023に採択されている。
さらに、モノを扱う具体的なシステムとして商品の売買・輸送を行うECサイトに着目し、以下の研究成果を得た。現存のECサイトではレビューから購入者が特定できる可能性がある。この問題への対策として提案された匿名評価システムは、匿名で署名生成ができるグループ署名技術を元にしており、この技術を用いることで自然に匿名性が担保されると信じられていたが、本研究で匿名性を破る攻撃を発見した。そこで、真に望ましい匿名性の新たな定義を与え、様々な暗号技術を組み合わせた方式の一般的構成法を与えた。この成果も同様に暗号分野のトップ国際会議の一つであるFC2024に採択されている。
|
| Current Status of Research Progress |
Current Status of Research Progress
2: Research has progressed on the whole more than it was originally planned.
Reason
上記の通り、本研究の基盤を成すモノを扱える暗号技術の理論構築に関して一定の成果を得られており、同成果が査読付き国際会議に採択されている。また、研究計画で述べたモノを扱えるマルチパーティ計算方式の構築は未だ結果が得られていないが、発想を変えてモノを扱うシステムであるECサイトに着目し、システムの安全性解析を行うことで新たな研究課題を発見し成果が得られた。以上から、本研究は順調に進展していると判断する。
|
| Strategy for Future Research Activity |
引き続き研究計画に沿って、モノを扱えるマルチパーティ計算方式の構築に着手する。これまではモノを扱える暗号技術の理論基盤構築とそれを用いてモノの真正性を保証する技術の構築を行ってきたが、三者以上存在するプロトコルにおいて構築した理論基盤が適用できるのかは明らかでない。今まではあらゆる暗号技術に対してモノを扱えるように直接拡張する手法を検討してきたが思うように成果が得られなかったため、次年度は、まずは三者存在する比較的単純で具体的なプロトコルを考え、それがモノを扱えるように拡張する手法を検討する。また、並行してモノを扱うシステムにも今年度と同様に着目し研究を進める。これによりモノを扱うシステム特有の課題について知見を深め、本研究に還元したい。
|
| Causes of Carryover |
今年度は旅費および論文の出版費用がかからず、そのため研究を効率的に遂行するための環境整備に研究費を充てた。次年度は海外の研究室を訪問する予定であり、昨今の為替相場から旅費に多額の費用がかかると見込まれたため、少額ではあるが次年度に使用する旅費に充てる予定である。
|
-
-
-
[Journal Article] Signature for Objects: Formalizing How to Authenticate Physical Data and More2023
Author(s)
Ryuya Hayashi, Taiki Asano, Junichiro Hayata, Takahiro Matsuda, Shota Yamada, Shuichi Katsumata, Yusuke Sakai, Tadanori Teruya, Jacob C. N. Schuldt, Nuttapong Attrapadung, Goichiro Hanaoka, Kanta Matsuura, and Tsutomu Matsumoto
-
Journal Title
Financial Cryptography and Data Security 2023（FC 2023）
Volume: PartⅠ
Pages: pp.182-199
DOI
Peer Reviewed
-
-
-
-
[Presentation] Signature for Objects: Formalizing How to Authenticate Physical Data and More2023
Author(s)
Ryuya Hayashi, Taiki Asano, Junichiro Hayata, Takahiro Matsuda, Shota Yamada, Shuichi Katsumata, Yusuke Sakai, Tadanori Teruya, Jacob C. N. Schuldt, Nuttapong Attrapadung, Goichiro Hanaoka, Kanta Matsuura, and Tsutomu Matsumoto
Organizer
Financial Cryptography and Data Security 2023（FC 2023）
Int'l Joint Research
-
