ネットワーク上のプライバシ保護に適する匿名認証付匿名ルーティングの研究

适用于网络隐私保护的匿名认证匿名路由研究

• 批准号: 18K18055
• 负责人: 坂井 祐介
• 金额: $ 2.66万
• 依托单位: National Institute of Advanced Industrial Science and Technology
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Early-Career Scientists
• 财政年份: 2018
• 资助国家: 日本
• 起止时间: 2018-04-01 至 2024-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-18K18055/
• 关键词: 匿名認証; 属性ベース署名; ゼロ知識証明; SNARK; 匿名通信; 暗号理論

本年度は、本研究の目標である匿名認証付き匿名ルーティングの実現に向けて研究を進め、以下の成果を得た。属性ベース署名とは、システムの各ユーザが、システム管理者から各自の属性に応じた署名鍵の発行を受け、その署名鍵を用いて署名を生成できる暗号要素技術である。この時、署名データは、署名の生成に用いた署名鍵の属性は、ある公開の条件式を満たすもののうちのいずれかである、という形で検証でき、それ以上の属性に関する情報は一切漏洩しないということも保証される。従来の属性ベース署名方式で、公開の条件として論理回路の様な記述力の高い計算モデルを許容する方式は、署名データのサイズが公開の条件の記述長に応じて長くなるものか、そうでなければ、その様な大きなデータサイズを回避するために、Karp帰着と呼ばれる複雑で高コストな計算を用いるものしか存在していなかった。本研究では、署名データのサイズが公開の条件の記述長に依存せず、かつ、Karp帰着の様な高コストな計算を必要としない、初めての方式を提案した。そのための構成要素として、constraint SNARKと呼ばれる日対話ゼロ知識証明の新たな変種の概念と構成法を提案し、それを用いて上述の性質を持つ属性ベース署名方式を提案した。この成果は査読付き国際会議SCN 2022にて発表した。ここで得た新たな日対話ゼロ知識証明は、本研究の目標である匿名認証付き匿名ルーティングの効率的な構成に活用できると期待される。

This year, we achieved the following results in order to achieve the objectives of this research. The signature of each user of the attribute list, the signature list, the manager of the attribute list, the signature list, the signature list. The time, signature, signature generation, signature key attribute, open conditional expression, open conditional expression The attribute of the source is the signature method, the open condition, the high calculation of the description force, the allowable method, the open condition, the long description length, the open condition, the large description force, the avoidance condition, the Karp description force, the high calculation force, the existence condition. This study proposes a method for calculating the necessary and initial conditions for disclosure. A new concept of knowledge proof is proposed. A new method of knowledge proof is proposed. The above properties are proposed. The results were presented at the SCN 2022 International Conference. The purpose of this study is to obtain new knowledge proofs for anonymous authentication, and to make use of anonymous authentication rates.

项目成果

Semantic Definition of Anonymity in Identity-Based Encryption and Its Relation to Indistinguishability-Based Definition

• DOI: 10.1007/978-3-030-59013-0_4
• 发表时间: 2020-09
• 作者: Goichiro Hanaoka;Misaki Komatsu;Kazuma Ohara;Yusuke Sakai;Shota Yamada

Equivalence between Non-Malleability against Replayable CCA and Other RCCA-Security Notions

非延展性与可重放 CCA 和其他 RCCA 安全概念之间的等价

• DOI: 10.1587/transfun.2020cip0015
• 发表时间: 2021
• 期刊: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
• 作者: HAYATA Junichiro;KITAGAWA Fuyuki;SAKAI Yusuke;HANAOKA Goichiro;MATSUURA Kanta
• 通讯作者: MATSUURA Kanta

Aggregate Signature with Traceability of Devices Dynamically Generating Invalid Signatures

具有设备可追溯性的聚合签名动态生成无效签名

• 发表时间: 2021
• 作者: Ishii Ryu;Yamashita Kyosuke;Sakai Yusuke;Matsuda Takahiro;Teruya Tadanori;Hanaoka Goichiro;Matsuura Kanta;Matsumoto Tsutomu
• 通讯作者: Matsumoto Tsutomu

Succinct Attribute-Based Signatures for Bounded-Size Circuits by Combining Algebraic and Arithmetic Proofs

结合代数和算术证明的有界尺寸电路的简洁的基于属性的签名

• DOI: 10.1007/978-3-031-14791-3_31
• 发表时间: 2022
• 期刊: Security and Cryptography for Networks, 13th International Conference, SCN 2022, Amalfi (SA), Italy, September 12-14, 2022, Proceedings
• 作者: Shweta Agrawal;Fuyuki Kitagawa;Anuja Modi;Ryo Nishimaki;Shota Yamada;Takashi Yamakawa;Sakai Yusuke
• 通讯作者: Sakai Yusuke

Group Signatures with Message-Dependent Opening: Formal Definitions and Constructions

• DOI: 10.1155/2019/4872403
• 发表时间: 2019-08
• 期刊: Secur. Commun. Networks
• 作者: K. Emura;Goichiro Hanaoka;Yutaka Kawai;Takahiro Matsuda;Kazuma Ohara;Kazumasa Omote;Yusuke Sakai