分析与理论arXiv 2609.00060
论文用 Tamarin 形式化分析 x402、MPP、ACP、AP2 四个智能体支付协议
用 Tamarin 形式化分析智能体支付协议的跨阶段安全性质
- arXiv
- 2609.00060
- 发表
- 层
- 应用层
- 场景
- AI Agent
- 测试
- x402、MPP、ACP 等 4 个
- 风险Agent 危险操作
- 组件权限与沙箱
- 评测与基准arXiv 2609.32635
TrustFork：显示身份如何劫持 LLM 智能体编排的权限
提出 TRUSTFORK 基准，评测展示身份劫持多智能体编排权限
- arXiv
- 2609.32635
- 发表
- 层
- 应用层
- 测试
- GPT-5.6-Sol、GPT-5.6-Luna、Kimi-K3 等 8 个
- 攻击提示注入
摘要论文提出了多智能体安全基准 TRUSTFORK，揭示展示身份如何劫持操作权威，并证明事后验证无法弥补已发生的执行破坏。
已经到底了