马心意
- 作品数：3 被引量：11H指数：2
- 供职机构：北京航空航天大学更多>>
- 发文基金：国家高技术研究发展计划国家自然科学基金北京市教育委员会共建项目更多>>
- 相关领域：自动化与计算机技术更多>>
- 面向网络安全风险评估的基于一阶逻辑谓词推理的自动化威胁确定方法
- 本发明公开了一种面向网络安全风险评估的基于一阶逻辑谓词推理的自动化威胁确定方法，该方法用一阶谓词逻辑描述语言Datalog形式化描述网络安全状态信息和攻击规则知识库信息，利用逻辑推理引擎XSB进行自动推理，通过分析推理结...
- 夏春和吉毅闻丹岩吕艳丽马心意
- 文献传递
- 一种移动Ad Hoc网络可生存性模型建模及仿真验证方法被引量：8
- 2013年
- 针对网络可生存性模型考虑因素不同、模型描述各异和实验环境概念不同所造成的彼此之间较难的可比性问题,文中提出了一种用于评判多种移动Ad Hoc网络可生存性模型的建模及其仿真验证方法.从可生存性定义出发,采用本体构建可生存性模型的高层描述,在此基础上研究了高层描述向低层仿真执行的转换技术,提出了基于攻击路径自动生成的防御仿真任务部署方法,并实现了可生存性模型的仿真验证.最终在面向战术环境的移动Ad Hoc网络中,通过对SAMNAR模型和群组恢复模型的建模验证说明了文中方法的有效性.
- 魏昭夏春和何冰焦健马心意
- 关键词：移动ADHOC网络移动互联网
- 一种MANET可生存性模型的建模方法被引量：3
- 2010年
- 文中提出了一种针对移动Ad hoc网络可生存性模型的建模方法,构建MARC(MANET Actor,Role and Coordinator Model)可生存性描述模型,并且支持利用该方法构建的可生存性模型向仿真实例的自动转换。详细分析并形式化描述了MARC模型中涉及的网络服务和事件等概念,并以此为基础设计了可生存性模型描述语言MARCDL,列举了语言中主要的EBNF范式描述。实例分析表明,运用该建模方法,不仅可以抽象地构造出面向战术环境的移动Ad hoc网络可生存性模型,而且为可生存性模型的从高层描述到低层仿真的自动转换提供了有力支持。
- 王海泉马心意夏春和
- 关键词：可生存性描述语言移动ADHOC网络
