論文の概要: Runtime Authorization Consistency Checking for MCP-based Agentic Workflows

• arxiv url: http://arxiv.org/abs/2609.23498v1
• Date: Sun, 20 Sep 2026 09:32:57 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-09-24 16:37:31.084494
• Title: Runtime Authorization Consistency Checking for MCP-based Agentic Workflows
• Title（参考訳）: MCPベースのエージェントワークフローにおける実行時認証一貫性チェック
• Abstract要約: 本稿では,コントローラ側ツールコール境界における軽量ガードであるRACを紹介する。 RACは承認を、承認されたワークフローステップによって実行時状態として扱う。 RACは、制御された計画とプランナーが生成した計画の両方において、承認の欠落を減らしていることを示す。
• 参考スコア（独自算出の注目度）: 1.3466167990010287
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Agentic systems increasingly fulfill user requests through multi-step tool workflows over files, services, and external resources. In these workflows, isolated per-call checks can miss a workflow-level failure: each call may be locally admissible, but the sequence can exceed the authorization boundary established for the session. We identify this failure mode "authorization drift." To address this problem, we present Runtime Authorization Consistency Checking (RAC), a lightweight guard at the controller-side tool-call boundary. RAC treats authorization as runtime state carried by accepted workflow steps. For each pending action, it reconstructs a trusted authorization event from controller-observed metadata and admits the call only when it remains no more permissive than the basis inherited through accepted lineage. Rejected steps are excluded from lineage, so later continuations can draw support only from accepted workflow history. Our evaluation shows that RAC reduces missed authorization drift across both controlled and planner-generated workflows. On the 1,248-workflow TraceBench suite, RAC has no missed-block cases, while the strongest Static+History baseline misses 509 of 1,008 oracle-BLOCK workflows. On a high-confidence observable subset of blind LLM-generated plans, RAC reaches 92.8% block recall, compared with 68.8% for the strongest baseline. In the real MCP filesystem planner replay, RAC stops nine unsafe continuations before server execution, with sub-millisecond p99 checking latency.
• Abstract（参考訳）: エージェントシステムは、ファイル、サービス、外部リソース上の多段階ツールワークフローを通じて、ユーザ要求をますます満たします。 これらのワークフローでは、分離された呼び出しごとのチェックはワークフローレベルの障害を見逃す可能性がある。 我々はこの障害モードを「認可ドリフト」と識別する。 この問題に対処するために、コントローラ側ツールコール境界における軽量ガードであるRuntime Authorization Consistency Checking (RAC)を提案する。 RACは承認を、承認されたワークフローステップによって実行時状態として扱う。 保留中のアクションごとに、コントローラが保存したメタデータから信頼できる認証イベントを再構築し、承認された系統によって継承された基盤以上に寛容でない場合にのみ、呼び出しを許可する。 削除されたステップは系統から除外されるため、後続の継続は受け入れられたワークフロー履歴からのみサポートを引き出すことができる。 評価の結果,RACは制御ワークフローとプランナー生成ワークフローの両方において,承認の欠落を低減できることがわかった。 1,248 のワークフロー TraceBench スイートでは、RAC にはミスブロックのケースはなく、最も強力な Static+History ベースラインは1,008 の Oracle-BLOCK ワークフローの 509 を欠いている。 盲目のLCM生成計画の信頼性の高い観測可能なサブセットでは、RACは92.8%のブロックリコールを達成したが、最強のベースラインは68.8%だった。 実際のMPPファイルシステムプランナのリプレイでは、RACはサーバ実行前に9つの安全でない継続を停止し、ミリ秒以下のp99チェックのレイテンシが保証される。

関連論文リスト

• Turning Interaction History into Execution State: A Runtime Layer for Long-Horizon Coding Agents [48.967927222079965]
  Ledgerは、エージェントの完了したインタラクションを明示的な実行状態に蒸留するランタイム層である。 Ledgerはこの状態をオンライン実行台帳に保持し、各ステップの2つのバウンダリに適用される。 500のSWE-bench検証インスタンス全体で、LedgerはPass@1を56.2%から64.2%に、GPT-5 miniを75.8%から81.0%に、MiniMax M2.5を81.0%に引き上げている。
  論文  参考訳（メタデータ） (2026-08-01T18:25:00Z)
• AiFlow: Token-Native Reactive Orchestration with Bounded Backpressure for Streaming LLM Applications [0.0]
  本稿では,プロバイダデルタを型付きContextT>イベントに正規化する,トークンネイティブなリアクティブオーケストレーションモデルであるAiFlowを提案する。 AiFlowはプロバイダ側のTTFTを変更しないが、アプリケーションTTFPTを70.9-94.7%削減し、宣言されたバウンダリ内でランタイム所有キューの深さを維持する。
  論文  参考訳（メタデータ） (2026-08-01T09:33:29Z)
• ClawArena-Team: Benchmarking Subagent Orchestration and Dynamic Workflows in Language-Model Agents [61.184954205350984]
  ClawArena-Teamは、41のマルチターン、マルチモーダル、マルチエージェントシナリオのベンチマークである。 全体的なスコア -- Subagent-Management Score (SMS) -- は、タスクの正しさを最小限のプライマリとモダリティのルーティング因子によって乗算する。
  論文  参考訳（メタデータ） (2026-06-30T06:06:08Z)
• Verify-Gated Completion as Admission Control in a Governed Multi-Agent Runtime: A Bounded Architecture Case Study [0.6875312133832079]
  制御されたマルチエージェントランタイムの入出力制御パターンとして,検証ゲート補完について検討する。 観測条件下では,読み取り専用検証ゲートとパケット化入力記録が検査可能で,フェールクロースされた。
  論文  参考訳（メタデータ） (2026-05-18T07:52:13Z)
• Claw-Eval-Live: A Live Agent Benchmark for Evolving Real-World Workflows [67.92316850084575]
  ワークフローエージェントのライブベンチマークであるClaw-Eval-Liveを紹介する。 各リリースは、公開ワークフロー要求信号から構築される。 Claw-Eval-Liveは実行トレース、監査ログ、サービス状態、実行後のワークスペースアーティファクトを記録する。
  論文  参考訳（メタデータ） (2026-04-30T17:23:19Z)
• SDOF: Taming the Alignment Tax in Multi-Agent Orchestration with State-Constrained Dispatch [0.0]
  制約状態マシンとしてマルチエージェント実行を扱うフレームワークであるSDOFを提案する。 Beisen iTalentプラットフォームが支援する採用システムでは、専門家による185のシナリオが1671のライブAPIコールを起動する。 GSPO 対応 7B Intent Router は,この FSM 制約付き逆ルーティングベンチマークにおいてゼロショット GPT-4o よりも高いジョイント精度を実現する。
  論文  参考訳（メタデータ） (2026-04-20T12:51:39Z)
• HiveMind: OS-Inspired Scheduling for Concurrent LLM Agent Workloads [0.0]
  モチベーションのインシデントでは、11の並列エージェントのうち3つがコネクションリセットとHTTP 502エラーで死亡しました。 HIVEMINDは5つのOSにインスパイアされたスケジューリングプリミティブを適用し,非協調並列実行による障害モードを除去する透過的なHTTPプロキシである。
  論文  参考訳（メタデータ） (2026-04-18T18:59:33Z)
• DoVer: Intervention-Driven Auto Debugging for LLM Multi-Agent Systems [48.971606069204825]
  DoVerは、大規模言語モデル(LLM)ベースのマルチエージェントシステムのための介入駆動デバッグフレームワークである。 ターゲットの介入を通じて、アクティブな検証によって仮説生成を増強する。 DoVerは失敗試験の18～28%を成功させ、最大16%のマイルストーンを達成し、失敗仮説の30～60%を検証または否定する。
  論文  参考訳（メタデータ） (2025-12-07T09:23:48Z)

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

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