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

• 作者: 李兴华 毛立强 马建峰
• 来源期刊: 通信学报
• 学科: 工学
• 关键词: 路由协议 可证明安全 形式化分析 模拟 隐蔽信道攻击
• 年，卷（期）: 2009,（1）
• 所属期刊栏目: 学术论文
• 页码范围: 38-44
• 页数: 7页
• 分类号: TP393.04
• 字数: 7143字
• 语种: 中文
• DOI: 10.3321/j.issn:1000-436X.2009.01.007

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	马建峰	西安电子科技大学计算机学院	389	4956	30.0	50.0
3	李兴华	西安电子科技大学计算机学院	34	334	10.0	17.0
4	毛立强	西安电子科技大学计算机学院	45	66	5.0	8.0