[論文レビュー] Simulatable security for quantum protocols

Dominique Unruh|arXiv (Cornell University)|Sep 18, 2004

Quantum Computing Algorithms and Architecture参考文献 23被引用数 35

ひとこと要約

この論文は、反応的シミュレータビリティに基づく量子セキュリティモデルを導入し、古典的で合成可能なセキュリティフレームワークを量子プロトコルに拡張する。古典的BPWフレームワークを密接に模倣することで、単純な合成定理をサポートする量子拡張を確立し、普遍的な合成可能性の原則の下で、量子暗号プロトコルのモジュラー設計および形式的検証を可能にする。

ABSTRACT

The notion of simulatable security (reactive simulatability, universal composability) is a powerful tool for allowing the modular design of cryptographic protocols (composition of protocols) and showing the security of a given protocol embedded in a larger one. Recently, these methods have received much attention in the quantum cryptographic community. We give a short introduction to simulatable security in general and proceed by sketching the many different definitional choices together with their advantages and disadvantages. Based on the reactive simulatability modelling of Backes, Pfitzmann and Waidner we then develop a quantum security model. By following the BPW modelling as closely as possible, we show that composable quantum security definitions for quantum protocols can strongly profit from their classical counterparts, since most of the definitional choices in the modelling are independent of the underlying machine model. In particular, we give a proof for the simple composition theorem in our framework.

研究の動機と目的

• モジュラー設計および安全な合成をサポートする、量子プロトコルの合成可能なセキュリティフレームワークを構築すること。
• 量子セキュリティモデルにおける多くの定義的選択が、量子力学そのものとは独立しており、古典的モデルに由来することを示すこと。
• バックス、ピーツマン、ヴァイドナーの反応的シミュレータビリティフレームワークを量子ドメインに拡張すること。
• 任意のネットワーク環境下で、量子プロトコルの安全性を証明できる形式的モデルを提供すること。
• 将来の形式的証明の簡素化の基盤を築くこと。

提案手法

• バックス、ピーツマン、ヴァイドナーの反応的シミュレータビリティ（RS）フレームワークを、量子セキュリティモデリングの基盤として採用する。
• 密度作用素およびヒルベルト空間を含む、量子力学的形式主義を用いて、量子マシンおよび量子ネットワークを定義する。
• 理想プロトコルが外部の攻撃者に対して実プロトコルと区別できない、シミュレーションベースのセキュリティ定義を導入する。
• ステップバイステップのアルゴリズム（A11）を用いて、量子ネットワークにおける状態の進化、測定、メッセージ送信をシミュレートするプロトコル実行をモデル化する。
• 完全なフォン・ノイマン測定および状態遷移作用素を用いて、プロトコルの状態変化および通信をモデル化する。
• 視認可能な個々の参加者のビューを記録し、実世界と理想世界の間で比較する、トレースに基づく実行モデルを確立する。

実験結果

リサーチクエスチョン

• RQ1 古典的反応的シミュレータビリティフレームワークは、量子プロトコルのための一貫性があり、合成可能なセキュリティモデルを提供するために拡張可能か？
• RQ2 量子セキュリティモデルにおける定義的選択は、システムの基本的な量子力学的性質とはどの程度独立しているか？
• RQ3 提案された量子セキュリティモデルにおいて、単純な合成定理が成り立つか？
• RQ4 過度な複雑さを伴わずに、量子環境下での形式的証明をどのように構造化できるか？
• RQ5 スケジューリングおよびメッセージバッファリングの実用的影響は、量子プロトコルの合成においてどのような意味を持つのか？

主な発見

• 提案された量子セキュリティモデルは、古典的反応的シミュレータビリティフレームワークの直接的な拡張であり、その合成可能性の保証を維持する。
• モデルは単純な合成定理をサポートしており、量子プロトコルの安全なモジュラー合成を可能にする。
• セキュリティ定義により、任意の攻撃者が実プロトコルとやり取りする場合、理想化された安全なバージョンと計算的に区別できないことが保証される。
• フレームワークは、セキュリティモデリングの核心的な定義的選択が、基盤となるシステムが古典的か量子的かにかかわらず、一般に適用可能であることを示している。
• 量子ネットワークの挙動をシミュレートする形式的実行アルゴリズム（A11）が定義され、状態の準備、測定、メッセージ送信を含む。
• モデルの整合性にもかかわらず、著者は形式的証明が依然として複雑で取り扱いにくく、将来的な簡素化の必要性を示唆している。