该论文关注自主软件代理代替用户进行购物与支付的场景。当前主流的代理支付协议（如 AP2）会对已完成的购买生成密码学有效的签名，但这些签名只保证交易动作在协议层面合法，并不约束代理形成该决策的过程。由此产生一个结构性缺口：普通的商品描述文本即可作为注入载体（论文称为“耳语攻击”/Whisper Attacks），把购物代理引导到构造一个通过全部协议校验、却与用户原始请求不符的购物车。论文据此提出并验证了三种相关攻击。第一种，代理被诱导去获取另一名用户的支付凭证。第二种，代理组装出一个签名有效但内容与用户先前所看到的不一致的购物车。第三种，只需一条关于库存或产品来源的事实性声明，就能让代理从页面展示的较便宜商品转向更昂贵的商品，而最终购物车与商品列表信息仍然完全自洽——也就是说没有任何明显的篡改痕迹。实验部分使用 AP2 示例代理默认指定的 Gemini Flash-Lite 模型，三种攻击的成功率分别达到 90%、56% 和 73.3%。作者进一步验证该缺陷并非单一模型问题：它在十七个 Google 模型、三个互不相关的代理框架、两个跨厂商锚点以及 Google 自家的消费级助手上均复现。针对这一攻击面，作者提出 A-VIP（AP2 Verified-Intent Protection），一种协议层防御。其核心思路是不去评判商家描述文本是否“可信”，而是把已签名的意图视为一次能力授予（capability grant）：每一次凭证查询都绑定到发起该查询的会话，每一条购物车行项都绑定到用户实际看到的那份商品列表，同时对未经授权的支出进行标记。按论文报告，前两种攻击会留下结构性痕迹，这些绑定机制可以在零误报的前提下将其阻断；第三种攻击不留痕迹，因此 A-VIP 采取将未授权支出浮现给用户确认的策略。论文最后公开了 A-VIP 的代码、经过机器校验的不变式（machine-checked invariants），以及包含 1,544 个评估场景的 AP2-WhisperBench 测试集。

该论文针对AI代理支付协议这一新兴的自主商业交易层进行了系统性的形式化安全分析。研究背景在于，AI代理正被授权代表用户购买商品与服务并执行支付，而与传统支付流程不同，此类协议将用户意图、委托授权、凭据使用、结算和履约分散到多个参与方与多个协议阶段，导致单一消息或单一参与者无法强制执行完整的安全保障。然而，现有协议规范、模式和参考实现中的安全保证大多隐式存在，缺乏系统的形式化验证。论文选择了四种具有代表性的代理支付协议：x402、MPP、ACP和AP2，并在Tamarin验证器中对其建模。作者基于代理支付生命周期的公共抽象，构建了源自源码的模型，捕获各协议的角色、状态、信任假设及生命周期转换。分析并非先验地假定完整的属性分类，而是通过源码支撑的验证问题和反例轨迹，揭示缺失的绑定关系、状态约束和跨阶段对应性，并将结果归纳为18条共享安全原则。在总共86个验证案例中，研究复现了46个已知或校准案例，并识别出40个此前未记录的正式一致性发现。对于每个保留的违规案例，作者隔离出缺失的协议关联，构建最小增强的参考模型，并重新验证目标属性。论文还针对x402的新发现评估了三个实现，并通过实现PoC、SDK/模式级证据和源码对齐的可执行轨迹验证了十项代表性发现，涉及五项安全原则。结果表明，委托授权必须与其在跨参与方、状态和协议阶段所产生的经济与服务效果保持一致。该研究适合对AI代理支付安全、形式化验证、协议分析感兴趣的学者与安全工程师阅读，为相关协议的设计与审计提供了可复用的方法论和具体发现。

本文对x402协议（一种用于机器间支付的HTTP支付协议）进行了首次系统性安全分析。x402协议旨在为代理经济提供程序化金融轨道，但其将同步HTTP请求与异步区块链最终性相结合，引入了状态同步挑战。研究者形式化了五个安全不变量（Security Invariants），揭示了当前实现未能强制执行事务原子性和密码学上下文绑定，导致系统性漏洞。具体而言，发现了签名设计中的语义缺口允许跨资源替换，即支付证明可被移植到其他未授权上下文；同时暴露了时间缺口，并发竞态条件可导致概率性服务重复。在AI推理场景中，动态定价模型容易受到额度透支和基础设施速率限制的攻击。研究者针对官方SDK和在线部署验证了这些漏洞，表明攻击者可利用动态授权方案中的同步差距，迫使商家补贴计算成本，在生产中间件上实现高达100%的资源泄漏。最后，提出了架构缓解措施，包括请求绑定签名和悲观状态锁定，以保障自主代理的金融轨道安全。所有已发现问题已向Coinbase和ThirdWeb披露。