[論文レビュー] Cryptographic security of quantum key distribution

Christopher Portmann, Renato Renner|arXiv (Cornell University)|Sep 11, 2014

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

ひとこと要約

本稿は、抽象暗号理論（AC）モデルを用いて、量子鍵配送（QKD）のきめ細やかな暗号的セキュリティ枠組みを確立し、QKDプロトコルが他の暗号プリミティブと合成された場合に安全であることを証明している。QKDプロトコルの合成された誤差が個々の誤差の和で抑えられることを示しており、これによりQKDの鍵がワンタイムパッドや認証チャネルなどの大規模な暗号システムで安全に使用可能であることが保証される。

ABSTRACT

This work is intended as an introduction to cryptographic security and a motivation for the widely used Quantum Key Distribution (QKD) security definition. We review the notion of security necessary for a protocol to be usable in a larger cryptographic context, i.e., for it to remain secure when composed with other secure protocols. We then derive the corresponding security criterion for QKD. We provide several examples of QKD composed in sequence and parallel with different cryptographic schemes to illustrate how the error of a composed protocol is the sum of the errors of the individual protocols. We also discuss the operational interpretations of the distance metric used to quantify these errors.

研究の動機と目的

• QKDの暗号的セキュリティを、他のプロトコルと統合された際にも安全である合成的フレームワーク内で形式化すること。
• 鍵の再利用や部分的漏洩の下で失敗する、過去のQKDセキュリティ定義の限界を解消すること。
• 実システムと理想システムの区別不能性を測る指標としてトレース距離を用いることで、QKDセキュリティのきめ細やかな基礎を提供すること。
• ワンタイムパッドや認証方式などの他のプリミティブと、QKDを逐次的および並列的に安全に合成できる方法を示すこと。
• QKDと認証を繰り返し用いることで、複数ラウンドにわたって安全かつ合成的である鍵拡張が可能であることを示すこと。

提案手法

• QKDを理想鍵リソースをエミュレートするリソースとしてモデル化する抽象暗号理論（AC）フレームワークを用い、敵対者からの区別不能性によってセキュリティを定義する。
• 実QKDプロトコルと理想鍵の間のセキュリティ誤差を測る指標としてトレース距離を採用し、敵対者が両者を区別できないことを保証する。
• シミュレータベースのアプローチを適用：シミュレータが実世界におけるプロトコルの振る舞いを模倣し、セキュリティ条件は実システムと理想システムが誤差ε以内で区別不能であることとする。
• QKDと他のプロトコルの逐次的および並列的合成に関するセキュリティ境界を導出し、合計誤差が個々の誤差の和で抑えられることを示す。
• 1ビット鍵生成器の並列合成として鍵リソースを扱うモジュラー解析を導入し、再帰的鍵拡張を可能にする。
• 合成されたシステムにおける三角不等式を用いて、合成プロトコル全体の誤差がその構成要素の誤差の和で抑えられることを証明する。

実験結果

リサーチクエスチョン

• RQ1 QKDが大規模なシステム内での他の暗号プロトコルと合成された場合に、どのようにして形式的に安全であることが証明できるか？
• RQ2 鍵の一部が後で漏洩しても、QKDプロトコルが依然として安全であることを保証するためのセキュリティ指標は何か？
• RQ3 なぜトレース距離指標が合成的フレームワーク内でのQKDセキュリティを測るために適切なのか？
• RQ4 QKDを認証またはワンタイムパッド方式と、並列的または逐次的にどのように安全に合成できるか？
• RQ5 QKDを繰り返し用いて長期間にわたる鍵拡張が可能であり、合成的セキュリティを維持できるか？

主な発見

• 実際の鍵と敵対者のシステムの結合状態と、理想状態（鍵が一様かつ独立）との間のトレース距離を用いて、QKDのセキュリティが形式的に確立されている。
• 本稿では、QKDに続くワンタイムパッドなどの合成プロトコルにおける合計誤差が、個々の誤差の和で抑えられることを証明しており、合成的セキュリティが保証されている。
• 主な結果として、QKDと認証プロトコルの合成により、誤差が個々のプロトコル誤差の和で抑えられる、安全な長期的鍵拡張メカニズムが得られる。
• このフレームワークにより再帰的鍵拡張が可能である：n回の反復後、プロトコルは長さ nm − (n−1)ℓ の鍵を生成し、合計誤差は n(ε_auth + ε_qkd) となる。
• 解析により、敵対者が鍵の一部を部分的に知ったとしても、トレース距離誤差が小さい限り、残りの鍵は依然として安全であることが示された。
• このフレームワークは、トレース距離を敵対者が実システムと理想システムを区別する最大の利得として、操作的解釈を提供する。