@misc{indiciaea9e069b43247,
  title = {A Formal Security Framework for MCP-Based AI Agents: Threat Taxonomy, Verification Models, and Defense Mechanisms},
  author = {Nirajan Acharya and Gaurav Kumar Gupta},
  year = {2026},
  url = {https://arxiv.org/abs/2604.05969},
  note = {Source identifier: 2604.05969}
}