WEKO3
アイテム
軽量Nパーティ秘匿関数計算のsemi-honestモデルにおける安全性の証明
https://ipsj.ixsq.nii.ac.jp/records/217073
https://ipsj.ixsq.nii.ac.jp/records/21707306365422-69c9-4f44-a005-2a474c631914
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-CSEC22096037.pdf (759.3 kB)
|
Copyright (c) 2022 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | SIG Technical Reports(1) | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2022-03-03 | |||||||||
| タイトル | ||||||||||
| タイトル | 軽量Nパーティ秘匿関数計算のsemi-honestモデルにおける安全性の証明 | |||||||||
| タイトル | ||||||||||
| 言語 | en | |||||||||
| タイトル | Proof of Security in Semi-honest Model of Lightweight N-party Secure Function Evaluation | |||||||||
| 言語 | ||||||||||
| 言語 | jpn | |||||||||
| キーワード | ||||||||||
| 主題Scheme | Other | |||||||||
| 主題 | セキュアプロトコル | |||||||||
| 資源タイプ | ||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||||
| 資源タイプ | technical report | |||||||||
| 著者所属 | ||||||||||
| 千葉工業大学大学院 | ||||||||||
| 著者所属 | ||||||||||
| 千葉工業大学 | ||||||||||
| 著者所属(英) | ||||||||||
| en | ||||||||||
| Graduate School of Information and Computer Science, Chiba Institute of Technology | ||||||||||
| 著者所属(英) | ||||||||||
| en | ||||||||||
| Faculty of Information and Computer Science, Chiba Institute of Technology | ||||||||||
| 著者名 |
滝, 雄太郎
× 滝, 雄太郎
× 藤田, 茂
|
|||||||||
| 論文抄録 | ||||||||||
| 内容記述タイプ | Other | |||||||||
| 内容記述 | 本稿では軽量 N パーティ秘匿関数計算において計算主体間の結託は無いと仮定した上で semi-honest モデルにおける安全性の証明を示す．軽量 N パーティ秘匿関数計算とは軽量 3 パーティ秘匿関数計算について各計算プロトコルの一般化を行った方式である．軽量 3 パーティ秘匿関数計算は malicious モデルにおいてエラー検出を可能であること，semi-honest モデルにおいて入力値の安全性を保証することを証明している．しかし，軽量 N パーティ秘匿関数計算では malicious モデルにおいてエラー検出可能であることは示してあるが，semi-honest モデルにおいて安全性を保証することは証明していない．この安全性を保証することを証明する上で重要になるのが完全秘匿性の有無である．そこで，まず提案方式では完全秘匿性を持つことを証明する上で重要な，出力を除く受信データを示す VIEW について一般化を行う．この VIEW についての一般化により従来の証明よりも簡潔な記述方法で示すことが可能になった．本稿では軽量 N パーティ秘匿関数計算が semi-honest モデルにおいて完全秘匿性を持つことを証明した． | |||||||||
| 論文抄録(英) | ||||||||||
| 内容記述タイプ | Other | |||||||||
| 内容記述 | In this paper, we show the proof of safety in the semi-honest model on the assumption that there is no collusion between subjects in the calculation of lightweight N-party secure function evaluation. Lightweight N-party secure function evaluation is a method that generalizes each calculation protocol for lightweight three-party secure function evaluation. The lightweight three-party secure function evaluation proves that error detection is possible in the malicious model and that the safety of the input value is guaranteed in the semi-honest model. However, although the lightweight N-party secure function evaluation shows that error detection is possible in the malicious model, it does not prove that the safety is guaranteed in the semi-honest model. The presence or absence of perfect secrecy is important in proving that this safety is guaranteed. Therefore, in the proposed method, we first generalize the “VIEW” that shows the received data excluding the output, which is important for proving that it has perfect secrecy. This generalization of “VIEW” has made it possible to show in a simpler description method than the conventional proof. In this paper, we prove that the lightweight N-party secure function evaluation has perfect secrecy in the semi-honest model. | |||||||||
| 書誌レコードID | ||||||||||
| 収録物識別子タイプ | NCID | |||||||||
| 収録物識別子 | AA11235941 | |||||||||
| 書誌情報 |
研究報告コンピュータセキュリティ（CSEC） 巻 2022-CSEC-96, 号 37, p. 1-6, 発行日 2022-03-03 |
|||||||||
| ISSN | ||||||||||
| 収録物識別子タイプ | ISSN | |||||||||
| 収録物識別子 | 2188-8655 | |||||||||
| Notice | ||||||||||
| SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||||
| 出版者 | ||||||||||
| 言語 | ja | |||||||||
| 出版者 | 情報処理学会 | |||||||||
