論文の概要: Incorporating device characterization into security proofs
- arxiv url: http://arxiv.org/abs/2508.15383v1
- Date: Thu, 21 Aug 2025 09:21:12 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-08-22 16:26:46.258643
- Title: Incorporating device characterization into security proofs
- Title（参考訳）: セキュリティ証明へのデバイスキャラクタリゼーションの導入
- Authors: Ernest Y. -Z. Tan, Shlok Nahar,
- Abstract要約: 製造者のQKD機器のモデルパラメータの認証や特徴付け方法を示す。
このような手続きから有効に引き出すことが可能で、かつ不可能な結論の様々な形態について述べる。
また、構成可能なセキュリティフレームワークとの接続や、その方向で解決すべき技術的側面についても論じます。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Typical security proofs for quantum key distribution (QKD) rely on having some model for the devices, with the security guarantees implicitly relying on the values of various parameters of the model, such as dark count rates or detector efficiencies. Hence to deploy QKD in practice, we must establish how to certify or characterize the model parameters of a manufacturer's QKD devices. We present a rigorous framework for analyzing such procedures, laying out concrete requirements for both the security proofs and the certification or characterization procedures. In doing so, we describe various forms of conclusions that can and cannot be validly drawn from such procedures, addressing some potential misconceptions. We also discuss connections to composable security frameworks and some technical aspects that remain to be resolved in that direction.
- Abstract（参考訳）: 量子鍵分布(QKD)の典型的なセキュリティ証明は、デバイスに何らかのモデルを持つことに依存しており、セキュリティ保証は暗カウントレートや検出器効率など、モデルの様々なパラメータの値に暗黙的に依存している。
したがって、実際にQKDをデプロイするには、製造者のQKDデバイスのモデルパラメータを認証し、特徴付ける方法を確立する必要がある。
本稿では,このような手順を厳格に分析する枠組みを提案し,セキュリティ証明と認証・評価手順の双方に具体的な要件を定めている。
このようにして、そのような手続きから有効に引き出すことができず、潜在的な誤解に対処できない様々な形式の結論を記述する。
また、構成可能なセキュリティフレームワークとの接続や、その方向で解決すべき技術的側面についても論じます。
関連論文リスト
- Security of quantum key distribution with source and detector imperfections through phase-error estimation [0.3749861135832072]
量子鍵分布(QKD)は、量子力学に基づく情報理論のセキュリティを約束するが、実際の実装はデバイス不完全性によるセキュリティ上の脆弱性に直面している。
近年の進歩は、位相誤差推定に基づくセキュリティ証明フレームワークにおけるソースと検出の不完全性に別々に対処している。
BB84型プロトコルの既存の手法を組み合わせることで、ソースおよび検出器の欠陥を同時に考慮した統一されたセキュリティ証明を構築することができることを示す。
論文 参考訳（メタデータ） (2025-07-04T12:58:12Z) - Numerical security analysis for quantum key distribution with partial state characterization [0.34952465649465553]
本稿では,準備・測定および測定・デバイスに依存しないQKDプロトコルの秘密鍵レートを評価する新しいセキュリティ証明手法を提案する。
提案手法は, 達成可能なシークレットキーレートの観点から, 部分状態のキャラクタリゼーションに対処する現在の解析手法より優れていることを示す。
論文 参考訳（メタデータ） (2025-03-10T12:08:25Z) - Security of high-speed quantum key distribution with imperfect sources [1.2815904071470707]
不完全なエンコーダは、変調欠陥、サイドチャネル、パルス間相関を通じて量子鍵分布(QKD)システムのセキュリティを侵害する。
本稿では、一般的な符号化不完全性を組み込んだコヒーレント攻撃に対する有限鍵セキュリティ証明手法を提案する。
論文 参考訳（メタデータ） (2023-05-10T07:02:32Z) - Joint Differentiable Optimization and Verification for Certified
Reinforcement Learning [91.93635157885055]
安全クリティカル制御システムのためのモデルベース強化学習では,システム特性を正式に認定することが重要である。
本稿では,強化学習と形式検証を共同で行う枠組みを提案する。
論文 参考訳（メタデータ） (2022-01-28T16:53:56Z) - SMT-Based Safety Verification of Data-Aware Processes under Ontologies
(Extended Version) [71.12474112166767]
我々は、このスペクトルで最も調査されたモデルの1つ、すなわち単純なアーティファクトシステム(SAS)の変種を紹介する。
このDLは適切なモデル理論特性を享受し、後方到達性を適用可能なSASを定義することができ、対応する安全問題のPSPACEにおける決定可能性をもたらす。
論文 参考訳（メタデータ） (2021-08-27T15:04:11Z) - Certifiably Robust Variational Autoencoders [74.28099923969754]
敵攻撃に対して確実に堅牢な変分自動エンコーダ(VAE)を訓練するためのアプローチを提案する。
VAEの再構築を変更するために必要な入力摂動の最小サイズの行動可能な境界を導出する。
これらのパラメータをどのように制御できるかを示すことにより、VAEが望ましいレベルの堅牢性を達成するためのメカニズムを提供します。
論文 参考訳（メタデータ） (2021-02-15T13:56:54Z) - Evaluating the Safety of Deep Reinforcement Learning Models using
Semi-Formal Verification [81.32981236437395]
本稿では,区間分析に基づく半形式的意思決定手法を提案する。
本手法は, 標準ベンチマークに比較して, 形式検証に対して比較結果を得る。
提案手法は, 意思決定モデルにおける安全性特性を効果的に評価することを可能にする。
論文 参考訳（メタデータ） (2020-10-19T11:18:06Z) - SMT-based Safety Verification of Parameterised Multi-Agent Systems [78.04236259129524]
パラメータ化マルチエージェントシステム(MAS)の検証について検討する。
特に、与えられた状態公式として特徴づけられる不要な状態が、所定のMASで到達可能かどうかについて検討する。
論文 参考訳（メタデータ） (2020-08-11T15:24:05Z) - Quantum key distribution with correlated sources [1.7499351967216341]
理論上、量子鍵分布(QKD)は情報理論のセキュリティを提供する。
しかし、実際には、セキュリティ証明で使われる仮定と実際の装置の動作の相違によるものではない。
ここでは、任意の長距離パルス相関によるQKDの安全性を証明するための、単純だが一般的な方法を導入することにより、このギャップを埋める。
論文 参考訳（メタデータ） (2019-08-22T09:05:17Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。