論文の概要: Beyond the Quantum Promise: A Security Analysis of Classical Control in Quantum Key Distribution
- arxiv url: http://arxiv.org/abs/2608.07626v1
- Date: Fri, 07 Aug 2026 10:18:05 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-08-11 19:16:36.461795
- Title: Beyond the Quantum Promise: A Security Analysis of Classical Control in Quantum Key Distribution
- Title（参考訳）: 量子鍵分布における古典的制御のセキュリティ分析
- Abstract要約: 量子鍵分配(QKD)プロトコルは、量子力学原理を用いて情報理論のセキュリティを提供する。
ETSIとITUTはQKDアーキテクチャとインターフェースを標準化しているが、プロトコルのセキュリティを独立して評価している。
本稿では,ETSIとITUTのQKD仕様に基づくQKDプロトコルを体系的にモデル化する形式的検証フレームワークを提案する。
- 参考スコア（独自算出の注目度）: 1.7842332554022695
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Quantum Key Distribution (QKD) protocols provide information-theoretic security by using quantum mechanical principles. Yet QKD is fundamentally a hybrid protocol: its security depends on the correct integration of the quantum phase with classical post-processing. While ETSI and ITUT specifications standardize QKD architectures and interfaces, they evaluate protocol security in isolation, leaving cross-layer interactions as an underexplored attack surface. This paper introduces a formal verification framework that holistically models QKD protocols based on ETSI and ITUT QKD specifications. Our model is the first hybrid QKD protocol model that supports automated analysis of protocollevel security focusing on how classical operations influence the security guarantees provided by the quantum phase of the QKD protocol. We formalize a comprehensive symbolic model of QKD protocols, based on ETSI and ITU-T QKD specifications, in Tamarin, an automated protocol verifier. Applying this framework, we obtain formal evidence of three specification-level vulnerabilities in ETSI- and ITU-T-grounded protocol models under adversary Eve+: subverted entanglement injection, basis-deferred measurement, and message reflection. Each arises from a classical control-plane omission in the procedure text and is established under a symbolic abstraction rather than as a claim about all practical deployments. We introduce two protocol improvements: measurement commitment and identitybound message authentication codes (MACs). Tamarin verification confirms that these countermeasures eliminate the identified vulnerabilities under Eve+. We have communicated our results and recommendations to relevant standardization organizations.
- Abstract（参考訳）: 量子鍵分配(QKD)プロトコルは、量子力学原理を用いて情報理論のセキュリティを提供する。
しかし、QKDは基本的にはハイブリッドプロトコルであり、そのセキュリティは量子位相と古典的な後処理との正しい統合に依存している。
ETSIとITUTはQKDアーキテクチャとインターフェースを標準化しているが、プロトコルのセキュリティを分離して評価し、層間相互作用を未探索の攻撃面として残している。
本稿では,ETSIとITUTのQKD仕様に基づくQKDプロトコルを体系的にモデル化する形式的検証フレームワークを提案する。
我々のモデルは、QKDプロトコルの量子位相によって提供されるセキュリティ保証にどのように影響するかに焦点を当てた、プロトコルレベルのセキュリティの自動解析をサポートする最初のハイブリッドQKDプロトコルモデルである。
自動プロトコル検証装置である玉林において,ETSI と ITU-T QKD 仕様に基づくQKDプロトコルの包括的シンボルモデルを定式化した。
本稿では, ETSI-およびITU-T-groundedプロトコルモデルにおける3つの仕様レベルの脆弱性を, 逆絡み注入, 基底遅延測定, メッセージリフレクションの3つの公式な証拠を得る。
それぞれがプロシージャテキストの古典的なコントロールプレーンの省略から始まり、すべての実践的な展開に関する主張としてではなく、象徴的な抽象の下で確立される。
プロトコルの改善点として,計測コミットメントとMAC(IDバウンドメッセージ認証符号)の2つを挙げる。
玉林は、これらの対策がEve+の下で特定された脆弱性を排除することを確認している。
我々は、その結果と勧告を関連する標準化組織に伝達しました。
関連論文リスト
- Quantum Meets Statistical-Physical Secrecy: A Novel Hybrid Key Distribution Architecture [26.842576690061566]
ハイブリッド鍵分布アーキテクチャは量子鍵分布(QKD)とKirchhoff-law-Johnson-noise(KLJN)の統計物理鍵交換を併用する。
光BB84型QKDリンクは、並列有線KLJNリンクと協調して動作する。
計算結果から,提案したハイブリッドアーキテクチャにより,短期的インフラにおける鍵生成効率とスループットが向上することが示唆された。
論文 参考訳（メタデータ） (2026-05-14T11:09:06Z) - Rigorous Security Proofs for Practical Quantum Key Distribution [0.0]
この論文は量子鍵分配(QKD)プロトコルの厳密なセキュリティ解析に関係している。
IID集団攻撃に対する可変長QKDプロトコルのセキュリティ証明を確立し、この結果をポストセレクション手法を用いてコヒーレント攻撃に拡張する。
第2に,このプロトコルの観測統計値のみを用いて,エントロピー不確実性関係に基づく位相誤差率と位相誤差率に基づく証明の有界化手法を開発した。
第3に、限界制約付きエントロピー累積定理に基づく、非常に一般的なセキュリティ解析を示す。
論文 参考訳（メタデータ） (2026-04-23T15:48:02Z) - Quantum Key Distribution with Imperfections: Recent Advances in Security Proofs [0.0]
量子鍵分配(QKD)は、2つの空間的に分離されたパーティが情報理論的に安全な暗号化を確立することを可能にする。
広範囲の盗聴戦略に対して堅牢なセキュリティ証明は、いくつかのQKDプロトコルの理論的健全性を確立している。
ほとんどの証明は、そのようなプロトコルに関わる物理系の理想化されたモデルに基づいており、実際的な実装では満たされない仮定を含むことが多い。
論文 参考訳（メタデータ） (2026-02-04T21:16:33Z) - An introductory review of the theory of continuous-variable quantum key distribution: Fundamentals, protocols, and security [35.18016233072556]
連続可変量子鍵分布(CV-QKD)は、セキュアな量子通信のための有望なアプローチである。
CV-QKDは、高いキー生成率、標準の通信インフラとの互換性、フォトニックチップとの統合の可能性などの利点を提供する。
本総説では, CV-QKDの理論について紹介する。
論文 参考訳（メタデータ） (2025-12-01T15:03:19Z) - QKD Oracles for Authenticated Key Exchange [1.3999481573773072]
特に、QKDキーIDの不適切な処理は、AKEに対する依存鍵攻撃につながる。
AKEのセキュリティモデルに組み込むことで,暗号セキュリティ解析のためのQKDオラクルのユーザビリティを実証する。
これは、QKDの情報理論のセキュリティを維持するための、証明可能な最初のハイブリットプロトコルである。
論文 参考訳（メタデータ） (2025-09-15T21:55:55Z) - Secure quantum key distribution against correlated leakage source [20.01403427477703]
量子鍵分布(QKD)は、量子力学に基づく情報理論のセキュリティを提供する。
様々なソースの抜け穴の中で、送信パルス間の相関は重大なが未発見のセキュリティリスクを生じさせる。
相関の下でQKDのセキュリティ解析フレームワークを提案し,有限キー解析を初めて実現した。
論文 参考訳（メタデータ） (2025-07-15T12:23:24Z) - Hybrid Quantum Security for IPsec [1.8637078358591843]
本稿では,IPsec におけるシーケンシャルと並列ハイブリッド QKD-PQC 鍵確立戦略の体系的比較について述べる。
ETSI GS QKD 004 StatefulとETSI GS QKD 014 Stateless API仕様の両方をサポートする。
我々のキーとなる洞察は、並列ハイブリッドアプローチはRFC 9370で処理されるシーケンシャルメソッドに固有の乗法的なレイテンシのペナルティを取り除くことである。
論文 参考訳（メタデータ） (2025-07-12T13:54:04Z) - High-Fidelity Coherent-One-Way QKD Simulation Framework for 6G Networks: Bridging Theory and Reality [105.73011353120471]
量子鍵分布(QKD)は情報理論のセキュリティを保証するための有望なソリューションとして浮上している。
かなり高価なQKD機器のため、QKD通信システム設計ツールの欠如は困難である。
本稿ではQKD通信システム設計ツールを紹介する。
論文 参考訳（メタデータ） (2025-01-21T11:03:59Z) - Practical hybrid PQC-QKD protocols with enhanced security and performance [44.8840598334124]
我々は,量子古典ネットワーク内でQKDとPQCが相互運用するハイブリッドプロトコルを開発した。
特に、それぞれのアプローチの個々の性能に対して、スピードと/またはセキュリティを向上する可能性のある、異なるハイブリッド設計について検討する。
論文 参考訳（メタデータ） (2024-11-02T00:02:01Z) - Empirical Risk-aware Machine Learning on Trojan-Horse Detection for Trusted Quantum Key Distribution Networks [31.857236131842843]
量子鍵分散(QKD)は、送信中に高いレベルのデータセキュリティを提供する暗号技術である。
理論的概念と実践的実装のギャップの存在は、QKDネットワークの信頼性に関する懸念を引き起こしている。
本稿では,時間変動量子チャネル上でのトロイの木馬攻撃のリスク分析を行うリスク認識機械学習手法の実装を提案する。
論文 参考訳（メタデータ） (2024-01-26T03:36:13Z) - Practical quantum secure direct communication with squeezed states [37.69303106863453]
CV-QSDCシステムの最初の実験実験を行い,その安全性について報告する。
この実現は、将来的な脅威のない量子大都市圏ネットワークへの道を歩み、既存の高度な波長分割多重化(WDM)システムと互換性がある。
論文 参考訳（メタデータ） (2023-06-25T19:23:42Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。