分析与理论arXiv 2609.10854
MCPSEC：仅凭工具元数据检测 MCP 服务器间接提示注入漏洞
提出 MCPS EC，仅凭 MCP 工具元数据检测间接提示注入
- arXiv
- 2609.10854
- 发表
- 层
- 应用层
- 场景
- AI Agent
- 测试
- GPT-5.4
- 分析与理论arXiv 2609.00060
论文用 Tamarin 形式化分析 x402、MPP、ACP、AP2 四个智能体支付协议
用 Tamarin 形式化分析智能体支付协议的跨阶段安全性质
- arXiv
- 2609.00060
- 发表
- 层
- 应用层
- 场景
- AI Agent
- 测试
- x402、MPP、ACP 等 4 个
- 风险Agent 危险操作
- 组件权限与沙箱
已经到底了