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

摘要：

对MANET安全按需源路由协议的一种形式化分析模型进行了深入分析,指出其中存在的合并相邻敌手节点等不合理操作以及该模型下endairA协议安全性证明过程中的错误,并给出了一种针对endairA协议的隐蔽信道攻击,表明该协议即使在其安全分析模型下也不能满足其安全目标.

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

所属期刊栏目：30

分类号：TP393.04(计算技术、计算机技术)

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

在线出版日期：2009-04-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：38-44