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

摘要：

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

关键词： Ad hoc网络 路由协议 安全性分析 形式化验证 串空间模型

作者: 桂荆京 张毓森

作者单位: 解放军理工大学指挥自动化学院,江苏南京210007

会议类型: 国内会议

会议名称: 第三届中国计算机网络与信息安全学术会议(CCNIS2010)

会议地点: 河北保定

会议语种:中文

页码: 268-273

在线出版日期: 2010-11-26（万方平台首次上网日期，不代表论文的发表时间）