에이전트 간 통신 표준 A2A(Agent2Agent, 현재 리눅스 재단 관리)를 체계적으로 분석한 'A2ABreak' 연구가 공개됐다. 연구진은 자연어 명세를 LLM으로 추출해 37개 상태·76개 전이의 유한상태기계로 형식화한 뒤 적대적 검증을 돌려, 명세를 준수하는 공격자도 실행 가능한 취약점 11건을 찾아냈다. 보호되지 않은 컨텍스트 식별자를 통한 교차 클라이언트 컨텍스트 주입, 다단계 위임 체인에서 신원이 유실되며 발생하는 자격증명 수집, 검증되지 않은 능력 선언으로 위장한 악성 에이전트의 데이터 유출이 대표 사례다. 전문가 검토 대비 정밀도 73.3%·F1 84.6%였고, 같은 명세를 준 제로샷 LLM 베이스라인은 확인된 발견이 0건이었다.
시사점은 두 가지다. 첫째, 구현 버그가 아니라 표준 설계 단계의 문제이므로 라이브러리 패치로는 덮이지 않는다 — A2A를 도입 중이라면 위임 체인의 신원 전달과 컨텍스트 ID 범위를 직접 검증해야 한다. 둘째, "LLM에게 명세를 던져 보안 검토를 시킨다"는 방식은 이 실험에서 성과가 없었다. 형식 모델로 접지시키는 과정이 결과를 갈랐다.
출처: arXiv cs.CR