Computer Science ›› 2012, Vol. 39 ›› Issue (2): 118-125.
Previous Articles Next Articles
ZHANG Yu-sen,GUI Jing-jing, WANG Jin shuang, SUO Yan,YANG Li, JIN Xin
Online:
Published:
Abstract: 提出了Ad-hoc网络虚假路由攻击的形式化验证和分析方法,主要是在参数化Ad-ho}:路由协议串空间模型 的基础上采用改进的Athcna状态表示法来描述问题域,并采用相应的证明搜索过程来完成目标验证。最后设计实现 了虚假路由自动验证系统FRpoof or,用它验证和分析了Ariadne安全路由协议运行环境下某些虚假路由的建立过程, 以此说明方法的有效性。
Key words: Ad-hoc routing attack,Formal analysis,Strand space,Proof search
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.
0 / / Recommend
Add to citation manager EndNote|Reference Manager|ProCite|BibTeX|RefWorks
URL: https://www.jsjkx.com/EN/
https://www.jsjkx.com/EN/Y2012/V39/I2/118
Cited