| 一种MANET可生存性模型的建模方法 |
| |
| 引用本文： | 王海泉,马心意,夏春和.一种MANET可生存性模型的建模方法[J].信息安全与通信保密,2010(1):88-92. |
| |
| 作者姓名： | 王海泉 马心意 夏春和 |
| |
| 作者单位： | 1. 北京航空航天大学北京市网络技术重点实验室,北京,100191;北京航空航天大学软件学院,北京,100191
2. 北京航空航天大学北京市网络技术重点实验室,北京,100191 |
| |
| 基金项目： | 国家高技术研究发展计划(863计划)，北京市教育委员会共建基金，国防基础科研基金 |
| |
| 摘 要： | 文中提出了一种针对移动Ad hoc网络可生存性模型的建模方法,构建MARC（MANET Actor,Role and Coordinator Model）可生存性描述模型,并且支持利用该方法构建的可生存性模型向仿真实例的自动转换。详细分析并形式化描述了MARC模型中涉及的网络服务和事件等概念,并以此为基础设计了可生存性模型描述语言MARCDL,列举了语言中主要的EBNF范式描述。实例分析表明,运用该建模方法,不仅可以抽象地构造出面向战术环境的移动Ad hoc网络可生存性模型,而且为可生存性模型的从高层描述到低层仿真的自动转换提供了有力支持。
|
| 关 键 词： | 可生存性 MARC模型 描述语言 移动Ad hoc网络 |
A Modeling Approach to Survivability Model for MANET |
| |
| WANG Hai-quan,MA Xin-yi,XIA Chun-he.A Modeling Approach to Survivability Model for MANET[J].China Information Security,2010(1):88-92. |
| |
| Authors: | WANG Hai-quan MA Xin-yi XIA Chun-he |
| |
| Affiliation: | WANG Hai-quan1,2,MA Xin-yi1,XIA Chun-he1 (1Key Laboratory of Beijing Network Technology,Beihang Univ.,Beijing 100191,China,2School of Software of Beihang University,China) |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
