防御arXiv 2610.04699
CoVer：用干预检验为 Agent 构造可判定规则边界
提出 COVER，用干预门判定 Agent 规则谓词能否自动执行
- arXiv
- 2610.04699
- 发表
- 层
- 应用层
- 场景
- AI Agent
- 被测模型
- Claude Sonnet、Claude Opus、GPT-4o 等 5 个
摘要自可判定不能向模型索取。
这篇工作测的是智能体验证器在检查之前的分流：外部规则里的哪条谓词能用固定过程解决，哪条必须交给评审。
- 评测与基准arXiv 2609.37501
RegLLM：面向受监管智能体 AI 的有限自主性诊断测试框架
提出 REGLLM 框架，评测受监管智能体何时作答或升级
- arXiv
- 2609.37501
- 发表
- 层
- 应用层
- 场景
- AI Agent
- 被测模型
- Qwen2.5-3B
- 风险Agent 危险操作
- 组件权限与沙箱
摘要REGLLM 把升级对错做成可核验信号，并在 smoke 规模上看到适配器方向被运行方差淹没。
REGLLM 是诊断有界自主的框架，示例是 UK FCA 合规智能体。作者把它做成 smoke 规模演示，而不是完整基准验证。
- 防御arXiv 2609.11757
研究者披露 AP2 支付协议的 Whisper 提示注入攻击并提出 A-VIP 防御
提出 AP2 支付协议的 Whisper 攻击与 A-VIP 绑定防御
- arXiv
- 2609.11757
- 发表
- 层
- 应用层
- 场景
- AI Agent
- 被测模型
- gemini-2.5-flash-lite、gemini-3.1-flash-lite、gemini-3-flash-preview 等 15 个
摘要论文揭示了 AP2 协议决策层受操纵的风险，提出结构化与权能绑定防御 A-VIP，并发布评测基准。
摘要两层证明记录放出字节与边授权。
部署方侧的两层证明，用来在多智能体跨部署方委托之后回答两个事后问题：谁放出了这些字节，这条跨部署方边有没有父方授权。
- 分析与理论arXiv 2609.00060
论文用 Tamarin 形式化分析 x402、MPP、ACP、AP2 四个智能体支付协议
用 Tamarin 形式化分析智能体支付协议的跨阶段安全关系
- arXiv
- 2609.00060
- 发表
- 层
- 应用层
- 场景
- AI Agent
- 被测模型
- x402、MPP、ACP 等 4 个
- 组件权限与沙箱
- 攻击arXiv 2608.29381
研究者提出 Agent 检查点回滚的五类安全失效，并在 Hermes、Cline、LangGraph 上实现三种攻击
提出利用检查点回滚破坏 Agent 执行连续性的攻击
- arXiv
- 2608.29381
- 发表
- 层
- 应用层
- 场景
- AI Agent
- 组件权限与沙箱
摘要论文系统研究了智能体 C/R 的安全性，分析了合法回滚破坏执行连续性的机理，并实证评估了其普遍性与危害。
已经到底了