计算机科学 ›› 2012, Vol. 39 ›› Issue (2): 118-125.
• 计算机网络与信息安全 • 上一篇 下一篇
张毓森，桂荆京,王金双,锁琐,杨莉，金鑫
出版日期:
发布日期:
ZHANG Yu-sen,GUI Jing-jing, WANG Jin shuang, SUO Yan,YANG Li, JIN Xin
Online:
Published:
摘要： 提出了Ad-hoc网络虚假路由攻击的形式化验证和分析方法，主要是在参数化Ad-ho}:路由协议串空间模型 的基础上采用改进的Athcna状态表示法来描述问题域，并采用相应的证明搜索过程来完成目标验证。最后设计实现 了虚假路由自动验证系统FRpoof or，用它验证和分析了Ariadne安全路由协议运行环境下某些虚假路由的建立过程， 以此说明方法的有效性。
关键词: Ad-hoc路由攻击，形式化分析，串空间，证明搜索
Abstract: 提出了Ad-hoc网络虚假路由攻击的形式化验证和分析方法，主要是在参数化Ad-ho}:路由协议串空间模型 的基础上采用改进的Athcna状态表示法来描述问题域，并采用相应的证明搜索过程来完成目标验证。最后设计实现 了虚假路由自动验证系统FRpoof or，用它验证和分析了Ariadne安全路由协议运行环境下某些虚假路由的建立过程， 以此说明方法的有效性。
Key words: Ad-hoc routing attack,Formal analysis,Strand space,Proof search
张毓森，桂荆京,王金双,锁琐,杨莉，金鑫. MANET虚假路由形式化验证[J]. 计算机科学, 2012, 39(2): 118-125. https://doi.org/
ZHANG Yu-sen,GUI Jing-jing, WANG Jin shuang, SUO Yan,YANG Li, JIN Xin. Formal Verification Approach for False Route in MANET[J]. Computer Science, 2012, 39(2): 118-125. https://doi.org/
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.jsjkx.com/CN/
https://www.jsjkx.com/CN/Y2012/V39/I2/118
Cited
首页