分析与理论arXiv 2609.00060·8月30日论文用 Tamarin 形式化分析 x402、MPP、ACP、AP2 四个智能体支付协议用 Tamarin 形式化分析智能体支付协议的跨阶段安全性质arXiv2609.00060发表8月30日层应用层场景AI Agent测试x402、MPP、ACP 等 4 个风险Agent 危险操作组件权限与沙箱深度解读完整解读