| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2025-11-12 13:00 次ビット予測不可能性定義への一考察 ○谷本匡亮（ソニーセミコンダクタソリューションズ）  ISEC2025-72 SITE2025-62 LOIS2025-22 |
|
| 抄録 | （和） | 暗号学的に安全な乱数の重要な要件として次ビット予測不可能性の定義が与えられている．この定義には全称量子化子が多数含まれており，また全称量子化子を用いて定義される無視可能関数が存在量化子付きで参照されている．定義が充足可能か否かの判定が一般に困難である．定義を満たす偶数ビット長Tの十分長い乱数が得られたとしT－1個までを観測してTビット目が予測可能かを考察する． |
| （英） | The definition of next-bit unpredictability is given as an important requirement for cryptographically secure random numbers. This definition includes many universal quantizers, and negligible functions defined using an universal quantifier are referenced with an existential quantifier. It is generally difficult to judge whether the definition is satisfiable or not. Suppose we obtain a sufficiently long random number with an even bit length T that satisfies the definition, and we consider whether the T-th bit can be predicted by observing up to T-1 bits. | |
| キーワード | （和） | 次ビット予測不可能性 / 次ビット予測検定 / 無視可能関数 / 全称量化子 / 初等関数 / 一様収束 / / |
| （英） | Next-bit Unpredictability / Next-bit Prediction Test / Negligible Function / Universal Quantifier / Elementary Function / Uniform Convergence / / | |
| 文献情報 | 信学技報, vol. 125, no. 238, ISEC2025-72, pp. 1-5, 2025年11月. | |
| 資料番号 | ISEC2025-72 | |
| 発行日 | 2025-11-05 (ISEC, SITE, LOIS) | |
| ISSN | Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | ISEC2025-72 SITE2025-62 LOIS2025-22 |
|
| 研究会情報 | |
| 研究会 | ISEC LOIS SITE |
| 開催期間 | 2025-11-12 - 2025-11-13 |
| 開催地（和） | ITビジネスプラザ武蔵 交流室1 |
| 開催地（英） | |
| テーマ（和） | 情報セキュリティ，ライフログ活用技術，ライフインテリジェンス，オフィス情報システム，一般 |
| テーマ（英） | |
| 講演論文情報の詳細 | |
| 申込み研究会 | ISEC |
| 会議コード | 2025-11-ISEC-LOIS-SITE |
| 本文の言語 | 日本語 |
| タイトル（和） | 次ビット予測不可能性定義への一考察 |
| サブタイトル（和） | |
| タイトル（英） | A Consideration on the Definition of Next-bit Unpredictability |
| サブタイトル（英） | |
| キーワード(1)（和/英） | 次ビット予測不可能性 / Next-bit Unpredictability |
| キーワード(2)（和/英） | 次ビット予測検定 / Next-bit Prediction Test |
| キーワード(3)（和/英） | 無視可能関数 / Negligible Function |
| キーワード(4)（和/英） | 全称量化子 / Universal Quantifier |
| キーワード(5)（和/英） | 初等関数 / Elementary Function |
| キーワード(6)（和/英） | 一様収束 / Uniform Convergence |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 谷本 匡亮 / Tadaaki Tanimoto / タニモト タダアキ |
| 第1著者 所属（和/英） | ソニーセミコンダクタソリューションズ株式会社 (略称： ソニーセミコンダクタソリューションズ) Sony Semiconductor Solutions, Inc (略称： Sony Semiconductor Solutions) |
| 講演者 | 第1著者 |
| 発表日時 | 2025-11-12 13:00:00 |
| 発表時間 | 25分 |
| 申込先研究会 | ISEC |
| 資料番号 | ISEC2025-72, SITE2025-62, LOIS2025-22 |
| 巻番号（vol） | vol.125 |
| 号番号（no） | no.238(ISEC), no.239(SITE), no.240(LOIS) |
| ページ範囲 | pp.1-5 |
| ページ数 | 5 |
| 発行日 | 2025-11-05 (ISEC, SITE, LOIS) |
[研究会発表申込システムのトップページに戻る]