该论文《A2ABreak: Systematic Security Analysis of the A2A Protocol》针对由 Linux 基金会治理、正在成为多智能体生态水平通信层的 Agent2Agent（A2A）协议开展首次系统性安全分析。A2A 是一个开放标准，允许自主 AI 智能体跨组织边界互相发现、认证并委派任务，其定位与负责工具集成的 Model Context Protocol（MCP）互补，因此 A2A 事实上承担了智能体之间「横向通信」的职责，其安全性直接决定多智能体系统的信任边界是否成立。作者指出，尽管 A2A 部署快速扩张，但此前没有任何工作对其协议层安全进行系统化审视。为此，论文提出 A2ABreak 框架：先借助 LLM 辅助的方式，从自然语言规范中抽取并人工验证一台有限状态机，把 929 条形式化陈述统一建模为 37 个状态、76 条转移；随后在该模型上以「完全合规假设」（即假设所有实现都严格遵循规范、不存在任何代码缺陷）为前提，通过对抗性验证推理，系统搜索协议自身可被合规攻击者利用的漏洞。结果发现 11 个此前未知的漏洞，每一个都无需任何实现层缺陷即可被符合规范的对手触发。典型发现包括：通过未受保护的上下文标识符实现跨客户端上下文注入；在委派链的多跳过程中身份信息丢失，进而导致凭据被第三方收割；以及通过宣称未经认证的能力声明引入恶意智能体并据此实施数据外泄。作者以独立专家评审作为基准评估该方法，报告精确率 73.3%、F1 为 84.6%；而在同一份规范上直接运行的零样本 LLM 基线未能产出任何被确认的发现，这说明显式的形式化建模与状态机锚定是进行可靠协议安全分析的必要条件。该工作适合协议设计者、多智能体平台与 AI 安全研究者阅读，其核心贡献在于提出了一套可迁移的「规范→状态机→对抗验证」方法论，并把 A2A 的安全讨论从实现漏洞层面推进到协议设计层面。