摘要： 在串空间理论的基础上提出了一种ad hoc路由协议安全性分析新框架，首先根据图论的邻接矩阵运算原理确定网络中的虚假路径；然后构建协议串空间模型，描述虚假路径产生协议行为，并利用扩展的串空间理论方法验证产生虚假路径的合理性。之后，给出了针对endairA协议安全性的分析实例，发现该协议存在产生虚假路径的安全漏洞，而该漏洞在以往的形式化分析模型中未能被发现。