一种移动Ad Hoc网络可生存性模型建模及仿真验证方法  

A Modeling and Simulation Verification Approach for the Mobile Ad Hoc Network Survivability Model

作　　者：魏昭[1] 夏春和[2,1] 何冰[3] 焦健[4] 马心意[1] 

机构地区：[1]北京航空航天大学网络技术北京市重点实验室,北京100191 [2]北京航空航天大学虚拟现实技术与系统国家重点实验室,北京100191 [3]广西师范大学计算机科学与信息工程学院,广西桂林541004 [4]北京信息科技大学计算机学院,北京100192

出　　处：《计算机学报》2013年第7期1465-1474,共10页Chinese Journal of Computers

基　　金：国家自然科学基金(61170295);国家"八六三"高技术研究发展计划项目基金(2007AA01Z407);国家部委项目(A2120110006);北京市教育委员会共建项目建设计划(JD100060630);北京市教委科技面上项目(KM201211232010);北京航空航天大学基础科研业务费项目(YWF-11-03-Q-001)资助~~

摘　　要：针对网络可生存性模型考虑因素不同、模型描述各异和实验环境概念不同所造成的彼此之间较难的可比性问题,文中提出了一种用于评判多种移动Ad Hoc网络可生存性模型的建模及其仿真验证方法.从可生存性定义出发,采用本体构建可生存性模型的高层描述,在此基础上研究了高层描述向低层仿真执行的转换技术,提出了基于攻击路径自动生成的防御仿真任务部署方法,并实现了可生存性模型的仿真验证.最终在面向战术环境的移动Ad Hoc网络中,通过对SAMNAR模型和群组恢复模型的建模验证说明了文中方法的有效性.It is hard to compare the network survivability models because of the differences in descriptions, experiment environments and other factors considered. In this paper, we propose a modeling and simulation verification approach to evaluate various survivability models. Based on the ontology theory, we construct a high-level description for the survivability model according to the definition of survivability. We thus propose a transformation technique from the high-level de- scription to low-level simulation implementation. In response to the automatically generated attac- king path, we propose an automatic deployment method for defense simulation tasks and complete the simulation verification of the survivability models. At last, within the environment of Tactical Mobile Ad Hoc network, the modeling and verification of SAMNAR Model and Group Recover Model are conducted through our methods. The experiment illustrates the effectiveness of our methods.

关 键 词：防御仿真 攻击路径 可生存性模型 移动ADHOC网络 移动互联网 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]