論文の概要: Cross-Interface Authorization for AI Computer-Use Agents

• arxiv url: http://arxiv.org/abs/2610.41397v1
• Date: Fri, 30 Oct 2026 08:07:51 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-11-02 22:05:31.653689
• Title: Cross-Interface Authorization for AI Computer-Use Agents
• Title（参考訳）: AIコンピュータ利用エージェントのインタフェース間認証
• Abstract要約: 固定バージョン付きコンピュータ・ユース・デプロイメントのためのプロファイル境界プロトコルを提案する。 効果のあるルートと耐久性のあるシンクを列挙し、ルート・ツー・シンクの強制的カットをチェックし、コミット時に経路、効果、認可、トレース、プロファイル、在庫、権限のある状態を検証します。
• 参考スコア（独自算出の注目度）: 4.805352087824778
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Computer-use agents act through graphical interfaces, command lines, APIs, scripts, and Model Context Protocol servers. A policy decision can be interface-invariant while its executable authorization is not: another route can bypass mediation, alter a security-relevant default, or commit after the authorized state has changed. We present a profile-bounded protocol for a fixed, versioned computer-use deployment. It enumerates effect-bearing routes and durable sinks, checks a route-to-sink enforcement cut, normalizes each concrete request to a canonical effect, issues a route-bound prepare ticket, and verifies the route, effect, grant, trace, profile, inventory, and authoritative state again at commit. A committed result requires an agreeing sink receipt. Under explicit assumptions, we prove profile-bounded refinement, matched-effect decision invariance, resistance to alternate-route laundering and declared cross-surface recomposition, commit-time state safety, and receipt-grounded outcomes. The reference profile registers 12 effect families, five interfaces, and 60 routes. Two structurally distinct runtime mappings produce 3,464 traces over 1,732 scenarios each: 960 commits, 2,312 denials, and 192 commits after re-preparation. An independent checker accepts every retained trace and pair and rejects 26/26 semantic regressions; coverage and normalizer suites reject 24/24 and 720/720 mutants; and 168/168 commit probes match their declared outcomes. A frozen-source audit passes 52 checks over 12 files from two independent hybrid runtimes and one public authorization substrate. Source-shaped adapter refinements commit 48/48 instrumented calls and reject 15/15 unbound cases. The resulting guarantees bind the declared profile and its effect semantics.
• Abstract（参考訳）: コンピュータ利用エージェントはグラフィカルインターフェース、コマンドライン、API、スクリプト、Model Context Protocolサーバを介して動作する。 別のルートは仲介をバイパスしたり、セキュリティ関連のデフォルトを変更したり、承認された状態が変更された後にコミットしたりできる。 固定バージョン付きコンピュータ・ユース・デプロイメントのためのプロファイル境界プロトコルを提案する。 効果のあるルートと耐久性のあるシンクを列挙し、ルート・ツー・シンクの強制的カットをチェックし、各具体的な要求を標準的効果に正規化し、ルートバウンドの準備チケットを発行し、コミット時に経路、効果、認可、トレース、プロファイル、在庫および権限のある状態を検証します。 コミットされた結果には、同意するシンクレシートが必要です。 明示的な仮定では, プロファイル境界の洗練, 一致した決定不変性, 代替ルートの洗浄に対する抵抗性, 地表面の分解, コミットタイム状態の安全性, およびレシートグラウンドの結果が証明される。 参照プロファイルは、12のエフェクトファミリー、5つのインターフェース、60のルートを登録する。 2つの構造的に異なるランタイムマッピングは、1,732のシナリオに対して3,464のトレースを生成する。 独立したチェッカーは保持されたすべてのトレースとペアを受け入れ、26/26のセマンティックレグレッションを拒絶する;カバレッジと正規化ツールスイートは24/24と720/720のミュータントを拒絶する;そして168/168のコミットプローブは宣言された結果と一致している。 凍結ソース監査は、2つの独立したハイブリッドランタイムと1つのパブリック認証基板から12以上のファイルをチェックします。 ソース型のアダプタリファインメントは、48/48のインスツルメンテーションコールをコミットし、15/15のアンバウンドケースを拒否する。 その結果得られた保証は、宣言されたプロファイルとその効果セマンティクスをバインドする。

関連論文リスト

• CATP: Design and Evaluation of Local Agent Authorization and Audit Evidence [1.2691047660244335]
  署名された認可記録は、署名者が主張したものを認証するが、それ自体は、アサーションが実行時決定に使用されるポリシーとアクションに一致することを証明していない。 CATPは、ローカルな実行前決定をオフラインで検証可能な証拠に伝達するために必要な結合を指定する。
  論文  参考訳（メタデータ） (2026-09-28T04:06:20Z)
• Relic: From Multi-Agent Collaboration to Persistent Organizational Capability [37.80629799707573]
  繰り返し発生するコラボレーションの失敗を組織所有の実行可能なプロトコルに変えるRelicを紹介します。 メンバーは目に見える仕事を反映し、ルールを提案し、採用を管理します。 新たなメンバ転送では、動作の正確性は25.4%で、継承されたプロトコルが無く、34.6%が可読性テキストと同じルールで、41.2%が実行可能バインディングである。
  論文  参考訳（メタデータ） (2026-09-26T21:55:49Z)
• Runtime Authorization for Resources Acquired by AI Agents [4.805352087824778]
  充足後のアクティベーションギャップは、ツールによる作成、エージェント間デリゲート、エージェントコマースにまたがる。 本稿では,実行時認証アーキテクチャを提案する。 検疫,バック,非増幅,非回避分割,クラッシュ/リトライ,返金,エポック,エフェクトの8つの安全性特性を実証する。
  論文  参考訳（メタデータ） (2026-09-13T19:16:44Z)
• AgentProv: Auditing Agentic LLM API Providers via Tool-use Policy Probes [38.37599802008238]
  商用LLM APIは特定の基盤モデルを宣伝するが、提供されたバックボーンは静かに代用され、定量化され、あるいはラップされることがある。 既存の監査はすべて、テキスト出力チャネルからバックボーンアイデンティティを決定する。 本稿では,AgentProv(AgentProv)について紹介する。
  論文  参考訳（メタデータ） (2026-08-30T08:22:12Z)
• Disagree to Explore, Agree to Commit: Routing-Guided Test-Time Scaling for Software Agents [60.650808962786364]
  外部判断や選択時間テストの実行なしに,ネイティブなMoEルータトレースがステアリングと選択をガイドできるかどうかを検討する。 我々の分析は、ルーティングが堅牢な行動的役割シグナルを提供することを示している。トークン・グラニュラ・リードアウトと決定整合比較セットは、ルーティングを効果的に制御する。 オープンウェイトスパースMOEエージェントを用いたSWEベンチ検証を行い,評価を行った。
  論文  参考訳（メタデータ） (2026-08-23T03:07:03Z)
• From Traceability to Justifiability: Accountability Structures in Agentic Software Engineering [0.0]
  公開資料のみから、AIレコードがクレームを表現できるかどうか、宣言された場所を保持できるかどうかを測定する。 188個の二重グレード細胞で、デフォルトレコードが行動システムのコンテンツアイデンティティを出力するプラットフォームは見つからなかった。 計器は、パイプラインが発行した排気のみからの保証深度を計算し、宣言された深さと比較する。
  論文  参考訳（メタデータ） (2026-08-21T16:45:00Z)
• AID-Guard: Stateful Authorization for Delegated Agent Effects [0.0]
  AID-Guardはステートフルな認可から効果のあるクロージャプロトコルである。 コミット時に承認された要求とプロバイダ状態を再検証し、曖昧さの下で1つの予約を保持し、端末結果の後にのみリリースまたは1つの後継を許可する。
  論文  参考訳（メタデータ） (2026-08-21T14:31:29Z)
• QuoteBench: How Matched Scores Can Hide Command-Path Failures [30.480838412827907]
  実行スコアだけでは、ジェネレーションエラーとジェネレーション後に導入された失敗を区別できない。 QuoteBenchはこの境界線を、インシデントから派生した14のファミリーから56のワンショットタスクに対して正確に最終状態の検証を行う。 コマンド発行エージェントの評価は、一致したスコアを本質的なモデル特性として扱うよりも、モデル構成、生成契約、実行経路、操作点、最終状態などを報告すべきである。
  論文  参考訳（メタデータ） (2026-08-13T17:57:20Z)
• Looping Is Not Reliability: State-Bound Evidence and Typed Revision Contracts for Agentic Code Repair [36.56438114281786]
  正しいパッチの発見と保持、検証、提出のギャップについて検討する。 我々はエビデンスバウンド型ループ契約を導出し、その機械的に強制可能なサブセットを参照実装でインスタンス化する。
  論文  参考訳（メタデータ） (2026-07-27T16:05:23Z)

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

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