TY  - RPRT
TI  - A Formal Security Framework for MCP-Based AI Agents: Threat Taxonomy, Verification Models, and Defense Mechanisms
AU  - Nirajan Acharya
AU  - Gaurav Kumar Gupta
PY  - 2026
UR  - https://arxiv.org/abs/2604.05969
ID  - 2604.05969
ER  -