arXiv:2608.21159cs.CRcs.AI2026-08被引 1

解决代理任务授权后重复执行问题,确保一次授权仅产生一个效果。

AID-Guard: Stateful Authorization for Delegated Agent Effects

论文配图:AID-Guard: Stateful Authorization for Delegated Agent Effects
图 1 · 摘自论文原文
  • 在提交时重新验证请求和提供者状态,实现授权到效果的闭环控制。
  • 13次真实变更无越权调用,40个终端-后续调度无重复效果。
  • 适合高安全要求的自动化系统,尤其适用于金融类接口调用。

使用工具的AI代理将委托任务转化为提供者效应,但授权常止于准入,而提供者状态、交付、重试与恢复过程持续变化。请求可能在提交前改变,或响应丢失可能导致一次批准生成两次效应。我们提出AID-Guard,一种状态化授权到效应闭包协议。它在提交时重新验证已批准的请求与提供者状态,保留单一预留以应对模糊情况,并仅在终端结果或经认证无效应且有交付屏障后才允许释放或继任。对于支持的提供者合约,一次预留最多仅产生一个效应,涵盖重试与恢复。据我们所知,这是首个在完整生命周期中统一此等控制的经评估的代理授权协议。我们实现了基于Python/SQLite的原型。在声明的环回MCP域中,13次活跃变异未引发越权提供者效应,三组并发历史可线性化,证据包支持公开验证与回放。全部210次Stripe提供者合约试验均匹配预声明结果。在Stripe与Resend上,40个终端-继任调度、30个重叠竞争、10个崩溃恢复调度均无重复效应完成。在完全提议者受损情况下,AID-Guard阻止了44/44次攻击,同时接纳了44/44次合法提案。其严格精确清单配置使良性效用下降35.4至43.8个百分点;类型边界恢复了9-10次完成而未观测到不安全效应。组合研究阻止了20/20次提交后生命周期攻击,同时保留了8/8次有效或精确重试执行。结果表明,在评估的影响路径库、提供者合约及故障调度下,授权到效应绑定得以实现。

原文摘要 · Abstract (English)

Tool-using AI agents turn delegated tasks into provider effects, yet authorization often ends at admission while provider state, delivery, retry, and recovery evolve. A request may change before commit, or response loss may cause a replacement to create a second effect from one approval. We present AID-Guard, a stateful authorization-to-effect closure protocol. It revalidates the approved request and provider state at commit, retains one reservation under ambiguity, and permits release or one successor only after a terminal result or certified no effect with a delivery fence. For supported provider contracts, one reservation yields at most one effect across retry and recovery. To our knowledge, it is the first evaluated agent-authorization protocol to unify these controls in one lifecycle. We implement a Python/SQLite prototype. In a declared loopback MCP domain, 13 live mutations caused no unauthorized provider effects, three concurrent histories were linearizable, and evidence bundles supported public verification and replay. All 210 Stripe provider-contract trials matched predeclared outcomes. Across Stripe and Resend, 40 terminalize-successor schedules, 30 overlapping races, and 10 crash-recovery schedules completed without duplicate effects. Under complete proposer compromise, AID-Guard blocked 44/44 attacks and admitted 44/44 matched legitimate proposals. Its strict exact-manifest profile reduced benign utility by 35.4 to 43.8 percentage points; a typed frontier recovered 9-10 completions without observed unsafe effects. A composition study blocked 20/20 post-admission lifecycle attacks and preserved 8/8 valid or exact-retry executions. The results support authorization-to-effect binding under the evaluated effect-path inventory, provider contracts, and failure schedules.

代理安全授权机制状态管理区块链

Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。