计算机学报
計算機學報
계산궤학보
CHINESE JOURNAL OF COMPUTERS
2013年
7期
1465-1474
,共10页
魏昭%夏春和%何冰%焦健%马心意
魏昭%夏春和%何冰%焦健%馬心意
위소%하춘화%하빙%초건%마심의
防御仿真%攻击路径%可生存性模型%移动Ad Hoc网络%移动互联网
防禦倣真%攻擊路徑%可生存性模型%移動Ad Hoc網絡%移動互聯網
방어방진%공격로경%가생존성모형%이동Ad Hoc망락%이동호련망
defense simulation%attacking path%survivability model%mobile Ad Hoc network%mobile Internet
针对网络可生存性模型考虑因素不同、模型描述各异和实验环境概念不同所造成的彼此之间较难的可比性问题,文中提出了一种用于评判多种移动Ad Hoc网络可生存性模型的建模及其仿真验证方法.从可生存性定义出发,采用本体构建可生存性模型的高层描述,在此基础上研究了高层描述向低层仿真执行的转换技术,提出了基于攻击路径自动生成的防御仿真任务部署方法,并实现了可生存性模型的仿真验证.最终在面向战术环境的移动Ad Hoc网络中,通过对SAMNAR模型和群组恢复模型的建模验证说明了文中方法的有效性.
針對網絡可生存性模型攷慮因素不同、模型描述各異和實驗環境概唸不同所造成的彼此之間較難的可比性問題,文中提齣瞭一種用于評判多種移動Ad Hoc網絡可生存性模型的建模及其倣真驗證方法.從可生存性定義齣髮,採用本體構建可生存性模型的高層描述,在此基礎上研究瞭高層描述嚮低層倣真執行的轉換技術,提齣瞭基于攻擊路徑自動生成的防禦倣真任務部署方法,併實現瞭可生存性模型的倣真驗證.最終在麵嚮戰術環境的移動Ad Hoc網絡中,通過對SAMNAR模型和群組恢複模型的建模驗證說明瞭文中方法的有效性.
침대망락가생존성모형고필인소불동、모형묘술각이화실험배경개념불동소조성적피차지간교난적가비성문제,문중제출료일충용우평판다충이동Ad Hoc망락가생존성모형적건모급기방진험증방법.종가생존성정의출발,채용본체구건가생존성모형적고층묘술,재차기출상연구료고층묘술향저층방진집행적전환기술,제출료기우공격로경자동생성적방어방진임무부서방법,병실현료가생존성모형적방진험증.최종재면향전술배경적이동Ad Hoc망락중,통과대SAMNAR모형화군조회복모형적건모험증설명료문중방법적유효성.
