[論文レビュー] Comment on "An arbitrated quantum signature protocol based on the chained CNOT operations encryption"

Yiping Luo, Tzonelih Hwang|arXiv (Cornell University)|Dec 2, 2015

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

ひとこと要約

この論文は、チェーン化されたCNOT演算に基づくLiらの2015年の仲裁量子署名（AQS）プロトコルを批判し、攻撃者が検出されずに有効な署名を偽造できることを示している。著者らは、この方式が不可偽造性と非否認性——基本的なセキュリティ特性——を満たさないことを証明しており、実用的な量子デジタル署名用途には不適切であると結論づけている。

ABSTRACT

In 2015, Li et al. (Quantum Inf Process (2015) 14:2171-2181) proposed an arbitrated quantum signature (AQS) scheme based on the chained controlled-NOT operations encryption. However, this paper points out that in their scheme an attacker can forge a signature without being detected. Therefore, Li et al.'s AQS scheme cannot satisfy the unforgeability and non-repudiation property.

研究の動機と目的

• Li らのチェーン化CNOT演算に基づく仲裁量子署名（AQS）プロトコルのセキュリティ特性を分析すること。
• 攻撃者が検出されずに署名を偽造できる可能性のある脆弱性を同定すること。
• この方式が不可偽造性と非否認性という基本的なセキュリティ要件を満たさないことを示すこと。
• 量子攻撃モデルを用いて、プロトコルの設計上の欠陥を形式的に批判すること。
• この方式に根本的な不安全性が内在しているため、研究者や実務家がその導入を避けるべきであることを警告すること。

提案手法

• 著者らは、暗号化にチェーン化されたCNOT演算を用いるLi らのAQSプロトコルの構造を分析する。
• 攻撃者が署名生成中に量子状態を傍受・操作するアクティブな攻撃シナリオをモデル化する。
• プロトコルの鍵交換段階および署名検証段階における適切な認証および検証メカニズムの欠如が攻撃の根拠となる。
• エンタングルド状態を操作し、CNOTチェーン内の対称性を利用することで、秘密鍵の知識なしに有効な署名を生成できる。
• 状態検証の不備により、検証プロセスはこのような偽造署名を検出できないことが分析で示された。
• 分析は、特にCNOTベースの回路におけるもつれ状態およびユニタリ操作の性質を含む、量子情報理論の原則に依拠している。

実験結果

リサーチクエスチョン

• RQ1 攻撃者は、Li らのAQSプロトコルにおいて、検出されずに量子署名を偽造できるか？
• RQ2 プロトコルで使用されるチェーン化CNOT演算は、存在的偽造に対して十分なセキュリティを提供するか？
• RQ3 プロトコルの検証メカニズムは、悪意ある当事者の改ざんまたはなりすましを十分に検出できるか？
• RQ4 この方式は、デジタル署名に求められる不可偽造性と非否認性の特性をどの程度満たしているか？
• RQ5 攻撃者が量子状態の操作によって認証を回避できる、プロトコル設計上の構造的欠陥は存在するか？

主な発見

• 攻撃者は、検証者に検出されずに、Li らのAQSプロトコルで有効な署名を偽造できる。
• この方式は不可偽造性の性質を満たさない。攻撃者は秘密鍵を一切知らずとも、任意のメッセージと一致する署名を生成できる。
• 非否認性の性質も損なわれており、偽造脆弱性のため署名と署名者との一意の関連付けが不可能である。
• 根本的な欠陥は、チェーン化CNOT暗号化プロセス中における量子状態の不適切な取り扱いにあり、状態の操作が可能となっている。
• 送信された量子状態の整合性を十分にチェックしていないため、検証プロセスは偽造署名を検出できない。
• 分析により、このプロトコルは根本的に不安全であり、実世界の量子署名システムへの導入には不適切であると確認された。