传统的漏洞分析依赖系统访问或运行时交互,这在审计闭源、远程托管或商业化软件时往往不可得。为此提出一种无盒子漏洞分析范式,仅利用功能元数据进行安全评估。功能元数据描述系统的输入、输出及副作用,并限定所有满足该描述的实现空间。分析者在不观察或交互目标系统的前提下,推断在所有可能实现中必然存在的漏洞,并在后续获得访问权限时进行验证。
基于该思路实现了原型工具MCPSEC,用于审计模型上下文协议(MCP)服务器的间接提示注入漏洞。MCPSEC仅使用服务器注册时公开的工具元数据,即可生成每个工具的潜在漏洞假设及利用手法。
在20个广泛部署的MCP服务器(共177个工具)上进行评估,人工评审确认95个工具真实存在漏洞。MCPSEC标记出143个工具为易受攻击,并为每个工具提供了具体的利用思路。仅凭元数据,MCPSEC成功预测了94个真实漏洞,召回率达98.9%,而基准LLM模型仅预测80个,召回率84.2%。
这些结果表明,无盒子漏洞分析能够在缺乏直接访问的环境中实现高效的安全审计,为实际系统的风险评估提供了可行路径。
点评:本研究展示了在缺乏系统访问的情况下,通过元数据进行漏洞推断的可行性,为安全审计提供了新思路。