可证明安全的MANET按需源路由协议分析  

Analysis of provably secure on-demand source routing in MANET

作　　者：毛立强[1] 马建峰[1,2] 李兴华[1] 

机构地区：[1]西安电子科技大学计算机学院,陕西西安710071 [2]计算机网络与信息安全教育部重点实验室,陕西西安710071

出　　处：《通信学报》2009年第1期38-44,共7页Journal on Communications

基　　金：国家高技术研究发展计划("863"计划)基金资助项目(2007AA01Z429;2007AA01Z405);国家自然科学基金重点资助项目(60633020);国家自然科学基金资助项目(60573036;60702059;60503012;60803150)~~

摘　　要：对MANET安全按需源路由协议的一种形式化分析模型进行了深入分析,指出其中存在的合并相邻敌手节点等不合理操作以及该模型下endairA协议安全性证明过程中的错误,并给出了一种针对endairA协议的隐蔽信道攻击,表明该协议即使在其安全分析模型下也不能满足其安全目标。A formal model tailored to the security analysis of on-demand source routing protocols in MANET was analyzed, and the improper manipulations such as mergence of the adjacent adversarial nodes in the model and the flaw in the proof for endairA were indicated. A new hidden channel attack to endairA was presented, which shows that endairA is not provably secure even in their model.

关 键 词：路由协议 可证明安全 形式化分析 模拟 隐蔽信道攻击 

分 类 号：TP393.04[自动化与计算机技术—计算机应用技术]