[論文レビュー] Authentication of Quantum Messages

Howard Barnum, Claude Crépeau+3 more|University of North Texas Digital Library (University of North Texas)|May 20, 2002

Quantum Information and Cryptography被引用数 3

ひとこと要約

この論文は、送信者と受信者が古典的プライベート鍵を用いて、量子メッセージを安全に送信できる非インタラクティブな量子認証方式を提案する。量子誤り訂正符号に基づく新しい純粋性テストプロトコルを活用することで、安全パrameter $s$ に対して指数的に小さい失敗確率を達成する。$m$ ビットの量子メッセージを認証するには、古典的鍵を $2m + O(s)$ ビットのみ必要とし、量子メッセージ認証は本質的に暗号化を要することを示し、量子状態のデジタル署名は不可能であることを証明する。

ABSTRACT

Authentication is a well-studied area of classical cryptography: a sender S and a receiver R sharing a classical private key want to exchange a classical message with the guarantee that the message has not been modified by any third party with control of the communication line. In this paper we define and investigate the authentication of messages composed of quantum states. Assuming S and R have access to an insecure quantum channel and share a private, classical random key, we provide a non-interactive scheme that enables S both to encrypt and to authenticate (with unconditional security) an m qubit message by encoding it into m+s qubits, where the failure probability decreases exponentially in the security parameter s. The classical private key is 2m+O(s) bits. To achieve this, we give a highly efficient protocol for testing the purity of shared EPR pairs. We also show that any scheme to authenticate quantum messages must also encrypt them. (In contrast, one can authenticate a classical message while leaving it publicly readable.) This has two important consequences: On one hand, it allows us to give a lower bound of 2m key bits for authenticating m qubits, which makes our protocol asymptotically optimal. On the other hand, we use it to show that digitally signing quantum states is impossible, even with only computational security.

研究の動機と目的

• 量子メッセージの認証の概念を形式化し、量子状態の不滅定理と測定による状態の破壊を考慮し、古典的メッセージ認証とは区別する。
• 送信者と受信者の間でインタラクションが不要であり、古典的プライベート鍵のみを用いて $m$-キュービットの量子メッセージを効率的に認証および暗号化するプロトコルを設計する。
• 量子メッセージ認証に必要な鍵サイズの下界を確立し、安全性を保つために $2m$ ビットが必要であることを示す。
• 量子状態のデジタル署名が、計算的セキュリティでさえも不可能であることを証明する。これは、量子環境下で認証と暗号化の間に根本的な関係があるためである。

提案手法

• 認証された状態が、攻撃的干渉下でも元の状態と不変性を保ち、区別不能であることを条件として、量子メッセージ認証を定義する。
• 任意のパウリエラーが、そのファミリーに属する多数の符号によって検出可能な「カバー性」を持つ量子誤り訂正符号のファミリーを用いて、純粋性テストプロトコルを構築する。
• 射影幾何学を用いて、$O(s)$ の古典的通信量でのみ効率的な純粋性テストプロトコルを実装可能な明示的な符号ファミリーを構築する。
• Lo-Chauの量子から古典への還元技術を適用し、攻撃者による盗聴に対して純粋性テストプロトコルの安全性を証明する。
• 送信者が古典的鍵と純粋性テストを用いて、$m$-キュービットのメッセージを $m+s$ ビットの量子状態に符号化する、完全な認証方式に純粋性テストプロトコルを統合する。
• 量子状態を測定すると破壊されることに起因し、古典的メッセージとは異なり、量子メッセージ認証のすべての方式は、暗号化を同時に実行しなければならないことを証明する。

実験結果

リサーチクエスチョン

• RQ1 送信者と受信者の間でインタラクションがなく、古典的プライベート鍵のみを用いて、量子メッセージ認証を達成できるか？
• RQ2 $m$ ビットの量子メッセージを無条件に認証するために必要な最小の鍵サイズは何か？この下界はタイトか？
• RQ3 なぜ量子メッセージ認証は古典的メッセージ認証とは根本的に異なるのか？特に、暗号化の必要性に関して。
• RQ4 量子力学的制約を考慮すると、計算的セキュリティでさえも、量子状態のデジタル署名は可能か？
• RQ5 誤り訂正を試みることなく、共有されたEPRペアの整合性を効率的に検証できる純粋性テストプロトコルを構築できるか？

主な発見

• 提案された認証方式は、安全パrameter $s$ に対して指数的に小さい失敗確率を達成し、元の量子状態と受信された状態との間で高い忠実度を保証する。
• この方式は、$m$ ビットの量子メッセージを認証するため、$2m + O(s)$ ビットの古典的鍵を必要とし、この鍵サイズは漸近的に最適である。
• カバー性を持つ量子誤り訂正符号に基づく純粋性テストプロトコルにより、$O(s)$ の古典的通信量でのみ、EPRペアの整合性を効率的に検証可能である。
• 本論文では、量子メッセージ認証方式が、測定による状態の破壊に起因し、古典的状況とは異なり、暗号化を同時に実行しなければならないことを証明する。
• 計算的セキュリティでさえも、量子状態のデジタル署名は不可能である。なぜなら、そのような方式が存在すれば、高忠実度で量子状態を区別できる方法が得られ、量子の不識別性原理に反するからである。
• $m$-キュービットの認証に $2m$ ビットの鍵が必要であるという下界は、部分的な鍵漏洩がスーパー密度コーディングにより情報抽出を可能にするため、鍵に少なくとも $2m(1 - \text{poly}(\epsilon))$ ビットを含めなければならないことを示すことによって確立される。