| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2021-05-19 14:30 ［招待講演］タイムロックパズルに対する安全性定義の考察(from ICISC 2020) ○平賀大揮（東工大）・原 啓祐（東工大/産総研）・手塚真徹・吉田雄祐・田中圭介（東工大）  ISEC2021-7 |
|
| 抄録 | （和） | タイムロックパズルは定められた計算時間が経過するまでメッセージを秘匿することができるパズルを生成する技術である。今までタイムロックパズルの安全性定義として識別不可能性に基づく定義が使われてきたが、それがタイムロックパズルの本来満たすべき安全性要件を直接的に満たすかどうかは議論の余地がある。本研究ではタイムロックパズルの安全性要件をより直接的にとらえる安全性（強秘匿性）を定義する。また、これらの安全性の関係を攻撃者の計算能力に着目して整理する。 |
| （英） | Time-lock puzzles allow one to encapsulate a message for a pre-determined amount of time. The message is required to be concealed from any algorithm running in parallel time less than the pre-determined amount of time. The security of time-lock puzzles was formalized based on indistinguishability. However, it is unclear whether it directly meets the security requirements of time-lock puzzles. In this work, we define semantic security, which captures the security requirements of the time-lock puzzles more directly. We consider three adversary's computational restrictions and see how the security relationship changes. The first, the traditional definition, we cannot prove that the semantic security implies the indistinguishability, same as the opposite implication. The second, relaxed definition compared to the first one, we can prove that the semantic security implies the indistinguishability. By contrast, we cannot prove the opposite implication. The third, relaxed definition compared to the second one, we can prove that the semantic security implies the indistinguishability, same as the opposite implication. This shows that indistinguishability meets the security requirements of time-lock puzzles in a certain restriction. Finally, we present a scheme that meets semantic security. |
|
| キーワード | （和） | タイムロックパズル / 識別不可能性 / セマンティックセキュリティ / / / / / |
| （英） | time-lock puzzle / indistinguishability / semantic security / / / / / | |
| 文献情報 | 信学技報, vol. 121, no. 22, ISEC2021-7, pp. 32-32, 2021年5月. | |
| 資料番号 | ISEC2021-7 | |
| 発行日 | 2021-05-12 (ISEC) | |
| ISSN | Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | ISEC2021-7 |
|
| 研究会情報 | |
| 研究会 | ISEC |
| 開催期間 | 2021-05-19 - 2021-05-19 |
| 開催地（和） | オンライン開催 |
| 開催地（英） | Online |
| テーマ（和） | 一般 |
| テーマ（英） | |
| 講演論文情報の詳細 | |
| 申込み研究会 | ISEC |
| 会議コード | 2021-05-ISEC |
| 本文の言語 | 英語（日本語タイトルあり） |
| タイトル（和） | タイムロックパズルに対する安全性定義の考察(from ICISC 2020) |
| サブタイトル（和） | |
| タイトル（英） | Security Definitions on Time-Lock Puzzles (from ICISC 2020) |
| サブタイトル（英） | |
| キーワード(1)（和/英） | タイムロックパズル / time-lock puzzle |
| キーワード(2)（和/英） | 識別不可能性 / indistinguishability |
| キーワード(3)（和/英） | セマンティックセキュリティ / semantic security |
| キーワード(4)（和/英） | / |
| キーワード(5)（和/英） | / |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 平賀 大揮 / Daiki Hiraga / ヒラガ ダイキ |
| 第1著者 所属（和/英） | 東京工業大学 (略称： 東工大) Tokyo Institute of Technology (略称： Tokyo Tech) |
| 第2著者 氏名（和/英/ヨミ） | 原 啓祐 / Keisuke Hara / ハラ ケイスケ |
| 第2著者 所属（和/英） | 東京工業大学/国立研究開発法人産業技術総合研究所 (略称： 東工大/産総研) Tokyo Institute of Technology/National Institute of Advanced Industrial Science and Technology (略称： Tokyo Tech/AIST) |
| 第3著者 氏名（和/英/ヨミ） | 手塚 真徹 / Masayuki Tezuka / テズカ マサユキ |
| 第3著者 所属（和/英） | 東京工業大学 (略称： 東工大) Tokyo Institute of Technology (略称： Tokyo Tech) |
| 第4著者 氏名（和/英/ヨミ） | 吉田 雄祐 / Yusuke Yoshida / ヨシダ ユウスケ |
| 第4著者 所属（和/英） | 東京工業大学 (略称： 東工大) Tokyo Institute of Technology (略称： Tokyo Tech) |
| 第5著者 氏名（和/英/ヨミ） | 田中 圭介 / Keisuke Tanaka / タナカ ケイスケ |
| 第5著者 所属（和/英） | 東京工業大学 (略称： 東工大) Tokyo Institute of Technology (略称： Tokyo Tech) |
| 講演者 | 第1著者 |
| 発表日時 | 2021-05-19 14:30:00 |
| 発表時間 | 30分 |
| 申込先研究会 | ISEC |
| 資料番号 | ISEC2021-7 |
| 巻番号（vol） | vol.121 |
| 号番号（no） | no.22 |
| ページ範囲 | p.32 |
| ページ数 | 1 |
| 発行日 | 2021-05-12 (ISEC) |
[研究会発表申込システムのトップページに戻る]