論文の概要: Classical Acceptance Is Not Hybrid Authentication: Measuring X.509 Verifier Semantics in Post-Quantum Migration
- arxiv url: http://arxiv.org/abs/2607.20800v1
- Date: Thu, 23 Jul 2026 00:04:32 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-07-24 18:26:25.250934
- Title: Classical Acceptance Is Not Hybrid Authentication: Measuring X.509 Verifier Semantics in Post-Quantum Migration
- Title（参考訳）: 古典的受容はハイブリッド認証ではない:量子後移行におけるX.509検証セマンティックスの測定
- Abstract要約: ハイブリッドX.509証明書は古典的およびポストクァンタムの資格を持っている。
互換性を維持するために、分離可能な設計は、古典的なパス検証がそれを無視する証拠を置く。
検証者は古典的なパスを検証して受け入れることができるが、ポストクォータムの証拠は決定に従わない。
- 参考スコア（独自算出の注目度）: 8.86633833005628
- License: http://creativecommons.org/licenses/by-nc-nd/4.0/
- Abstract: A relying party validating a hybrid X.509 certificate --- carrying both a classical and a post-quantum credential --- must distinguish whether its accepting judgment rests on the post-quantum evidence or only on the classical path. To preserve compatibility, the separable designs place that evidence where classical path validation may ignore it. A verifier can then validate the classical path and accept while the post-quantum evidence never bears on the decision --- a valid classical result silently promoted to a hybrid conclusion it did not establish. We measure this across eight path-validation stacks (seven independent codebases), in nine validation modes, over six certificate schemes. Under a hybrid-required policy, nearly every stack parsing a separable hybrid certificate accepts on the classical path without making the post-quantum evidence outcome-bearing; one enforcing mode instead fractures interoperability over a signature-input encoding not yet interoperably profiled; and stacks that verify post-quantum signatures still do not enforce the binding by default: the gap is structural, not explained by missing primitive capability alone. Under lifecycle desynchronization the downgrade is realized: when a bound post-quantum credential is revoked while the classical certificate stays valid, the default path still accepts, because the bound credential lies outside the decision's scope. Binding success is not authentication success. We contribute a specification-derived verifier model and an executable, policy-parametric reference contract --- what a verifier must recognize, verify, make outcome-bearing, and check before reporting a validation as hybrid --- with a diagnosis of why standards do not require it.
- Abstract（参考訳）: X.509証明書は、古典的証明とポスト・クァンタムの認証の両方を担っているが、その判断は、ポスト・クァンタムの証拠にかかっているか、または古典的なパスにのみ依存しているかを区別しなければならない。
互換性を維持するために、分離可能な設計は、古典的なパス検証がそれを無視する証拠を置く。
検証者は古典的なパスを検証して受け入れることができるが、量子後証拠は決定に決して従わない - 有効な古典的な結果が、確立しなかったハイブリッドな結論へと黙秘的に促進される。
これを8つのパス検証スタック(7つの独立したコードベース)で、9つの検証モード、6つの認証スキームで測定します。
ハイブリッド要求されたポリシーの下では、分離可能なハイブリッド証明書を解析するほとんどのスタックが古典的なパスを受理するが、量子後証明の結果は得られない。
ライフサイクルの非同期化では、ダウングレードが実現される: 古典的な証明書が有効に保たれている間、バウンド後資格が取り消されると、デフォルトパスは決定の範囲外にあるため、デフォルトパスが受け入れられる。
バインディングの成功は認証の成功ではない。
我々は、仕様由来の検証モデルと実行可能でポリシーパラメトリックな参照契約 – 検証者が認識し、検証し、結果を確認し、バリデーションをハイブリッドとして報告する前に確認しなければならないもの -- に、標準がそれを必要としない理由の診断と共に貢献します。
関連論文リスト
- Authentication in Security Proofs for Quantum Key Distribution [0.0]
量子鍵分配(QKD)プロトコルは、認証された古典的通信に依存している。
実際に構築できる認証チャネルには、異なる特性がある。
この不一致は、標準的なQKDセキュリティ定義と既存のQKDセキュリティ証明を、実際の認証設定で無効にする。
論文 参考訳（メタデータ） (2026-01-25T19:31:15Z) - Proof-Carrying Numbers (PCN): A Protocol for Trustworthy Numeric Answers from LLMs via Claim Verification [0.0]
我々は,機械的検証により数値忠実度を強制するプレゼンテーション層プロトコルであるtextbfProof-Carrying Numbers (PCN) を提案する。
PCNは軽量でモデルに依存しず、既存のアプリケーションにシームレスに統合され、暗号的なコミットメントで拡張できる。
論文 参考訳（メタデータ） (2025-09-08T17:20:16Z) - Secure Quantum Relay Networks Using Distributed Entanglement without Classical Authentication [0.0]
現在の量子通信プロトコルは、メッセージ元検証の古典的な認証に大きく依存している。
古典的認証を完全に回避するセキュアな量子中継ネットワークのための新しいフレームワークを提案する。
論文 参考訳（メタデータ） (2025-07-07T20:25:10Z) - Hierarchical certification of nonclassical network correlations [50.32788626697182]
ネットワークに対して線形および非線形ベル様の不等式を導出する。
我々はこの仮定を挿入し、その結果が実験で証明できる結果に繋がる。
論文 参考訳（メタデータ） (2023-06-27T18:00:01Z) - Experimentally Certified Transmission of a Quantum Message through an
Untrusted and Lossy Quantum Channel via Bell's Theorem [1.0470286407954037]
敵のシナリオでは、認証手法は、基盤となるシステムに過度に信頼を置いている場合、攻撃に対して脆弱である可能性がある。
本稿では、実用的な量子伝送リンクの認証を可能にする、デバイス独立フレームワークにおけるプロトコルを提案する。
フォローアップアプリケーションにおける認証された送信状態の使用の観点から、我々のプロトコルは、送信された量子メッセージ自体の品質を推定できるように、チャネルの認証を超えています。
論文 参考訳（メタデータ） (2023-04-19T12:22:49Z) - Simple Tests of Quantumness Also Certify Qubits [69.96668065491183]
量子性の検定は、古典的検証者が証明者が古典的でないことを(のみ)証明できるプロトコルである。
我々は、あるテンプレートに従う量子性のテストを行い、(Kalai et al., 2022)のような最近の提案を捉えた。
すなわち、同じプロトコルは、証明可能なランダム性や古典的な量子計算のデリゲートといったアプリケーションの中心にあるビルディングブロックであるqubitの認定に使用できる。
論文 参考訳（メタデータ） (2023-03-02T14:18:17Z) - Quantum Proofs of Deletion for Learning with Errors [91.3755431537592]
完全同型暗号方式として, 完全同型暗号方式を初めて構築する。
我々の主要な技術要素は、量子証明器が古典的検証器に量子状態の形でのLearning with Errors分布からのサンプルが削除されたことを納得させる対話的プロトコルである。
論文 参考訳（メタデータ） (2022-03-03T10:07:32Z) - Commitment capacity of classical-quantum channels [70.51146080031752]
古典的量子チャネルに対するコミットメント能力の様々な概念を定義する。
条件エントロピーの観点から上界と下界のマッチングを証明した。
論文 参考訳（メタデータ） (2022-01-17T10:41:50Z) - Certified Everlasting Zero-Knowledge Proof for QMA [10.973034520723957]
QMAの認証ゼロ知識証明と呼ばれる新しい妥協を導入する。
QMAの計算ゼロ知識証明であるが、検証者は量子情報が削除されたことを示す古典的な証明を発行する。
我々は、QMAの証明された永遠のゼロ知識証明を構築した。
論文 参考訳（メタデータ） (2021-09-29T03:05:44Z) - Excluding false negative error in certification of quantum channels [68.8204255655161]
この研究は、たとえ偽陽性の確率が増大しても、偽陰誤差が起こらないシナリオに焦点を当てる。
量子チャネルに対する有限数のクエリの後に、偽の負の誤りを並列に排除できる条件を確立する。
論文 参考訳（メタデータ） (2021-06-04T09:41:11Z) - Quantum-secure message authentication via blind-unforgeability [74.7729810207187]
我々は、ブラインド・アンフォージェビリティ(英語版)と呼ばれる量子敵に対する非フォージェビリティ(英語版)の自然な定義を提案する。
この概念は、予測値に「部分的に盲目」アクセスを使用できる敵が存在する場合、関数を予測可能と定義する。
標準構造と減量支援のためのブラインド・アンフォージェビリティの適合性を示す。
論文 参考訳（メタデータ） (2018-03-10T05:31:38Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。