[論文レビュー] Design of Quantum Key Agreement Protocols with Strong Fairness Property

Kun-Fei Yu, Chun‐Wei Yang+3 more|arXiv (Cornell University)|Oct 8, 2015

Quantum Information and Cryptography参考文献 47被引用数 5

ひとこと要約

本稿は、最終鍵を操作できないように保証する強力な公平性を備えた新しい量子鍵配布（QKA）プロトコルを提案する。強力な公平性の下で、両者とも最終鍵を操作できないことを保証する。本稿では、このようなプロトコルを設計するための形式的モデルを導入し、既存のQKAプロトコルが強力な公平性を満たさないことを示している。本稿で提案するプロトコルは、エンタングルド・キュービットにおけるユニタリ操作と対称的な量子状態共有を用いて、盗聴攻撃および内部者による鍵操作攻撃に対して耐性を示し、証明可能なセキュリティと公平性を達成する。

ABSTRACT

This study distinguishes the weak fairness property from the strong fairness property which is necessary in the quantum key agreement (QKA) and shows that most of the existing QKAs cannot achieve the strong fairness property with a key manipulation problem.To solve this problem, a model which describes the way to design a QKA with the strong fairness property is proposed. Based on the model, an example QKA is presented. Security analyses show that the proposed QKA is effective to resist not only outsider's eavesdropping attack but also insider's key manipulation.

研究の動機と目的

• 量子鍵配布（QKA）における弱い公平性と強い公平性を区別し、鍵生成における公平性にとって強い公平性が不可欠であることを特定する。
• 既存のQKAプロトコルに存在するギャップに対処し、内部者による鍵操作に脆弱であるため、強い公平性を達成できないことが一般的であることを明らかにする。
• 強い公平性を内蔵するQKAプロトコルを設計するための形式的モデルを提唱する。
• 提案されたモデルに基づく具体的なQKAプロトコルを提示し、外部の盗聴および内部の操作に対して両方とも耐性があることを保証する。
• 一般的な量子攻撃および公平性の侵害に対して本プロトコルの耐性を示すセキュリティ分析を提供する。

提案手法

• 著者らは、強い公平性を、いかなる参加者も最終鍵の結果を偏らせることができない性質として定義する。
• 2名の参加者間で共有されるエンタングルド・ベル状態に対して、対称的な準備とユニタリ操作に基づくプロトコルモデルを導入する。
• 各参加者はユニタリ操作を用いて自身のキュービットを準備および測定し、鍵生成における対称的な関与を保証する。
• 本プロトコルはベル状態のシーケンスとユニタリ操作を用いて、両参加者が最終鍵に均等に貢献できるように設計されている。
• 中間者攻撃を防ぐために、測定結果の検証に古典的認証チャネルを用いる。
• 個々の攻撃および集団的攻撃の両方の下でセキュリティを分析し、盗聴および鍵操作に対する耐性を示している。

実験結果

リサーチクエスチョン

• RQ1 既存の量子鍵配布プロトコルは、いかなる参加者も最終鍵を操作できないという強い公平性を達成できるか？
• RQ2 量子鍵配布の文脈において、弱い公平性と強い公平性の違いは何か？
• RQ3 QKAプロトコルを形式的に設計することで、強い公平性を保証できるか？
• RQ4 両参加者が均等に貢献し、最終鍵を偏らせないよう保証するメカニズムは何か？
• RQ5 提案されたプロトコルは、盗聴および内部者による鍵操作攻撃の両方に対して耐性を示せるか？

主な発見

• 本稿では、既存の大多数のQKAプロトコルが、一方の参加者が鍵を操作可能であるため、強い公平性を達成していないことが立証されている。
• 本稿で提案するプロトコルは、ベル状態におけるユニタリ操作を通じて両参加者の対称的な関与を実現することにより、強い公平性を保証している。
• セキュリティ分析により、本プロトコルが個々の攻撃および集団的攻撃（盗聴を含む）に対して安全であることが確認された。
• 本プロトコルは、両参加者の測定結果とユニタリ操作が最終鍵の決定に不可欠であるため、内部操作に対して耐性を示している。
• 本モデルは、将来のQKAプロトコルに強い公平性を保証する一般枠組みを提供する。
• 本プロトコルの設計により、参加者がプロトコル手順から逸脱しても、最終鍵の結果を変更することは不可能であることが保証されている。