王春雷
- 作品数：20 被引量：51H指数：3
- 供职机构：北京系统工程研究所更多>>
- 发文基金：国家自然科学基金国防科技技术预先研究基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 一种面向工具的网络安全检测评估系统实现
- 本文从网络安全检测评估的需求出发,分析网络安全检测评估过程中存在问题,提出一种面向工具集成的评估系统实现方案。
- 许博义赵燕君况晓辉邹涛王春雷
- 关键词：安全检测综合评估体系结构
- 一种基于能力的可扩展网格授权框架
- 在网格研究领域中,一个安全的、细粒度的和有效的授权框架对于保护网格中的服务是非常必要的.网格用户和管理员仍然以传统的集中计算方式来处理认证和授权问题,尤其是主机帐户维护和证书管理.本文提出一个基于能力的网格授权框架,为W...
- 王春雷况晓辉马国庆方兰
- 关键词：网格授权网格WEB服务证书管理
- 一种安全事件关联分析方法及系统
- 本发明公开了一种安全事件关联分析方法及系统，采用状态机实时记录安全事件的发展。当新到达的安全事件能够和状态机相匹配时，根据状态机的迁移条件判断是否进行状态迁移操作；当无法找到状态机与之匹配时，根据预先定义的安全事件序列树...
- 王东霞马国庆李津冯学伟王春雷方兰李远玲黄敏桓况晓辉明亮陈杰崔益民唐剑
- 移动自组网络单跳簇生成算法性能分析
- 移动自组网络是一种不依赖任何固定的基础设施的新型的无线网络.在移动自组网络中,许多应用都依赖层次结构的支持.簇结构是移动自组网络中应用最为广泛的层次结构.本文在对已有簇生成算法进行分类的基础上,重点对单跳簇生成算法进行了...
- 况晓辉王春雷何蓉晖马国庆
- 关键词：移动自组网络
- 一种网络安全态势评估方法及系统
- 本发明公开了一种网络安全态势评估方法和系统，以提高网络安全态势评估的适用范围和准确性。上述方法包括：将预置时间段内所有安全事件按照攻击类型分类，构成至少一个事件集；分别累加各事件集中所述安全事件的攻击风险等级，将累加值确...
- 王东霞赵刚冯学伟马国庆李津方兰王春雷李远玲刘杰张鲁峰赵金晶李响苗青
- 缺陷函数启发的可扩展二进制程序脆弱性分析框架
- 直接或者间接地误用缺陷函数是软件脆弱性的主要根源之一，针对二进制程序，本文对缺陷函数误用导致的代码脆弱性模式进行了建模和形式化，在此基础上，提出了一种缺陷函数启发的二进制程序脆弱性分析框架。介绍了框架的体系结构和检测流程...
- 刘强王春雷何蓉晖
- 关键词：二进制程序脆弱性分析
- 可信软件的面向方面开发框架与技术
- 针对可信软件系统开发的迫切需求,该文分析了面向方面技术在可信软件开发中的优势,提出了覆盖整个开发过程的可信软件开发框架,并概述了可信软件的面向方面需求分析技术、设计技术、实现技术和测试技术,探讨了一种提高可信软件质量的新...
- 黄敏桓王春雷张鲁峰
- 关键词：软件开发面向方面技术
- 一种格式化字符串脆弱性动态检测技术
- 2012年
- 为了提高计算机软件的安全性,对C程序中的格式化字符串脆弱性的原理、特征进行了分析,在分析的基础上提出了一种动态检测技术.利用此检测技术实现的一种格式化字符串脆弱性检测工具能较准确地检测到C目标程序中的格式化字符串脆弱性.分析结果对编写更安全的C程序具有参考价值,检测技术具有实用价值.
- 匡春光王春雷何蓉晖
- 关键词：脆弱性动态检测
- SCADA系统结构特点及其脆弱性分析
- SCADA即数据监控与采集系统,是控制基础设施运转的关键系统。针对SCADA系统的信息安全防护与关键基础设施的安全密切相关。该文介绍了SCADA系统的概念和结构,总结了SCADA系统的特点及其面临的信息安全风险,而后从网...
- 方兰王春雷赵刚
- 关键词：SCADA系统脆弱性信息安全
- 网络抗毁性测度研究被引量：4
- 2010年
- 针对网络抗毁性测度问题,依据抗毁性三原则——阻挡、识别和恢复,提出了多维网络抗毁性测度提取方法,该方法综合运用了多种抗毁性分析技术,结合实际验证筛选,为提炼抗毁性测度提供了有效途径;提出了三层树状结构的网络抗毁性测度集,为抗毁性测度提供了可行的分类参考;最后,提出了抗毁性测度度量方法并给出了其形式化描述,实现不同类型抗毁性测度值的获取。分析表明,提出的网络抗毁性测度提取方法、测度集合和度量方法具有良好的一致性和可行性。
- 明亮王东霞张鲁峰王春雷
- 关键词：网络抗毁性
