| Project/Area Number |
22KJ1362
|
|---|
| Project/Area Number (Other) |
22J10137 (2022)
|
|---|
| Research Category |
Grant-in-Aid for JSPS Fellows
|
| Allocation Type | Multi-year Fund (2023)
Single-year Grants (2022) |
|---|
| Section | 国内 |
|---|
| Review Section |
Basic Section 60070:Information security-related
|
|---|
| Research Institution | The University of Electro-Communications |
|---|
Principal Investigator |
安部 芳紀 電気通信大学, 情報理工学研究科, 特別研究員(DC2)
|
|---|
| Project Period (FY) |
2023-03-08 – 2024-03-31
|
| Project Status |
Granted (Fiscal Year 2023)
|
| Budget Amount *help |
¥1,700,000 (Direct Cost: ¥1,700,000)
Fiscal Year 2023: ¥800,000 (Direct Cost: ¥800,000)
Fiscal Year 2022: ¥900,000 (Direct Cost: ¥900,000)
|
|---|
| Keywords | 秘密計算 / 乱数長 |
|---|
| Outline of Research at the Start |
使用する乱数が入力に対して定数長に限定された秘密計算プロトコルに関する研究を行う．強い物理的仮定に基づく計算モデル（スタックモデル）では，乱数を使用せず，任意の関数を安全に計算できるが，一般的な計算モデル（プレーンモデル）では，乱数を使用しない場合はAND関数を安全に計算できないことが知られている．
スタックモデルにおけるプロトコルを，定数長の乱数を追加しつつ，プレーンモデルにおけるプロトコルへ段階的に変換する．変換を通じて，プレーンモデルにおいて乱数を定数長に限定した状態で計算可能な関数クラスや達成可能な安全性を明らかにすることを目指す．
|
| Outline of Annual Research Achievements |
本研究の目的は，一般的な計算モデル（プレーンモデル）において乱数を定数長に限定した状態で計算可能な関数クラスや達成可能な安全性を明らかにすることである．そのために，強い物理的仮定に基づく計算モデル（スタックモデル）における乱数を使用しない秘密計算プロトコルを，定数長の乱数を追加しつつ，プレーンモデルにおける秘密計算プロトコルに変換することを目指している．
そこで，本年度は，物理的仮定と乱数との関係を解明し，どのように乱数を追加すれば変換が可能になるかを明らかにすることを目的として，乱数を使用しない代わりに物理的仮定に基づく秘密計算プロトコルである，カードを用いるプロトコル（カードベース暗号）とスタックモデルにおけるプロトコル（private PEZプロトコル）の効率化に関して研究を行った．
カードベース暗号に関して，効率の指標であるカード操作回数や通信回数が入力数に関して線形なプロトコルの中で，カード枚数がn枚未満で実行可能な初めてのn入力多数決プロトコルを提案した．この成果は査読付き国際論文誌IEICE Transactions on Fundamentalsに採録されている．また，秘匿和集合プロトコルをカードベース暗号で初めて提案した．この成果は国内会議コンピュータセキュリティシンポジウム2022（CSS2022）で発表し，CSS2022優秀論文賞を受賞した．さらに，秘匿置換と呼ばれる操作を用いるカードベース暗号で，トランプを用いて実行可能でカード枚数が効率的なプロトコルを提案した．この成果は国内会議2023年暗号と情報セキュリティシンポジウム（SCIS2023）で発表した．
また，private PEZプロトコルに関して，m値n入力関数を計算するプロトコルの効率の漸近評価を行い，国内会議2023年暗号と情報セキュリティシンポジウム（SCIS2023）で発表した．
|
| Current Status of Research Progress |
Current Status of Research Progress
2: Research has progressed on the whole more than it was originally planned.
Reason
スタックモデルにおける乱数を使用しない秘密計算プロトコルを，定数長の乱数を追加しつつ，プレーンモデルにおける秘密計算プロトコルに変換するために，乱数を使用しない代わりに物理的仮定に基づく秘密計算プロトコルである，カードベース暗号とprivate PEZプロトコルの効率化に関して研究を行った．具体的には，カードベース暗号では多数決プロトコルや秘匿和集合プロトコルを提案し，private PEZプロトコルではm値n入力関数を計算するプロトコルの効率の評価を行った．これらのプロトコルの研究を通じて，物理的仮定が果たす役割について理解を進めることができ，プレーンモデルにおけるプロトコルへの変換を行うにあたっての知見を得ることができたため，おおむね順調に進展していると判断した．
|
| Strategy for Future Research Activity |
本年度の成果を踏まえつつ，当初の計画に従い，スタックモデルにおけるプロトコルをプレーンモデルにおけるプロトコルへの変換を目指す．また，本年度に得られた成果の完成度を上げ，査読付き国際会議・学術雑誌に投稿する．
|
Report
(1 results)
Research Products
(5 results)
