[論文レビュー] Quantum message authentication codes

Howard Barnum|ArXiv.org|Mar 21, 2001

Quantum Information and Cryptography参考文献 14被引用数 11

ひとこと要約

本稿では、量子エラー訂正符号に基づく量子メッセージ認証方式を提案し、改ざんから量子メッセージを保護することを目的としている。Lemma 1 に欠陥があるため、一般の攻撃に対しては元の証明が成立しない。修正された結果では、パウリまたは一般化パウリ攻撃に対するセキュリティが保証されるのみであり、主張される普遍的セキュリティの範囲が制限される。

ABSTRACT

This paper has been withdrawn because of an error in the proof of Lemma 1. Without Lemma 1, the result of the main theorem (with the same proof, but omitting the use of Lemma 1 to extend things to general attacks) only holds for attacks in which the attacker applies a tensor product of Pauli matrices (for qubits) or generalized Pauli matrices. The resulting theorem is still relevant for quantum message authentication, but the very strong result claimed in earlier versions of this paper does not hold. These matters will be addressed further in joint work with Claude Crepeau, Daniel Gottesman, Adam Smith, and Alain Tapp. Thanks to them and to Debbie Leung for spotting the error.

研究の動機と目的

• 量子メッセージの整合性および真正性を保証する量子メッセージ認証コードの開発。
• 一般の敵対的攻撃下でのこの方式のセキュリティ証明の提供。
• 量子エラー訂正符号を用いた量子メッセージの検証フレームワークの確立。
• 普遍的セキュリティの主張を無効にした元の証明の誤りの是正。

提案手法

• 量子エラー訂正符号を活用してメッセージ認証方式を構築する。
• 送信者と受信者が秘密鍵を共有する対称鍵プロトコルを採用する。
• 量子安定子符号に基づく符号化および復号操作を用いて改ざんを検出する。
• エンタングルド状態と測定結果を用いた検証手順を適用してメッセージを認証する。
• 特定の攻撃パターンをモデル化するためにパウリ行列または一般化パウリ行列の構造に依存する。
• Lemma 1 依存を排除することで元の証明を再考し、攻撃をパウリ行列のテンソル積で構成されるものに制限する。

実験結果

リサーチクエスチョン

• RQ1 すべての種類の量子攻撃に対して安全な量子メッセージ認証コードを構築可能か？
• RQ2 Lemma 1 の誤りが主なセキュリティ定理の妥当性に与える影響は何か？
• RQ3 Lemma 1 が証明から除外された場合、この方式はどの程度まで安全に保たれるか？
• RQ4 パウリに基づく攻撃は認証プロトコルのセキュリティにどのように影響を与えるか？
• RQ5 一般攻撃に対して完全なセキュリティを回復するために必要な修正は何か？

主な発見

• Lemma 1 の誤りのため、すべての攻撃に対して安全であるという元の主張は無効である。
• この方式は、キュービットにおけるパウリ行列のテンソル積、もしくは高次元における一般化パウリ行列で構成される攻撃に対しては依然として安全である。
• 修正された主定理は、この制限付きの攻撃クラスに対してのみ成立する。
• 誤りは共同研究者および査読者（デビー・ルイン含む）によって特定された。
• 今後の共同作業において、クロード・クレパオ、ダニエル・ゴットスマン、アダム・スミス、アラン・タップと共にこの問題が解決される予定である。
• コア構成は正当であるが、当初の主張よりも範囲が限定的である。