論文の概要: Who Assures the Verifier? An Executable Assurance-Locus Audit of the European Digital Identity Wallet
- arxiv url: http://arxiv.org/abs/2609.26220v1
- Date: Tue, 11 Aug 2026 11:37:03 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-09-28 05:09:55.927635
- Title: Who Assures the Verifier? An Executable Assurance-Locus Audit of the European Digital Identity Wallet
- Title（参考訳）: 検証者が誰であるか保証する : 欧州のデジタルIDウォレットにおける実行可能な保証-損失監査
- Abstract要約: 我々は,現在の法則,アーキテクチャ・リファレンス・フレームワーク(ARF)3.0.0,ETSIメタデータ,FCAFスコープ,3つのピン付きオープンソース検証を行う。
3つの異種研究による実装は、ミスマッチがゼロで、パス間の不一致がゼロである108のケースを実行する。
本稿では,代替品や財布の認証,登録,監督を補完するシステム・アズ・ア・テスト・エビデンス・ユニットを提案する。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: The European Digital Identity Wallet (EUDI Wallet) architecture places material duties on relying parties: they register services and intended uses, authenticate to Wallet Units, validate presentations and trust anchors, and make risk-based status decisions. Wallet certification and the emerging Functional Conformance Assessment Framework provide increasingly structured wallet-side evidence. A different question remains: what independently rerunnable evidence shows that the concrete relying-party verifier version used in a transaction enforced the applicable request, presentation and reliance-decision controls? We conduct an assurance-locus audit of current law, Architecture and Reference Framework (ARF) 3.0.0, ETSI metadata, FCAF scope and three pinned open-source verifier codebases. We then design a 17-rule research profile, a machine-readable evidence receipt and 36 frozen synthetic transactions. Three heterogeneous study-authored implementations (Python, JavaScript and jq) execute 108 cases with zero oracle mismatches and zero cross-path disagreements. The experiment establishes determinism and implementability of the proposed decision model, not product conformance or certification. Source inspection finds substantial protocol-verification mechanisms in all three public codebases but no single audited evidence object joining RP registration and purpose, exact verifier/policy version, transaction verdict and downstream attribute use. We therefore propose an RP-as-system-under-test evidence unit that complements, rather than displaces, wallet certification, registration and supervision. A preregistered census of 26 appointed experts is prepared to test content validity and governance feasibility; recruitment awaits the applicable ethics/data-protection determination.
- Abstract（参考訳）: 欧州デジタルIDウォレット(EUDI Wallet)アーキテクチャは、サービスと意図された使用を登録し、ウォレットユニットに認証し、プレゼンテーションと信頼の保証を検証し、リスクベースのステータス決定を行う。
ウォレット認証と新たな機能適合評価フレームワークは、ますます構造化されたウォレット側の証拠を提供する。
トランザクションで使用される具体的な依存者検証バージョンが、該当する要求、プレゼンテーション、および依存度決定制御を強制したことを示す、独立した再実行可能な証拠は何か?
本稿では,現在の法則,アーキテクチャ・参照フレームワーク(ARF)3.0.0,ETSIメタデータ,FCAFスコープ,3つのピン留めされたオープンソース検証コードベースの保証・監査を行う。
次に、17ルールの研究プロファイル、機械可読な証拠レシート、36の冷凍合成トランザクションを設計する。
3つの異質な研究認可実装(Python、JavaScript、jq)は、オラクルミスマッチがゼロで、パス間の不一致がゼロである108ケースを実行する。
この実験は、製品適合性や認証ではなく、提案された決定モデルの決定性と実装性を確立する。
ソースインスペクションでは,3つの公開コードベースすべてにおいて,実質的なプロトコル検証機構が確認されているが,RP登録と目的,正確な検証/ポリシバージョン,トランザクションの検証と下流属性の使用を対象とする監査済みのエビデンスは存在しない。
そこで我々は,代替品や財布の認証,登録,監督を補完するシステム・アズ・ア・テスト・エビデンス・ユニットを提案する。
事前登録された26人の専門家による国勢調査は、コンテンツの有効性とガバナンスの可能性をテストする準備が整い、採用は適用可能な倫理・データ保護の決定を待つ。
関連論文リスト
- From Capability to Assurance in Autonomous Penetration-Testing Harnesses: A Framework and Reference Implementation [0.0]
我々は、保証プロパティはハーネス、ランタイムがモデルをラップし、コードで強制できると主張している。
まず,5つの保証特性(証拠的根拠,非破壊的クレームの低減,計算された重大度,強制的認可,明白な説明責任)の枠組みを定義する。
次に,フレームワーク内の代表システム(PentestGPT,Cochise参照ハーネス,MAPTA,PentestJudge)を公開コーディング基準を用いて配置し,一貫した保証ギャップを同定する。
第三に、あるオープンソース実装であるNeuroSploitを正確にコミットし、そのアーキテクチャ、そのアーキテクチャを報告する。
論文 参考訳（メタデータ） (2026-09-19T00:37:49Z) - Conformal Privacy Auditing: Calibrated Re-identification Attacks with Statistical Guarantees [57.41572512458446]
公開されたテキストからの経験的アイデンティティリークは、大きな言語モデル(LLM)とドキュメントを個人にリンクするための補助的な知識を組み合わせた攻撃者によって駆動される。
本稿では,各文書の再識別リスクの統計証明を提供する分散フリーキャリブレーションフレームワークであるConformal Privacy Auditingを紹介する。
論文 参考訳（メタデータ） (2026-09-18T05:49:54Z) - ClaimReceipt: Verifying Evidence Sufficiency and Coverage in Agent Evaluations [0.39287497907611874]
ClaimReceiptは、型付きトランザクションエビデンスを署名された実験マニフェストにバインドし、クレーム毎にPASS、INVALID、INCONCLUSIVEを返す。
1,392の歴史的買い手-売り手記録では、CR-2検証者は手動でラベル付けされた監査の評定を全て再現し、600の決定論的および762のポストジェネレーションレコードを正確に再生する。
推論の前に30のアサインがコミットされ、端末のレシートが署名され、連鎖され、監査人のためにプライベートエビデンスが暗号化される。
論文 参考訳（メタデータ） (2026-09-02T02:00:02Z) - A Formal Analysis of Agent Payment Protocols [21.91506763477032]
自動商取引における重要なトランザクション層としてエージェント支払いプロトコルが登場している。
我々はタマリンでx402,MPP,ACP,AP2の4つの代表エージェント支払いプロトコルを定式化した。
ソースバックの検証質問と反例トレースを使用して、欠落したバインディング、状態制約、およびステージ横断の対応を公開します。
論文 参考訳（メタデータ） (2026-08-30T14:04:15Z) - A Verifier-Centric Conceptual Model for Digital Credential Ecosystems [0.0]
2つの分解に基づいて構築された検証器中心の概念モデルを提案する。
我々は、相互運用の障害、検証側負担、オフラインの検証可能性、プライバシーへの影響、および要素間比較が未解決のままである用語的曖昧さについて説明する。
論文 参考訳（メタデータ） (2026-07-12T12:59:26Z) - TRUST: A Framework for Decentralized AI Service v.0.1 [47.384270414446604]
大規模推論モデル (LRM) とマルチエージェントシステム (MAS) は, 信頼性の高い検証を必要とする。
TRUST(Transparent, Robust, and Unified Services for Trustworthy AI)は,3つのイノベーションを備えた分散フレームワークである。
我々は、悪質な俳優が損失を被っている間、正直な監査人の利益を確実に確保する安全利益理論を証明する。
論文 参考訳（メタデータ） (2026-04-29T19:32:58Z) - IMMACULATE: A Practical LLM Auditing Framework via Verifiable Computation [49.796717294455796]
経済的なモチベーションのある逸脱を検出するための実践的な監査フレームワークIMMACULATEを提案する。
IMMACULATEは、検証可能な計算を用いて少数のリクエストを選択的に監査し、暗号オーバーヘッドを償却しながら強力な検出保証を達成する。
論文 参考訳（メタデータ） (2026-02-26T07:21:02Z) - TrustMee: Self-Verifying Remote Attestation Evidence [0.7491482431654224]
本稿では,遠隔検定の自己検証という概念を紹介する。
Trusteeフレームワークのプラットフォームに依存しない検証ドライバであるTrustMeeとして、この概念を実装します。
論文 参考訳（メタデータ） (2026-02-13T17:56:08Z) - TRUST: A Decentralized Framework for Auditing Large Language Model Reasoning [45.228233498964755]
大規模言語モデルは、意思決定を明らかにする推論チェーンを生成する。
既存の監査手法は集中的で、不透明で、スケールが難しい。
透明で分散化された監査フレームワークであるTRUSTを提案する。
論文 参考訳（メタデータ） (2025-10-23T04:16:44Z) - Towards Credential-based Device Registration in DApps for DePINs with ZKPs [46.08150780379237]
ブロックチェーン上のデバイス認証を検証するクレデンシャルベースのデバイス登録(CDR)機構を提案する。
本稿では,Groth16 と Marlin を用いた zkSNARK を用いた汎用システムモデルを提案し,CDR を技術的に評価する。
論文 参考訳（メタデータ） (2024-06-27T09:50:10Z) - OpenFactCheck: Building, Benchmarking Customized Fact-Checking Systems and Evaluating the Factuality of Claims and LLMs [59.836774258359945]
OpenFactCheckは、カスタマイズされたファクトチェックシステムを構築するためのフレームワークである。
ユーザーは自動的にファクトチェッカーをカスタマイズし、文書やクレームの事実的正当性を検証できる。
CheckerEVALは、人間の注釈付きデータセットを使用して、自動ファクトチェッカーの検証結果の信頼性を高めるソリューションである。
論文 参考訳（メタデータ） (2024-05-09T07:15:19Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。