論文の概要: Auditable Session Admission for Cross-Silo Federated Learning

• arxiv url: http://arxiv.org/abs/2607.16559v1
• Date: Sat, 18 Jul 2026 00:06:25 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-07-21 18:48:37.181757
• Title: Auditable Session Admission for Cross-Silo Federated Learning
• Title（参考訳）: クロスサイロ・フェデレーション・ラーニングのための聴取型セッション・アドミッション
• Abstract要約: クロスサイロのフェデレーション学習は生データをローカルに保持するが、組織の境界を越えてどのセッションスコープ操作を実行するかを決めると、デプロイが現実的なボトルネックに陥ることが多い。 本稿では,事前に承認されたセッション機能を境界で実施し,検証可能な決定記録を出力するセッションエントリーゲートウェイを提案する。 我々は,MNISTをサロゲートワークロードとして使用して,クロスサイロFLワークフロー上でのアプローチのエンドツーエンド性を検証した。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Cross-silo federated learning keeps raw data local, but deployments frequently stall on a practical bottleneck when deciding who may invoke which session-scoped operations across organizational boundaries, under constraints that remain auditable after execution. In practice, admission is implemented via centralized policy services, platform configuration, or ad hoc checks, which drift over time and are hard to audit from boundary-visible evidence. We present a session admission gateway that enforces pre-approved session capabilities at the boundary and emits verifiable decision records. During session setup, participating organizations approve roles and constraints and mint signed session capability tokens that enumerate permitted session operations for a given session_id. At runtime, each request carries the token and a request-bound proof-of-possession, making replay and impersonation with stolen tokens detectable at the gateway via request binding. Admission reduces to stateless per-request cryptographic verification and capability matching at an admission gateway, while setup and orchestration remain out of scope and organization-specific. We validate the approach end-to-end on a cross-silo FL workflow using MNIST as a surrogate workload. The proof-of-concept is open-source, containerized, provisioned as code, and includes reproducible tests and evidence logs.
• Abstract（参考訳）: クロスサイロのフェデレーション学習は生データをローカルに保持するが、実行後に監査可能な制約の下で、誰がどのセッションスコープの操作を組織境界を越えて実行するかを決めると、デプロイは事実上のボトルネックに陥ることが多い。 実際には、入場は中央集権的な政策サービス、プラットフォーム構成、またはアドホックチェックを通じて実施され、時間とともにドリフトし、境界から見える証拠から監査することは困難である。 本稿では,事前に承認されたセッション機能を境界で実施し,検証可能な決定記録を出力するセッションエントリーゲートウェイを提案する。 セッション設定の間、参加する組織は役割と制約を承認し、指定されたセッションの許可されたセッション操作を列挙する署名されたセッション機能トークンをマイトする。 実行時に、各リクエストはトークンとリクエストバウンドの証明を持ち、リクエストバインディングを介してゲートウェイで検出された盗まれたトークンでリプレイと偽装を行う。 許可は、入力ゲートウェイにおけるステートレスな暗号検証と能力マッチングに還元されるが、セットアップとオーケストレーションはスコープ外であり、組織固有のものである。 我々は,MNISTをサロゲートワークロードとして使用して,クロスサイロFLワークフロー上でのアプローチのエンドツーエンド性を検証した。 概念実証はオープンソースで、コンテナ化され、コードとしてプロビジョニングされ、再現可能なテストとエビデンスログを含んでいる。

関連論文リスト

• The Verification Gap in Networked Physical AI: A Post-Semantic Communication Framework [0.7896651877485362]
  ネットワーク化された物理AIでは、提案は有効で、タイムリーで、提案に結びついた証拠や、行動の確定に必要な権限がまだ利用できないまま理解される。 我々はこのミスマッチを検証ギャップと呼び、提案生成と物理実行の間のシステムインターフェースのためのポストセマンティック・コミュニケーション・フレームワークを導入します。
  論文  参考訳（メタデータ） (2026-08-20T03:17:20Z)
• KeyPooling: Measuring Where LLM API Relay Paths Collapse Prompt Cache Isolation [53.952294884822955]
  大規模言語モデル(LLM)APIは、顧客の認証を別々に行うが、多くの場合、共有プロバイダ認証を通じて要求を転送する。 KeyPoolingは、キャッシュのルックアップと書き込みを通じて顧客のアイデンティティをトレースする測定方法である。 すべての顧客がプロバイダ強化されたドメインに入る必要があります。
  論文  参考訳（メタデータ） (2026-08-18T08:12:34Z)
• 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)
• Token-Flow Firewall: Semantic Runtime Auditing for Persistent AI Agents [76.4694046738862]
  TokenWallは、エージェントトークンフローのセマンティックファイアウォールとして機能するランタイム防衛フレームワークである。 TokenWallは攻撃成功率を12.5%に抑えつつ、97.4%の良質なパスレートを維持している。
  論文  参考訳（メタデータ） (2026-07-09T12:18:40Z)
• From Tool Connection to Execution Control: Benchmarking Security Invariants in MCP-Style Agent Runtimes [8.419155861590548]
  エージェントが接続から実行に移行すると、セキュリティ決定はクライアント、サーバ、プロンプト、承認ダイアログ、デプロイメント、ログに分割される。 本稿では,実行層不変性を明示的かつテスト可能とし,MPPのようなエコシステムを維持できるかどうかを問う。 MCPスタイルのエージェント実行のためのハンドルキャパビリティプロトコル参照ランタイムであるHCPで、これらの不変性を実装します。
  論文  参考訳（メタデータ） (2026-06-27T20:17:43Z)
• The Path Matters: Learning a Token-Commitment Policy for Diffusion Language Models [52.93186090124315]
  トークンのコミットメントは、再利用可能なトレースステートポリシとして学ぶことができる、と私たちは主張する。 凍結拡散言語モデルのためにこのポリシーをインスタンス化する軽量プラグインコントローラであるTraceLockを紹介する。
  論文  参考訳（メタデータ） (2026-05-23T18:23:46Z)
• Execution Envelopes: A Shared Admission Contract for Backend AI Execution Requests [0.0]
  本稿では,正規化された内部受け入れオブジェクトである実行エンベロープを紹介する。 どのような種類の実行、リクエストされたリソース、リクエストに付随するポリシー関連スコープ、最終的にバックエンドが与えたものを記録します。 中心的な主張は、共有実行承認契約は、現代のAIバックエンドにとって有用な欠落したプリミティブである、ということだ。
  論文  参考訳（メタデータ） (2026-05-08T03:02:38Z)
• Search-Bound Proximity Proofs: Binding Encrypted Geographic Search to Zero-Knowledge Verification [0.0]
  暗号化された地理検索とゼロ知識の近接証明を組み合わせた位置情報ベースのシステムは、2つのフェーズを独立したものとして扱う。 我々はこのギャップを,検索認可証明(SAP)のセキュリティ概念として定式化する。 証拠証拠が証明の外部に残されている証明外部機構は、法医学的誤帰を防ぐことができないことを示す具体的な監査再連想攻撃を通じて示す。
  論文  参考訳（メタデータ） (2026-04-05T00:14:00Z)
• Audit Trails for Accountability in Large Language Models [3.750249890675081]
  大規模言語モデル (LLMs) は、医療、金融、雇用、公共サービス全般にわたる連続的な決定に、ますます組み込まれている。 継続的説明責任のための社会技術的メカニズムとして監査証跡を提案する。 監査証跡は、ライフサイクルイベントや意思決定の時系列的、曖昧で、コンテキストに富んだ台帳である。
  論文  参考訳（メタデータ） (2026-01-28T16:04:33Z)
• zkToken: Empowering Holders to Limit Revocation Checks for Verifiable Credentials [0.0]
  本稿では,時間限定連続検証のための新しいフレームワークを提案する。 このシステムは、検証期間が切れた後の取り消し状態の証明された追跡不能を保証します。 理論的にセキュリティを証明することに加えて、我々はそのアプローチを分析的および実験的に評価する。
  論文  参考訳（メタデータ） (2025-09-15T13:48:41Z)
• SessionIntentBench: A Multi-task Inter-session Intention-shift Modeling Benchmark for E-commerce Customer Behavior Understanding [64.45047674586671]
  本稿では,意図木の概念を導入し,データセットキュレーションパイプラインを提案する。 我々は,L(V)LMsのセッション間意図シフト理解能力を評価するマルチモーダルベンチマークSessionIntentBenchを構築した。 1,952,177の意図的エントリ,1,132,145のセッション意図軌跡,および10,905のセッションを使用してマイニングされた13,003,664のタスクにより,既存のセッションデータを活用可能なスケーラブルな方法を提供する。
  論文  参考訳（メタデータ） (2025-07-27T09:04:17Z)
• Understanding Inter-Session Intentions via Complex Logical Reasoning [50.199811535229045]
  論理セッション複雑質問応答(LS-CQA)の課題について述べる。 セッション,項目,属性を集約したハイパーグラフ上で,LS-CQAタスクとして複雑な意図理解の問題をモデル化する。 新たなモデルであるLSGT(Logical Session Graph Transformer)を導入し,各セッション間のインタラクションとその論理的接続をキャプチャする。
  論文  参考訳（メタデータ） (2023-12-21T14:03:30Z)

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

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