論文の概要: Observability for Post-Quantum TLS Readiness: A Multi-Surface Evidence Framework

• arxiv url: http://arxiv.org/abs/2605.02978v1
• Date: Mon, 04 May 2026 01:30:00 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-05-06 19:35:43.557016
• Title: Observability for Post-Quantum TLS Readiness: A Multi-Surface Evidence Framework
• Title（参考訳）: 量子後TLS準備のための可観測性:マルチサーフェスエビデンスフレームワーク
• Abstract要約: トランスポート層セキュリティ(TLS)におけるクォータ後のマイグレーションには、エビデンスを意識した測定が必要である。 量子後TLS観測のための多面的フレームワークを提案する。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Post-quantum migration in Transport Layer Security (TLS) requires evidence-aware measurements that distinguish session negotiation, endpoint capability, certificate-chain evidence, and the provenance of missing observations. This distinction is essential under TLS 1.3 encryption, resumption, mutual TLS, trace truncation, fragmentation, coalescing, active certificate retrieval, and temporal drift. We present a multi-surface framework for post-quantum TLS observability. The framework separates passive session evidence, active probing, certificate-chain evidence, and registry knowledge, and maps them onto measurement planes for session behavior, key establishment, endpoint capability, authentication, lifecycle, observability, and policy. We instantiate it as a reproducible artifact with schema-enforced observations and results, versioned registries, auditable inference rules, stress contracts, and baseline adapters. We evaluate the framework on 29 controlled scenarios spanning TLS 1.2 and TLS 1.3, classical and hybrid key establishment, mutual TLS, resumption, HelloRetryRequest, truncation, fragmentation and coalescing, temporal drift, IPv6, and chain-depth variation. Passive evidence closes session-level planes, active probing establishes capability lower bounds, and multi-surface evidence closes the full measurement object while preserving uncertainty and contradiction when required. Against an inherited TLS quantum-vulnerability analyzer, the baseline detects 2 of 29 runs and 0 of 23 TLS 1.3 runs. In a stratified public campaign over 1000 targets and 2000 fresh probes, the framework completes 1971 handshakes, collects 1368 chain artifacts, confirms hybrid capability for 310 targets, and identifies 310 cases where endpoint capability exceeds what any single classical session view reveals.
• Abstract（参考訳）: トランスポート層セキュリティ(TLS)におけるクォータ後のマイグレーションでは、セッション交渉、エンドポイント能力、証明書チェーンのエビデンス、欠落した観察の証明を区別するエビデンス対応の計測が必要である。 この区別はTLS 1.3暗号化、再使用、相互TLS、トレーストランケーション、断片化、合体、アクティブ証明書検索、時間的ドリフトにおいて必須である。 量子後TLS観測のための多面的フレームワークを提案する。 このフレームワークは、パッシブセッションのエビデンス、アクティブな調査、証明書チェーンのエビデンス、レジストリの知識を分離し、セッションの振る舞い、キーの設定、エンドポイントの能力、認証、ライフサイクル、可観測性、ポリシーの測定プレーンにマップする。 我々は、それを再現可能なアーティファクトとして、スキーマ強化された観察と結果、バージョン付きレジストリ、監査可能な推論ルール、ストレスコントラクト、ベースラインアダプタでインスタンス化する。 TLS 1.2とTLS 1.3にまたがる29の制御シナリオ,古典的およびハイブリッドなキー確立,相互TLS,再使用,HelloRetryRequest,トランケーション,断片化と合体,時間的ドリフト,IPv6,チェーン深度変化を対象としたフレームワークの評価を行った。 パッシブエビデンスはセッションレベルの平面を閉じ、アクティブな探索は能力の低い境界を確立し、多面的エビデンスは必要であれば不確実性と矛盾を保ちながら全測定対象を閉じる。 継承されたTLS量子脆弱性解析器に対して、ベースラインは29回中2回、23回のTLS 1.3回中0回を検出する。 1971年のハンドシェイクを完了し、1368のチェーンアーティファクトを収集し、310のターゲットのハイブリッド機能を確認し、310のエンドポイント能力が古典的なセッションビューで明らかになるものを超える310のケースを特定する。

関連論文リスト

• A Scenario-Based Evaluation of CRQC+AI Vulnerability Spectrum for TLS 1.3 Cryptographic Dependencies [0.2796197251957245]
  本稿では、エビデンス階層モデルの下でTLS 1.3暗号リスクに対する量子的およびAI的加速リスクを評価する。 ML-KEM, ML-DSA, SLH-DSA, AES-256の破片は特定できない。 2026年半ばの時点で、このモデルはNISTが承認したアルゴリズムを破ってはいない。
  論文  参考訳（メタデータ） (2026-08-24T19:31:58Z)
• PhyAgentOS: A Self-Evolving Operating System for Embodied Agents with Decoupled Cognitive Planning and Physical Execution [49.776611937968]
  我々は、スケジューリング、検証、メモリ、ベンチマーク、安全性をシステムレベルのサービスとして提供するPhyAgentOSを紹介します。 セッション中心のセッションは、スケジューリング、互換性、監督された実行、エビデンス収集、受け入れの最小単位として、アクションではなくセッションを扱う。 SessionVerifierは、実行終了とセマンティックタスク完了を、成功、失敗、または再計画のエビデンスに基づいて判断する。 ベンチマークはデプロイメントセッションと検証パスを再利用するので、結果は実際の実行に遡る。
  論文  参考訳（メタデータ） (2026-07-18T04:46:53Z)
• Forensic-Oriented Intrusion Detection Using Synthetic Network Traffic Data and Explainable Artificial Intelligence [0.0]
  本稿では,法科学指向の侵入検知フレームワークを提案する。 合成データ生成、バイナリ分類、説明可能性を統合する。 全ての訓練はSDV+CTGANを介してパラメータ化合成誘導体で実行される。
  論文  参考訳（メタデータ） (2026-07-01T10:47:19Z)
• From Attack Simulation to SIEM Rule: Deterministic Detection-as-Code Synthesis with Probe-Level Traceability [51.56484100374058]
  セキュリティチームは、自身のシステムに対する攻撃をシミュレートして、監視が真の侵入者を捕まえるかどうかをチェックする。 人間はそのギャップを手でブリッジし、それぞれの発見を読み、対応するシグマルールを書きます。 ロックされたコーパスからプローブが引き出されると,この変換が部分的に自動化されることを示す。
  論文  参考訳（メタデータ） (2026-06-03T14:26:25Z)
• Signature Placement in Post-Quantum TLS Certificate Hierarchies: An Experimental Study of ML-DSA and SLH-DSA in TLS 1.3 Authentication [0.0]
  TLS 1.3の量子後移行は、1つのシグネチャアルゴリズムを別のシグネチャに置き換えるフラットな置換問題として理解すべきではない。 本稿では,OpenSSL 3 と oqsprovider をベースとしたTLS 1.3 認証方式に関する実験的検討を行った。
  論文  参考訳（メタデータ） (2026-04-07T17:13:10Z)
• TimelineReasoner: Advancing Timeline Summarization with Large Reasoning Models [54.737142557469916]
  我々は、タイムラインの要約を静的生成からアクティブな推論駆動プロセスに移行するフレームワークであるTimelineReasonerを提案する。 タイムラインの精度,カバレッジ,コヒーレンスの観点から,TimelineReasoner は既存の LLM ベースのTLS 手法よりも優れていることを示す。 この作業はTLSの境界を推し進めるだけでなく、タイムラインの要約のためのLRMベースの推論フレームワークの幅広い可能性を強調している。
  論文  参考訳（メタデータ） (2026-04-03T12:30:15Z)
• COVTrack++: Learning Open-Vocabulary Multi-Object Tracking from Continuous Videos via a Synergistic Paradigm [59.26203051651017]
  C-TAOはOpen-Vocabulary Multi-Object Tracking (OVMOT)のための最初の連続アノテーション付きトレーニングセットである フレームワークボトルネックに対するCOVTrack++は,3つのモジュールによる検出とアソシエーションの双方向相互機構を実現するための相乗的フレームワークである。 TAOの実験では、新しいTAAは検証とテストセットで35.4%、30.5%に達し、新しいAssocAは4.8%、新しいLocAは5.8%向上した。
  論文  参考訳（メタデータ） (2026-03-25T07:20:27Z)
• Layered Performance Analysis of TLS 1.3 Handshakes: Classical, Hybrid, and Pure Post-Quantum Key Exchange [0.0]
  量子後暗号(PQC)アルゴリズムがTLSトランザクションよりもステートフルなHTTPの複数の層に与える影響について検討する。 本稿では,最大100トランザクション毎の負荷テストがロードバランサに送信される実世界の環境をエミュレートする実験室アーキテクチャを提案する。 各テストはTLS 1.3キー交換グループを使用して実行される: 従来の(または非PQC)、ハイブリッドPQC、純粋なPQC。
  論文  参考訳（メタデータ） (2026-03-11T17:27:41Z)
• A TEE-Based Architecture for Confidential and Dependable Process Attestation in Authorship Verification [0.0]
  我々は,Trusted Execution Environments(TEEs)における継続的プロセス検証エビデンス収集のための最初のアーキテクチャを提案する。 我々は,ソフトウェアチャネルの整合性(Tier1)からハードウェアバウンド入力(Tier3)までの段階的な入力保証を備えた,信頼反転敵に対するハードウェアベースタンパ抵抗を提供する。 我々は、TEEクラッシュ、ネットワークパーティション、エンクレーブマイグレーション間のチェーン整合性を維持するレジリエントエビデンスチェーンプロトコルを導入する。
  論文  参考訳（メタデータ） (2026-02-26T20:17:52Z)
• Misbinding Raw Public Keys to Identities in TLS [1.821556502071398]
  本稿では,Raw Public Key (RPK) 認証におけるTLSの安全性について検討する。 このモードはX.509証明書やPre-Shared Keys (PSK)ほど広く研究されていない。 本研究では,適応型 pi calculus と ProVerif 検証ツールを用いた TLS RPK の形式モデルを構築し,RPK モードが識別ミスバインディング攻撃の影響を受けやすいことを示した。
  論文  参考訳（メタデータ） (2024-11-14T19:28:09Z)
• Wild Face Anti-Spoofing Challenge 2023: Benchmark and Results [73.98594459933008]
  顔認証システム(FAS)は、顔認識システムの完全性を保護するための重要なメカニズムである。 この制限は、公開可能なFASデータセットの不足と多様性の欠如に起因する可能性がある。 制約のない環境で収集された大規模で多様なFASデータセットであるWild Face Anti-Spoofingデータセットを紹介した。
  論文  参考訳（メタデータ） (2023-04-12T10:29:42Z)
• End-to-end Tracking with a Multi-query Transformer [96.13468602635082]
  マルチオブジェクトトラッキング(MOT)は、時間とともにシーン内のオブジェクトの位置、外観、アイデンティティを同時に推論する必要がある課題である。 本研究の目的は、トラッキング・バイ・ディテクト・アプローチを超えて、未知のオブジェクト・クラスに対してもよく機能するクラスに依存しないトラッキングへと移行することである。
  論文  参考訳（メタデータ） (2022-10-26T10:19:37Z)
• SMT-based Safety Verification of Parameterised Multi-Agent Systems [78.04236259129524]
  パラメータ化マルチエージェントシステム(MAS)の検証について検討する。 特に、与えられた状態公式として特徴づけられる不要な状態が、所定のMASで到達可能かどうかについて検討する。
  論文  参考訳（メタデータ） (2020-08-11T15:24:05Z)

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

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