%0 Journal Article
%T manet虚假路由形式化验证
%A 张毓森
%A 桂荆京
%A 王金双
%A 锁琐
%A 杨莉
%A 金鑫？
%J 计算机科学
%D 2012
%X 提出了ad-hoc网络虚假路由攻击的形式化验证和分析方法，主要是在参数化ad-ho}:路由协议串空间模型的基础上采用改进的athcna状态表示法来描述问题域，并采用相应的证明搜索过程来完成目标验证。最后设计实现了虚假路由自动验证系统frpoofor，用它验证和分析了ariadne安全路由协议运行环境下某些虚假路由的建立过程，以此说明方法的有效性。
%K ad-hoc路由攻击
%K 形式化分析
%K 串空间
%K 证明搜索
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=120229&flag=1