魏昭
- 作品数：11 被引量：39H指数：2
- 供职机构：北京航空航天大学更多>>
- 发文基金：国家自然科学基金北京市教育委员会共建项目北京市教委科技计划面上项目更多>>
- 相关领域：自动化与计算机技术更多>>
- 计算机网络防御策略的转换一致性验证方法
- 计算机网络防御(CND)策略的转换一致性验证方法，步骤为：(1)首先进行策略预处理：对输入的策略描述文件和拓扑描述文件，利用lex/yacc工具生成的词法解析器和语法解析器对其进行解析，得到对于每一类动作处理的数据包范围...
- 夏春和罗杨魏昭邱雪梁晓艳
- 文献传递
- 计算机网络防御方案仿真执行系统
- 计算机网络防御方案仿真执行系统包括：(1)设计并实现了一种上下文无关文法的形式化的计算机网络防御方案描述语言CNDSDL(Computer？NetworkDefense？Scheme？Description？Langua...
- 夏春和魏昭罗杨吴伟康余洋
- 文献传递
- 计算机网络防御策略的冲突检测系统及检测方法
- 计算机网络防御策略的冲突检测系统及检测方法，利用词法解析器和语法解析器读取并解析CND策略描述文件；利用本体建模工具人工构建初始策略本体，初始本体只包括CND策略中策略元组的概念及概念间的关系，而无策略实例及其关系；依据...
- 夏春和罗杨魏昭李亚卓梁晓艳
- 文献传递
- 计算机网络防御决策系统
- 计算机网络防御（CND）决策系统，包括：防御企图的分解模块、防御任务的生成模块、防御方案的生成模块和CND决策信息库。是根据防御企图和态势拟制防御方案的过程，首先解决了计算机网络防御缺乏高层的防御企图描述问题，并在此基础...
- 夏春和魏昭罗杨魏晴薄阳
- 文献传递
- 一种基于双模式虚拟机的多态Shellcode检测方法被引量：1
- 2014年
- 近年来,Shellcode攻击通常利用多态技术进行自我加密来绕过网络层设备的检测,而现有检测方法无法区分多态Shellcode与加壳保护代码.提出了一种基于双模式虚拟机的多态Shellcode检测方法,该方法改进了现有的GetPC定位机制,实现了Shellcode的初步定位,通过IA-32指令识别对网络流量的进行进一步过滤,利用有限自动机及其判别条件实现虚拟机控制流模式和数据流模式之间的切换,并通过结合现有的特征匹配技术实现对多层加密的多态Shellcode的检测.实验结果表明,针对大量真实的网络数据,该方法在保证高检测召回率的同时,能够实现对多态Shellcode与加壳保护软件的有效区分,避免了对正常流量的误报行为,并且时间开销介于静态分析与动态模拟之间,为网络层检测多态Shellcode提供了一种有效方法.
- 罗杨夏春和李亚卓魏昭梁晓艳
- 关键词：虚拟机
- 一种移动Ad Hoc网络可生存性模型建模及仿真验证方法被引量：8
- 2013年
- 针对网络可生存性模型考虑因素不同、模型描述各异和实验环境概念不同所造成的彼此之间较难的可比性问题,文中提出了一种用于评判多种移动Ad Hoc网络可生存性模型的建模及其仿真验证方法.从可生存性定义出发,采用本体构建可生存性模型的高层描述,在此基础上研究了高层描述向低层仿真执行的转换技术,提出了基于攻击路径自动生成的防御仿真任务部署方法,并实现了可生存性模型的仿真验证.最终在面向战术环境的移动Ad Hoc网络中,通过对SAMNAR模型和群组恢复模型的建模验证说明了文中方法的有效性.
- 魏昭夏春和何冰焦健马心意
- 关键词：移动ADHOC网络移动互联网
- 计算机网络防御决策系统
- 计算机网络防御（CND）决策系统，包括：防御企图的分解模块、防御任务的生成模块、防御方案的生成模块和CND决策信息库。是根据防御企图和态势拟制防御方案的过程，首先解决了计算机网络防御缺乏高层的防御企图描述问题，并在此基础...
- 夏春和魏昭罗杨魏晴薄阳
- 文献传递
- 计算机网络防御策略的冲突检测系统及检测方法
- 计算机网络防御策略的冲突检测系统及检测方法，利用词法解析器和语法解析器读取并解析CND策略描述文件；利用本体建模工具人工构建初始策略本体，初始本体只包括CND策略中策略元组的概念及概念间的关系，而无策略实例及其关系；依据...
- 夏春和罗杨魏昭李亚卓梁晓艳
- 文献传递
- 计算机网络防御策略求精关键技术研究
- 计算机网络技术的飞速发展和规模的扩大使得网络中的各种应用，业务种类越来越丰富，同时网络攻击的手段也逐渐多样化和复杂化。面对大型、复杂、异构的网络环境，传统的针对防火墙、入侵检测系统等安全设备的配置管理完全依赖于管理人员的...
- 魏昭
- 关键词：计算机网络防御描述逻辑语义一致性
- 文献传递
- 计算机网络防御策略的转换一致性验证方法
- 计算机网络防御(CND)策略的转换一致性验证方法，步骤为：(1)首先进行策略预处理：对输入的策略描述文件和拓扑描述文件，利用lex/yacc工具生成的词法解析器和语法解析器对其进行解析，得到对于每一类动作处理的数据包范围...
- 夏春和罗杨魏昭邱雪梁晓艳
- 文献传递
