論文の概要: ZK-Trace: Certified Collusion Tracing with Zero-Knowledge Credentials for Federated GNSS Interference Monitoring
- arxiv url: http://arxiv.org/abs/2609.08763v1
- Date: Tue, 08 Sep 2026 14:00:29 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-09-10 19:44:08.673039
- Title: ZK-Trace: Certified Collusion Tracing with Zero-Knowledge Credentials for Federated GNSS Interference Monitoring
- Title（参考訳）: ZK-Trace:Federated GNSS Interference Monitoringのためのゼロ知識クレデンシャルを用いた認証コラボレーショントレース
- Abstract要約: ZK-Traceは、公開IDマーク、受信者固有のTardos指紋、およびゼロ知識認証を組み合わせる。
レジストリは、漏洩者の協力なしにオフライントレースをサポートする。
- 参考スコア（独自算出の注目度）: 2.611390035495907
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Federated global navigation satellite system (GNSS) monitoring distributes a proprietary classifier to partly trusted stations, any of which may leak its copy. ZK-Trace combines public identity marks, recipient-specific Tardos fingerprints, and zero-knowledge credential verification. The registry supports offline tracing without the leaker's cooperation. We establish conditional false-accusation bounds for arbitrary recovered bit patterns, a finite completeness bound under a hidden-bias residual channel, and a deterministic tracing-score bound for correlated feature-distillation errors. An interval-arithmetic checker makes the conditional bound executable and allocates a common budget across accusation and tamper decisions. Under innocent-row independence, the certificate-based evaluation uses a false-naming budget of 0.001 per investigation. It isolates all 160 single-owner copies and traces 712 of 720 two-owner mixtures without naming an innocent. Experiments use a simulated GNSS federation and CIFAR-10. Feature matching preserves the feature mark in 20/20 runs and cross-architecture transfer in 19/20, at copy-accuracy costs of 4.8 and 6.1 percentage points on GNSS and CIFAR-10. Function-only distillation erases the feature mark, and distillation also removes weight-space marks. These results support verifiable tracing under explicit statistical and cryptographic assumptions. Credential knowledge and recipient evidence serve distinct roles.
- Abstract（参考訳）: フェデレートされたグローバルナビゲーション衛星システム (GNSS) は、そのコピーを漏洩させる可能性のある、部分的に信頼されたステーションに独自の分類器を配布する。
ZK-Traceは、公開IDマーク、受信者固有のTardos指紋、およびゼロ知識認証を組み合わせる。
レジストリは、リーク者の協力なしにオフライントレースをサポートする。
我々は、任意の復調ビットパターンに対する条件付き偽判定境界、隠れバイアス残差チャネルの下での有限完全性、相関する特徴蒸留誤差に対する決定論的トレーススコア境界を確立する。
インターバル・アセスメティック・チェッカーは条件付きバウンダリを実行可能とし、告発と改ざん決定をまたいで共通の予算を割り当てる。
無実の独立の下では、証明書に基づく評価は、調査毎に0.001という誤った名前の予算を使用する。
160のコピーを分離し、720の2つのミキシングのうち712を無実の名前を付けることなく追跡する。
実験では、シミュレーションされたGNSSフェデレーションとCIFAR-10を使用する。
特徴マッチングは、GNSSとCIFAR-10のコピー精度4.8と6.1のコストで、20/20ランと19/20でクロスアーキテクチャ転送で特徴マークを保っている。
機能のみの蒸留は特徴マークを消去し、また重量空間のマークも除去する。
これらの結果は、明示的な統計的および暗号的仮定の下で検証可能なトレースをサポートする。
認証知識と受理証拠は、異なる役割を担っている。
関連論文リスト
- SoK: Where Do Flow Labels Come From? Auditing Label Provenance in Encrypted Traffic Benchmarks [5.044786941116112]
暗号化されたトラフィック分類は、トランスポート層オブザーバブルからのフローレコードを超えたセマンティクスを推論する。
近年の体系化では、モデルインプットとデータ分割を精査し、補完ラベル側を体系化している。
14のベンチマーク項目で2つの繰り返しラベル側戦略を同定した。
論文 参考訳（メタデータ） (2026-09-02T05:51:42Z) - CUSTOS: Toward Forensic-Ready Zero Trust at the Capture-Containment Boundary [1.1458853556386797]
CUSTOSは、法医学的管理ポイント(FMP)を中心にした、法医学的なZT参照アーキテクチャである。
常時オンの判定記録は、ゲートウェイ上で1.9～3.0%のスループットコストで取得され、ハッシュチェーンされる。
以上の結果から, 鑑識対応型ZTは, 常にオンの床と有界な反応性キャプチャの両方を必要とすることが明らかとなった。
論文 参考訳（メタデータ） (2026-08-17T19:17:15Z) - Level, Sharpness, and Corpus: Why Zero-Shot OOD Detector Rankings Do Not Transfer [36.02174685737611]
各検出器は、少なくとも1つのドメインで80%$ FPR95 を超え、所望の検出器は、分配データと基礎となる VLM の両方に依存する。
本稿では, ベース検出器, レベル, シャープネスの非補償融合により, 補完的証拠を保存する検出器非依存ラッパーであるComplementary Evidence Guard(CEG)を紹介する。
論文 参考訳（メタデータ） (2026-07-29T08:00:49Z) - Looping Is Not Reliability: State-Bound Evidence and Typed Revision Contracts for Agentic Code Repair [36.56438114281786]
正しいパッチの発見と保持、検証、提出のギャップについて検討する。
我々はエビデンスバウンド型ループ契約を導出し、その機械的に強制可能なサブセットを参照実装でインスタンス化する。
論文 参考訳（メタデータ） (2026-07-27T16:05:23Z) - TRACE-CTI: Auditable Post-Extraction Governance of TTP Claims with Knowledge Graphs [4.960649631468518]
TRACE-CTIは、抽出後のクレーム管理フレームワークである。
実行レベルの予測を構成レベルのGraphAssertionに集約する。
これはConsensusAssertionsとしてセットアップdedlicated corroborationを具体化する。
論文 参考訳（メタデータ） (2026-07-27T15:33:18Z) - Consistent Evidence, Robust Recognition: Faithful Attribution Regularization under Geometric Transformations [42.90321348046055]
画像領域のサブモジュール探索に基づくアノテーションのない属性正規化フレームワークを提案する。
候補部分集合がモデル出力にどのように影響するかを測定することで、探索は、コンパクトでクラス識別的な証拠を探索由来の監督として抽出する。
ImageNet-100の実験結果から,VT-B/16の属性安定性,挿入性,削除性は0.28ポイントの精度低下で大幅に向上することがわかった。
論文 参考訳（メタデータ） (2026-07-26T20:41:38Z) - Fantastic Adaptive Taxonomies and How to Use Them [100.20614173157708]
AdaMASTは、実行トレースをコンパクトでエビデンスに基づく障害分類に変換する。
コードには手書きのコードはなく、人間による注釈もない。
エージェント・システム・サーチでは、失敗候補の分類コード診断が自由形式より優れている。
論文 参考訳（メタデータ） (2026-07-17T17:41:16Z) - Beyond Logprobs: A Multi-Signal Confidence Engine for LLM-Based Document Field Extraction [2.1997815944423516]
ExtractConfはクロスドメインでフィールドに依存しない信頼性エンジンである。
同じ文書の2つの構造的に異なる読影において、信頼度を推定する。
0.928ROC AUCを達成し、logprob-meanよりも選択的な予測リスクを70%削減する。
論文 参考訳（メタデータ） (2026-06-23T10:58:08Z) - SentinelRAG: Synthetic Sentinel Knowledge for RAG Database Copyright Protection [44.7327467106684]
SentinelRAGは、スタイル一貫性はあるが架空の知識エントリをRAGデータベースに埋め込む。
我々の重要な洞察は、虚偽の実体を記述する合成知識は、正当なクエリーによって回収される可能性は低いということである。
本手法は,正規ユーザクエリに対する無視可能な干渉を維持しつつ,誤検出率を大幅に低減する。
論文 参考訳（メタデータ） (2026-06-04T07:19:56Z) - Distributional Energy-Based Models for Uncertainty-Aware Structured LLM Reasoning [40.342912574072024]
大規模言語モデルは、旅行計画やコードソリューションのような構造化されたアウトプットを生成する。
個々の推論ステップは正しく見えるが、アウトプット全体が予算に違反したり、テストケースに失敗したり、あるいは以前の推論に矛盾することがある。
構造化LCM出力の検証のための決定論的解析制約付き学習品質スコアラを提案する。
論文 参考訳（メタデータ） (2026-05-15T17:08:27Z) - Beyond Code Reasoning: Specification-Anchored Auditing of Multi-Implementation Distributed Protocols [1.5229705287183657]
SPECAは、明示的で分類されたセキュリティプロパティを自然言語仕様から導き出し、実装間で再利用する監査フレームワークである。
RepoAuditのベンチマークでは、SPECAは100%リコール(F1=0.94)で88.9%の精度に達し、著者が検証した12のバグを地上の真実を超えて表面化している。
Sherlock Fusaka Audit Contest(10のターゲット、366の応募)では、SPECAが専門家が強化した15の脆弱性をすべて回復し、4つの修正確認バグが浮上した。
論文 参考訳（メタデータ） (2026-04-29T09:57:07Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。