计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2012年
2期
118-121
,共4页
张毓森%桂荆京%王金双%锁琰%杨莉%金鑫
張毓森%桂荊京%王金雙%鎖琰%楊莉%金鑫
장육삼%계형경%왕금쌍%쇄염%양리%금흠
Ad-hoc路由攻击%形式化分析%串空间%证明搜索
Ad-hoc路由攻擊%形式化分析%串空間%證明搜索
Ad-hoc로유공격%형식화분석%천공간%증명수색
提出了Ad-hoc网络虚假路由攻击的形式化验证和分析方法,主要是在参数化Ad-hoc路由协议串空间模型的基础上采用改进的Athena状态表示法来描述问题域,并采用相应的证明搜索过程来完成目标验证.最后设计实现了虚假路由自动验证系统FRpoofor,用它验证和分析了Ariadne安全路由协议运行环境下某些虚假路由的建立过程,以此说明方法的有效性.
提齣瞭Ad-hoc網絡虛假路由攻擊的形式化驗證和分析方法,主要是在參數化Ad-hoc路由協議串空間模型的基礎上採用改進的Athena狀態錶示法來描述問題域,併採用相應的證明搜索過程來完成目標驗證.最後設計實現瞭虛假路由自動驗證繫統FRpoofor,用它驗證和分析瞭Ariadne安全路由協議運行環境下某些虛假路由的建立過程,以此說明方法的有效性.
제출료Ad-hoc망락허가로유공격적형식화험증화분석방법,주요시재삼수화Ad-hoc로유협의천공간모형적기출상채용개진적Athena상태표시법래묘술문제역,병채용상응적증명수색과정래완성목표험증.최후설계실현료허가로유자동험증계통FRpoofor,용타험증화분석료Ariadne안전로유협의운행배경하모사허가로유적건립과정,이차설명방법적유효성.
