物理暗号理論の研究とハードウェアトロイ攻撃対策への応用

物理密码理论及其在硬件木马攻击对策中的应用研究

• 批准号: 20J01192
• 负责人: 品川 和雅
• 金额: $ 2.83万
• 依托单位: The University of Electro-Communications
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for JSPS Fellows
• 财政年份: 2020
• 资助国家: 日本
• 起止时间: 2020-04-24 至 2023-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-20J01192/
• 关键词: 暗号理論; 秘密計算

本年度に実施した研究の具体的な成果は以下の通りである。新しい秘密計算プロトコルの構成手法の提案として、Private Simultaneous Messagesというモデルにおける平方剰余の基づくプロトコルの一般的構成方法について研究した。本成果は2021年暗号と情報セキュリティシンポジウム（SCIS 2021）で発表した。具体的な関数に対する秘密計算プロトコルとして、ラウンド数の効率的な集合積集合計算プロトコルを構成した。本成果はSCIS 2021で発表した。論理パズルに対するカードを用いたゼロ知識証明プロトコルの研究として、時間ドロボーという論理パズルに対するゼロ知識証明プロトコルを構成した。本成果はSCIS 2021で発表した。新しいカードベース暗号プロトコルの開発として、将棋等の手番のあるゲームで希望の手番を秘匿しながら、できるだけ両人の希望に沿うようなプロトコルである、秘匿先手決定プロトコルを構成した。本成果はコンピュータセキュリティシンポジウム2020（CSS 2020）で発表し、さらに国際会議SECITC 2020で発表した。また、カードの値に応じてカード列を並び替える、秘匿ソートプロトコルを構成した。本成果はSCIS 2021で発表した。任意の関数を１回のシャッフルで計算できる成果に関しては、論文誌Discrete Applied Mathematicsにて発表した。不可視インクを用いた二面体群に基づくカードベース暗号の成果に関しては、論文誌New Generation Computingにて発表した。ランキング計算を行うカードベース暗号プロトコルの成果に関しては、論文誌Theoretical Computer Scienceにて発表した。

The specific results of this year's research are as follows: A new method of constructing secret Messages is proposed and studied. The results are presented in the 2021 Code of Conduct (SCIS 2021). The specific number of secret calculation methods, the number of secret calculation methods This achievement was announced in SCIS 2021. The logic of the game is to use the knowledge to prove the game. This achievement was announced in SCIS 2021. The new version of the game is composed of the following elements: the opening of the game, the game, the opening of the game, the game, This work was presented at the International Conference SECITC 2020 (CSS 2020). The price of the goods is very high. The price of the goods is very high. This achievement was announced in SCIS 2021. Any number of problems in the calculation of results in the paper Discrete Applied Mathematics The results of the invisible dihedral group are related to the New Generation Computing. The results of computer Science research are related to Theoretical Computer science research.

项目成果

Card-based protocols for secure ranking computations

用于安全排名计算的基于卡的协议

• DOI: 10.1016/j.tcs.2020.09.008
• 发表时间: 2020
• 期刊: Theoretical Computer Science
• 影响因子: 1.1
• 作者: Takashima Ken;Abe Yuta;Sasaki Tatsuya;Miyahara Daiki;Shinagawa Kazumasa;Mizuki Takaaki;Sone Hideaki
• 通讯作者: Sone Hideaki

A single shuffle is enough for secure card-based computation of any Boolean circuit

一次洗牌足以对任何布尔电路进行安全的基于卡的计算

• DOI: 10.1016/j.dam.2020.10.013
• 发表时间: 2021
• 期刊: Discrete Applied Mathematics
• 影响因子: 1.1
• 作者: Shinagawa Kazumasa;Nuida Koji
• 通讯作者: Nuida Koji

Card-Based Covert Lottery

卡式隐蔽彩票

• DOI: 10.1007/978-3-030-69255-1_17
• 发表时间: 2021
• 期刊: SECITC 2020、Lecture Notes in Computer Science
• 作者: Shinoda Yuto;Miyahara Daiki;Shinagawa Kazumasa;Mizuki Takaaki;Sone Hideaki
• 通讯作者: Sone Hideaki

カードベースソートプロトコル

基于卡片的分类协议

• 发表时间: 2021
• 作者: 篠田 悠斗;宮原 大輝 ;品川 和雅;水木 敬明;曽根 秀昭
• 通讯作者: 曽根 秀昭

紛失通信ベース三者間秘匿積集合プロトコルにおけるラウンド数の削減

减少基于丢失通信的三方安全交集协议的轮数

• 发表时间: 2021
• 作者: 清水 聖也;安部 芳紀;中井 雄士;品川 和雅;渡邉 洋平;岩本 貢
• 通讯作者: 岩本 貢