Skip to content
星际流动

A Formal Security Framework for MCP-Based AI Agents: Threat Taxonomy, Verification Models, and Defense Mechanisms

发布
采集
学术前沿 8.0 分 — MCP Agent的形式化安全框架
原文: cs.AI updates on arXiv.org

评分 8.0 · 来源:cs.AI updates on arXiv.org · 发布于 2026-04-08

评分依据:MCP Agent的形式化安全框架

arXiv:2604.05969v1 Announce Type: cross Abstract: The Model Context Protocol (MCP), introduced by Anthropic in November 2024 and now governed by the Linux Foundation’s Agentic AI Foundation, has rapidly become the de facto standard for connecting large language model (LLM)-based agents to external tools and data sources, with over 97 million monthly SDK downloads and more than 177000 registered tools. However, this explosive adoption has exposed a critical gap: the absence of a unified, formal security framework capable of systematically characterizing, analyzing, and mitigating the diverse th


标签: