TY  - RPRT
TI  - Formal Security Analysis of Agent Protocol Composition
AU  - Shenghan Zheng
AU  - Qifan Zhang
AU  - Zheng Zhang
AU  - Haonan Li
AU  - Christophe Hauser
PY  - 2026
UR  - https://arxiv.org/abs/2606.28690
ID  - 2606.28690
ER  -