基于串空间的Ad hoc路由协议安全性分析新方法

摘要

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