摘要
针对网络可生存性模型考虑因素不同、模型描述各异和实验环境概念不同所造成的彼此之间较难的可比性问题,文中提出了一种用于评判多种移动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.
出处
《计算机学报》
EI
CSCD
北大核心
2013年第7期1465-1474,共10页
Chinese Journal of Computers
基金
国家自然科学基金(61170295)
国家"八六三"高技术研究发展计划项目基金(2007AA01Z407)
国家部委项目(A2120110006)
北京市教育委员会共建项目建设计划(JD100060630)
北京市教委科技面上项目(KM201211232010)
北京航空航天大学基础科研业务费项目(YWF-11-03-Q-001)资助~~
