权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

十分統計量に基づくシミュレーションベース安全性の深化

基于充分统计数据深化模拟安全

基本信息

批准号：
21H03395
负责人：
岩本貢
金额：
$ 11.07万
依托单位：
The University of Electro-Communications
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (B)
财政年份：
2021
资助国家：
日本
起止时间：
2021-04-01 至 2025-03-31
项目状态：
未结题

项目摘要

本研究の主要な課題である，十分統計量とシミュレーションベース安全性の等価性に基づく安全性証明研究については，研究計画の初期的な目的をほぼ達成した．具体的には，攻撃者がプロトコルから逸脱しないsemi-honest安全性において，情報量および十分統計量に基づく安全性定義の両方に対して，秘密計算(Multi-Party Computation: MPC)の古典的なプロトコルであるBGWプロトコルに関する完全な安全性証明を得た．これによって，シミュレーションベース安全性と等価な安全性定義をいくつか示しただけでなく，それらを証明する際には異なるテクニックが使われることなどが明らかになった．それ以外に，シミュレーションベース安全性に基づくいくつかの暗号方式を提案し，安全性証明を行った．具体的には，MPC，高機能暗号，カードベース暗号などが挙げられる．MPCについては秘匿集合積計算，高機能暗号技術としては，検索可能暗号，秘匿集合計算，軽量認証，多重署名技術，属性ベース暗号などに関する成果を得た．これらの多くは計算量的に安全な方式であり，今後，計算量的な統計量を考えるためにも重要である．カードベース暗号では，カードベース暗号では本研究において今後重要と考えられるゼロ知識対話証明，多数決プロトコル，秘匿集合和計算，ガーブルド回路等に関する成果を得た．特に，秘匿集合和計算における成果は，コンピュータセキュリティシンポジウム(Computer Security Symposium, CSS)にて優秀論文賞を受賞した（192件中9件）．我々が進めているカードベース暗号における秘匿置換の概念は，MPCやシミュレーションベース安全性と相性が良いことが分かっている．トランプのような物理的なカードを用いることで，安全性の直観もききやすく，本研究を進める上での重要な具体例になると考えている．

The primary objective of this study was to achieve the initial objectives of the research program by using decimal statistics to determine equivalence of safety and safety. Specifically, the attacker has obtained a complete security proof for the classical security definition of Multi-Party Computation (MPC) based on semi-honest security, information quantity and ten-point statistics. The definition of safety is to show the difference between safety and safety, to prove the difference between safety and safety. In addition to the above, the security of the system is based on the proposal of the password method, and the security certificate is implemented. Specific, MPC, high-function password, high-function password. In the future, the statistics of the calculation amount will be examined. In this study, the key to future research is to prove that most of the results related to decision making, secret sets and calculations are obtained. In particular, the results of secret collection and computing were rewarded for outstanding papers (9 out of 192). The concept of secret substitution is different from that of MPC, security and compatibility. This study is an important example of how to improve the safety of the physical environment.

项目成果

期刊论文数量（31）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

任意の論理回路に対する1ゲートあたり6枚のカードベースプロトコル

每个门有 6 个基于卡的协议，适用于任意逻辑电路

DOI：
发表时间：
2023
期刊：
影响因子：
0
作者：
小野知樹;品川和雅;中井雄士;渡邉洋平;岩本貢
通讯作者：
岩本貢

秘匿置換を用いた効率的なトランプベース秘密計算プロトコル

使用秘密排列的高效基于扑克牌的秘密计算协议

DOI：
发表时间：
2023
期刊：
影响因子：
0
作者：
岩成慶太;小野知樹;安倍芳紀;中井雄士;渡邉洋平;岩本貢
通讯作者：
岩本貢

攻撃成功確率からみたTwo Sheriffs Problem

攻击成功概率角度的两位警长问题

DOI：
发表时间：
2022
期刊：
影响因子：
0
作者：
杉本航太;中井雄士;渡邉洋平;岩本貢
通讯作者：
岩本貢

カードを用いた秘匿共通集合プロトコル

使用卡的秘密通用集协议

DOI：
发表时间：
2022
期刊：
影响因子：
0
作者：
土井アナスタシヤ;中井雄士;品川和雅;渡邉洋平;岩本貢
通讯作者：
岩本貢

A Computationally Efficient Card-Based Majority Voting Protocol with Fewer Cards in the Private Model

私有模型中卡数较少的计算高效的基于卡的多数投票协议

DOI：
10.1587/transfun.2022cip0021
发表时间：
2023
期刊：
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
影响因子：
0
作者：
ABE Yoshiki;NAKAI Takeshi;WATANABE Yohei;IWAMOTO Mitsugu;OHTA Kazuo
通讯作者：
OHTA Kazuo