論文の概要: A Security Analysis of Verifiable Credential Verification Pipelines: Attack Surface Arising from JSON-LD/RDFC Canonicalization Compared with SD-JWT VC and mdoc

• arxiv url: http://arxiv.org/abs/2611.04461v1
• Date: Tue, 03 Nov 2026 07:49:18 GMT
• ステータス: 情報取得中
• システム内更新日: 2026-11-04 17:26:40.09491
• Title: A Security Analysis of Verifiable Credential Verification Pipelines: Attack Surface Arising from JSON-LD/RDFC Canonicalization Compared with SD-JWT VC and mdoc
• Title（参考訳）: 検証検証パイプラインのセキュリティ分析:JSON-LD/RDFC正準化による攻撃面生成とSD-JWT VCとmdocの比較
• Abstract要約: 我々は,SD-JWT VC,W3C Verifiable Credentials Data Model 2.0,Data Integrity Cryptosuite eddsa-rdfc-2022,mdocの3つの認証フォーマットの検証パイプラインを評価した。 W3C VCDMでは、リモートコンテクスト解像度とRDFC-1.0標準化から3つの構造的攻撃面を特定し、運動する。
• 参考スコア（独自算出の注目度）: 0.0
• License:
• Abstract: We evaluate, at implementation level and under an explicit threat model, the verification pipelines of three Verifiable Credential (VC) formats: SD-JWT VC; the W3C Verifiable Credentials Data Model 2.0 with the Data Integrity cryptosuite eddsa-rdfc-2022 (W3C VCDM); and mdoc (ISO/IEC 18013-5). For W3C VCDM we identify and exercise three structural attack surfaces from remote context resolution and RDFC-1.0 canonicalization: denial of service (DoS) via poison graphs, context injection through @context, and server-side request forgery (SSRF) reachable via malicious URLs, all at default settings. A poison graph, whose blank-node references are symmetric enough to force RDFC-1.0 into deep recursion, raises it to 278x the baseline from five blank nodes in 527 bytes, and to 13.5 s from eight. Every experiment ran in four environments sharing runtime and library versions; the multiple moves with the machine (251--424x for one input), not with its speed. Cost tracks that symmetry rather than the node count: an acyclic input with 1,500 blank nodes stays at 462--714x. A call limit separates the two: every attack family aborts at 16 or below, every legitimate credential completes at 1, but a shallow, wide recursion, such as the acyclic control, passes whatever the bound. DoS does not presuppose adversarial input: with production education schemas, canonicalization costs 23--34x a simple credential in one environment, 16--49x across four. Effective mitigations are a static document loader, which removes the retrieval latency and both remote-context surfaces; a context allowlist; and a call limit with a size bound. SD-JWT VC and mdoc need neither canonicalization nor external references, and our verifiers resisted every vector evaluated. These are not format-specific defects but properties of the pipeline and its configuration.
• Abstract（参考訳）: SD-JWT VC、W3C Verifiable Credentials Data Model 2.0、Data Integrity Cryptosuite eddsa-rdfc-2022(W3C VCDM)、mdoc(ISO/IEC 18013-5)の3種類の検証パイプラインを実装レベルで評価した。 W3C VCDMでは、リモートコンテキスト解決とRDFC-1.0の標準化による3つの構造的攻撃面を特定し、実行します。 毒グラフは、RDFC-1.0を深い再帰に強制するのに十分な対称性を持ち、527バイトの5つの空白ノードからベースラインを278倍、8から13.5秒に引き上げる。 それぞれの実験はランタイムとライブラリのバージョンを共有する4つの環境で実行され、マシンで複数の動き(1入力で251～424x)は速度で行われない。コストはノード数ではなく対称性を追跡する:1500個の空白ノードを持つ非循環的な入力は462～714xに留まる。 呼び出し制限は2つを分離する: すべての攻撃ファミリーは16以下の攻撃を中止し、すべての正当なクレデンシャルは1で終了するが、非循環的な制御のような浅い広い再帰は境界を通り抜ける。 DoSは、敵対的な入力を前提としていない:プロダクション教育スキーマでは、標準化は、1つの環境で単純なクレデンシャルが23--34倍、4つの環境で16--49倍になる。 効果的な緩和は静的なドキュメントローダで、検索遅延と両方のリモートコンテキストサーフェス、コンテキスト許容リスト、サイズ境界の呼び出し制限を取り除く。 SD-JWT VCとmdocは正準化も外部参照も必要とせず,検証は全てのベクトルに抵抗した。 これらはフォーマット固有の欠陥ではなく、パイプラインとその構成の特性である。

関連論文リスト

• An Empirical Evaluation of Signing and Verification Performance of Verifiable Credential Formats: A Cross-Language Benchmark of SD-JWT VC, W3C VCDM, and mdoc [0.0]
  W3C検証認証データモデル2.0とData Integrity Cryptosuite(W3C VCDM)とmdoc(ISO/IEC 18013-5)の3つの検証認証フォーマット--SD-JWT VCの署名と検証性能の比較を行った。 20の属性の5つのエンドツーエンドの交換では、クラウドVMのNode.jsの合計(発行、現在、検証)はmdocが0.265ms、SD-JWT VCが0.298ms、W3C VCDMが0.534msである。
  論文  参考訳（メタデータ） (2026-11-02T17:35:04Z)
• Davinci-Tool: Scaling Agentic Tool-Use Supervision with Verifiable Executable Environments [65.08394586229379]
  Davinci-Toolは、環境カバレッジと結果の検証を一緒にスケールするために設計された30Bツールの使用モデルである。 Davinci-ToolDataは、復元可能な状態、実行トレース、結果、検証を管理のための統一された基盤として保存する。 Davinci-ToolはQwen3-Coder-30B-A3B-Instructを52.4ドルから88.2ドル、BFCL v4マルチターンで30.4ドルから62.8ドル、MCP-Atlasで16.9ドルから56.2ドルに改善した。
  論文  参考訳（メタデータ） (2026-10-12T14:33:16Z)
• Closed-loop evaluation of LLM agents for embedded software development [43.63232795241617]
  大規模言語モデル(LLM)は、ファイルの編集、ビルドとテストの実行、実行結果の検査、反復的にソフトウェアを修復するコーディングエージェントとして、ますます多くデプロイされている。 組込み符号化エージェントのクローズドループ評価のためのベンチマークを示す。 スイートには5つの組み込みコントロールタスクと4つのフィードバックシナリオが含まれている。
  論文  参考訳（メタデータ） (2026-10-08T08:02:10Z)
• BeTaL-GBI: Admission-Aware Benchmark Tuning and Full-Stack Verification of Geometric Belief Interfaces [2.894286977279531]
  本研究は,企業検証アーキテクチャが要求を監査しつつ,インターフェース障害,タスク能力,ポリシー適合性,整合性を分離できるかどうかを検討する。 BeTaL-GBI v0.2 は LLM-in-the-loop を2,218,750,380 以上のグリッドポイントで適用し、条件付き性能からフォーマットの入力を分離する。 512の総合的なタスクにおいて、16ゲートポリシーは、116の激しい矛盾を全て検出し、99のクリーンレコードを全て受け入れる。幻覚剤とエビデンスフォーガーサロゲートは無音のプロモーションでブロックされる。
  論文  参考訳（メタデータ） (2026-08-21T16:52:38Z)
• Can AI Write Compliant Code, and to What Extent? Evaluating SOC 2 Compliance of Claude Fable 5, Claude Opus 4.8, and Claude Opus 5 Across Four Use Cases [0.0]
  モデル選択は、少なくとも8つのセルにまたがる1つのアイテムにおいて、同世代モデルで重要である。 1つのSOC2文は、すべてのケースを86-100%、23-50ポイントに移動し、すべての安全でない構成を取り除いた。
  論文  参考訳（メタデータ） (2026-08-07T21:48:14Z)
• Fractional Verkle Trees: A Hypertree Decomposition and Verified Proof Serialization Architecture for High-Performance Blockchain State Accumulators [0.0]
  We present Fractional Verkle Trees (FVT), a hypertree serialization decomposition global state into N independent sub-accumulator coordinateed by a Merkle commitment tree。 Apple M1 Proのベンチマークでは、ヒープ割り当ての57%(566,760から242,004バイト/10K$)、並列挿入は2,433 ns/op、ネットワーク全体では6000のフルノードで1年4.85PBである。
  論文  参考訳（メタデータ） (2026-06-15T07:16:07Z)
• Overeager Coding Agents: Measuring Out-of-Scope Actions on Benign Tasks [40.270213696031625]
  OverEager-Genは、良質なタスクの振る舞いをオーバーイーガーするベンチマークである。 クロード・コードでは、同意宣言を削除するだけで、オーバーイーガー率は0.0%から17.1%に上昇する。 オーバーイーガー・ジェン(OverEager-Gen)は、入場前に各シナリオの識別力を認定する。
  論文  参考訳（メタデータ） (2026-05-18T16:00:41Z)
• parallelcbf: A composable safety-filter and auditability framework for tensor-parallel reinforcement learning [0.45470638320073126]
  我々はParallelCBF v0.1.0をApache2.0でリリースし、4層構成可能なAPI、デュアルバリア(二乗/線形予測)CBFのCPUPyTorch参照実装を組み込んだ。 我々は,フレームワークの監査性層が,事前登録された収束基準を満たしない下流トレーニング段階を停止する,代表的なエンドツーエンドパイプライン実行を報告した。
  論文  参考訳（メタデータ） (2026-05-15T01:06:16Z)
• How Far Is Document Parsing from Solved? PureDocBench: A Source-TraceableBenchmark across Clean, Degraded, and Real-World Settings [56.70440596502351]
  昨年は20以上のオープンドキュメントパースモデルが見られたが、ベンチマークはほぼOmniDocBenchにのみ依存している。 HTML/CSSのドキュメントイメージをレンダリングするベンチマークであるPureDocBenchは、10のドメイン、66ページ、1,475ページをカバーしています。
  論文  参考訳（メタデータ） (2026-05-08T09:30:31Z)
• INSIGHT: Indoor Scene Intelligence from Geometric-Semantic Hierarchy Transfer for Public~Safety [41.99844472131922]
  本稿では、登録RGB-Dデータを用いて、2次元画像理解を3次元距離空間に投影するパイプラインであるINSIGHTを提案する。 7つの共有クラスに対してポイントごとのラベル付け精度を報告し、コードでカプセル化されたデプロイ可能な推定値とともに、公開3Dベンチマークから欠落した15の安全クリティカルクラスに対する検出感度を報告した。
  論文  参考訳（メタデータ） (2026-04-25T01:17:45Z)
• WISV: Wireless-Informed Semantic Verification for Distributed Speculative Decoding in Device-Edge LLM Inference [56.297697169678095]
  WISV(Wireless-Informed Semantic Verification)は、分散投機的復号化フレームワークである。 WISVは最大60.8%の許容長の増加、37.3%の対話ラウンドの削減、31.4%のエンドツーエンドレイテンシの改善を実現している。 NVIDIA Jetson AGX OrinとA40搭載サーバからなるハードウェアテストベッド上でWISVを検証する。
  論文  参考訳（メタデータ） (2026-04-20T01:29:56Z)

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

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