論文の概要: 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（参考訳）: セキュリティ証明へのデバイスキャラクタリゼーションの導入
• 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デバイスのモデルパラメータを認証し、特徴付ける方法を確立する必要がある。 本稿では,このような手順を厳格に分析する枠組みを提案し,セキュリティ証明と認証・評価手順の双方に具体的な要件を定めている。 このようにして、そのような手続きから有効に引き出すことができず、潜在的な誤解に対処できない様々な形式の結論を記述する。 また、構成可能なセキュリティフレームワークとの接続や、その方向で解決すべき技術的側面についても論じます。

関連論文リスト

• ProofPulse: Interactive Proof Coverage Analysis for Dafny [47.23158426199152]
  帰納的検証は、実装がその仕様を満たすことを保証しますが、成功した検証は仕様の品質を保証しません。 本稿では,3値の証明カバレッジモデルを用いて,仕様品質を診断するDafny用ツールであるProgrampulseを提案する。
  論文  参考訳（メタデータ） (2026-08-31T14:00:31Z)
• Phase-error estimation for quantum key distribution with leaky receivers [0.0]
  量子鍵分布(QKD)受信機は、測定結果に関する情報をチャネルにリークすることができる。 位相誤差推定に基づく簡単な有限鍵セキュリティ証明を試作・測定QKDのために提案する。
  論文  参考訳（メタデータ） (2026-08-10T14:49:28Z)
• Numerical security analysis for practical quantum key distribution [0.0]
  量子鍵分布(QKD)は、量子力学と理想化されたデバイスモデルに基づく情報理論のセキュリティを約束する。 一般的なコヒーレント攻撃に対して有効な汎用数値有限鍵セキュリティフレームワークを提案する。 我々は,レーザ源を用いた現実的なデコイ状態QKD実装の安全性を証明することで,我々のフレームワークのパワーを実証する。
  論文  参考訳（メタデータ） (2026-05-13T04:27:03Z)
• 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)
• 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)
• Ring-A-Bell! How Reliable are Concept Removal Methods for Diffusion Models? [52.238883592674696]
  Ring-A-Bellは、T2I拡散モデルのためのモデルに依存しないレッドチームツールである。 これは、不適切なコンテンツの生成に対応する拡散モデルに対する問題的プロンプトを特定する。 この結果から,安全プロンプトベンチマークの操作により,既存の安全メカニズムを回避できると考えられるプロンプトを変換できることが示唆された。
  論文  参考訳（メタデータ） (2023-10-16T02:11:20Z)
• 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)
• Prospects for device-independent quantum key distribution [0.0]
  デバイス独立量子鍵分布(DIQKD)は、最小限の仮定でセキュアな鍵分布を実現することを目的としている。 我々は,DIQKDのキーレートと耐雑音性を改善するために,いくつかの手法のセキュリティ証明を示す。
  論文  参考訳（メタデータ） (2021-11-23T10:28:30Z)
• 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)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。