@misc{indiciae73e2d95a6eca,
  title = {Formal Security Analysis of Agent Protocol Composition},
  author = {Shenghan Zheng and Qifan Zhang and Zheng Zhang and Haonan Li and Christophe Hauser},
  year = {2026},
  url = {https://arxiv.org/abs/2606.28690},
  note = {Source identifier: 2606.28690}
}