A2ABreak揭示A2A协议11个新漏洞

A2ABreak 是首篇针对由 Linux Foundation 管理的 Agent2Agent (A2A) 协议进行的系统性安全分析，该协议旨在作为多智能体生态系统的水平通信层以补充 MCP。研究团队构建了一个基于 LLM 辅助提取验证有限状态机的新框架，从 929 条形式化陈述中统一建模出包含 37 个状态和 76 个转换的模型，并在完全合规假设下通过对抗性验证发现了 11 个新的协议级漏洞。 这些漏洞无需任何实现缺陷即可被符合规范的对手利用，具体包括通过未受保护上下文标识符进行的跨客户端上下文注入、委托链中因多跳身份丢失导致的凭证窃取，以及通过宣传未证实能力主张的恶意代理进行的数据泄露。实验数据显示，该方法在人工专家评审对照下达到了 73.3% 的精确率和 84.6% 的 F1 分数，而同一规范下的零样本 LLM 基线则未发现任何确认结果，证明了显式形式化基础对于健全协议安全分析的必要性。 事实层面确认了 A2A 协议规范本身存在设计缺陷，推断表明当前多智能体互操作标准在落地前需重新审视其认证与委托机制，猜测则是若不及时修复，大规模部署后可能引发跨组织信任危机。