Skip to main content
QUICK REVIEW

[論文レビュー] Quantum authentication with key recycling

Christopher Portmann|arXiv (Cornell University)|Oct 11, 2016
Quantum Information and Cryptography被引用数 4
ひとこと要約

本稿では、完全な鍵再利用を伴う量子認証プロトコルの合成的で安全な証明を提示し、メッセージ認証に成功した場合にはすべての秘密鍵ビットを再利用可能であり、改ざん検出時には部分的な再利用が可能であることを示している。このプロトコルは、量子誤り検出符号とユニタリ操作を活用し、不完全なチャネルと共有秘密鍵から安全な量子チャネルを構築し、安全誤差が有界である条件下で最適な鍵再利用を達成する。

ABSTRACT

We show that a family of quantum authentication protocols introduced in [Barnum et al., FOCS 2002] can be used to construct a secure quantum channel and additionally recycle all of the secret key if the message is successfully authenticated, and recycle part of the key if tampering is detected. We give a full security proof that constructs the secure channel given only insecure noisy channels and a shared secret key. We also prove that the number of recycled key bits is optimal for this family of protocols, i.e., there exists an adversarial strategy to obtain all non-recycled bits. Previous works recycled less key and only gave partial security proofs, since they did not consider all possible distinguishers (environments) that may be used to distinguish the real setting from the ideal secure quantum channel and secret key resource.

研究の動機と目的

  • 先行研究における欠落を補填するために、鍵再利用を伴う量子認証プロトコルの完全な合成的セキュリティ証明を提供すること。
  • メッセージが正常に認証された場合に、すべての秘密鍵ビットが再利用可能であることを実証すること。
  • 改ざんが検出された場合に部分的鍵再利用が発生することを証明し、最適な鍵再利用を保証すること。
  • 以前の研究で見過ごされた、インパーソネーション攻撃を含むすべての可能な区別者を考慮することで、セキュリティギャップを埋めること。
  • 再利用可能な鍵ビットの数が最適であることを確立し、非再利用ビットをすべて回復可能な攻撃戦略を提示すること。

提案手法

  • バーナムら(2002年)のプロトコル族を用い、ユニタリ符号化と量子誤り検出符号を組み合わせる。
  • 暗号化後に符号化する2段階プロトコル(およびその逆)を採用し、シンダム測定に基づく鍵再利用を実現する。
  • EPR状態を準備し、ランダムユニタリを用いて、異なる区別者順序下での実プロトコルの振る舞いを模倣するシミュレータを導入する。
  • トレース距離解析を適用し、実システムと理想システムの区別可能性を有界化する。誤差項は符号の検出特性から導出される。
  • 送信者からの偽装暗号を入力する前後を想定した、置換攻撃およびインパーソネーション攻撃をモデル化した区別者を考慮する。
  • 弱い純粋性テスト符号を用い、符号の検出能力と鍵空間サイズを含むトレース距離の境界を用いてセキュリティを証明する。

実験結果

リサーチクエスチョン

  • RQ1鍵再利用を伴う量子認証プロトコルが、インパーソネーション攻撃を含むすべての可能な区別者に対して安全に証明可能か。
  • RQ2与えられたプロトコル族において、再利用可能な鍵ビット数が最適か。
  • RQ3プロトコルが任意の環境で使用されても、合成的セキュリティ証明が成立するか。
  • RQ4正常な認証が成功した場合には完全な鍵再利用が達成可能であり、改ざんが検出された場合には部分的再利用が可能か。
  • RQ5合成プロトコルの正確な誤差境界は何か。また、プロトコルパラメータに従ってどのようにスケーリングするか。

主な発見

  • 正常な認証が成功した場合には完全な鍵再利用が達成され、改ざん検出時には部分的再利用が発生する。
  • セキュリティ誤差は εq-auth = max{ε, 2−n} で有界であり、ε はチャネル誤差、n は符号内の量子ビット数である。
  • 再利用可能な鍵ビット数は最適である:攻撃者は非再利用ビットをすべて回復可能であり、このプロトコル族ではこれ以上の再利用は不可能であることを示している。
  • 合成的セキュリティ証明は、以前の研究が無視したインパーソネーション攻撃を含むすべての区別者を考慮しており、包括的である。
  • 暗号化後に符号化するプロトコルとその逆の変種が、不完全なチャネルと秘密鍵から理想の安全量子チャネル Sm♭ を安全に構築できることを証明している。
  • 実システムと理想システム間のトレース距離は、符号の検出失敗確率と 2−n の和で有界であり、合成的セキュリティを保証している。

より良い研究を、今すぐ始めましょう

論文の読解から最終レビューまで、研究時間を劇的に削減しましょう。

クレジットカード登録不要

このレビューはAIが作成し、人間の編集者が確認しました。