MANET虚假路由形式化验证

• 作者: 张毓森 杨莉 桂荆京 王金双 金鑫 锁琰
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: Ad-hoc路由攻击 形式化分析 串空间 证明搜索
• 年，卷（期）: 2012,（2）
• 所属期刊栏目: 计算机网络与信息安全
• 页码范围: 118-121
• 分类号: TN918
• 字数: 5550字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2012.02.029

摘要

提出了Ad-hoc网络虚假路由攻击的形式化验证和分析方法,主要是在参数化Ad-hoc路由协议串空间模型的基础上采用改进的Athena状态表示法来描述问题域,并采用相应的证明搜索过程来完成目标验证.最后设计实现了虚假路由自动验证系统FRpoofor,用它验证和分析了Ariadne安全路由协议运行环境下某些虚假路由的建立过程,以此说明方法的有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张毓森	解放军理工大学指挥自动化学院	66	580	12.0	22.0
2	锁琰	解放军理工大学指挥自动化学院	5	11	2.0	3.0
3	王金双	解放军理工大学指挥自动化学院	23	189	4.0	13.0
4	杨莉	解放军理工大学指挥自动化学院	5	37	3.0	5.0
5	桂荆京	解放军理工大学指挥自动化学院	1	1	1.0	1.0
6	金鑫		1	1	1.0	1.0