严波
- 作品数：5 被引量：46H指数：2
- 供职机构：江南计算技术研究所更多>>
- 发文基金：国家科技支撑计划国家自然科学基金国家重点实验室开放基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 符号执行研究综述被引量：19
- 2018年
- 符号执行作为一种重要的程序分析方法,可以为程序测试提供高覆盖率的测试用例,以触发深层的程序错误。首先,介绍了经典符号执行方法的原理;然后,阐述了基于符号执行发展形成的混合测试、执行生成测试和选择性符号执行方法,同时,对制约符号执行方法在程序分析中的主要因素进行了分析,并讨论了缓解这些问题和提高符号执行可行性的主要方法;随后,介绍了当前主流的符号执行分析工具,并比较分析了其优缺点;最后,总结并讨论了符号执行的未来发展方向。
- 叶志斌严波
- 集成化路由器安全检测系统研究与实现
- 2010年
- 描述了目前路由器安全保密技术现状及其安全隐患,结合现有检测软件各自的优缺点,研究了Cisco路由器的漏洞原理分析技术、协议安全、身份认证、数据加密、安全管理等技术,将多种功能有机结合,提出一种集脆弱性检测、渗透测试、风险提示于一体的路由器安全检测系统。
- 张小燕严波
- 关键词：路由器安全检测保密
- 基于HSA的并行网络仿真系统设计与实现
- 2011年
- 为模拟不同激励下的网络行为,评估网络协议对网络结构发生变化时的反应,在研究了路由器及路由选择协议仿真技术的基础上,结合高性能计算机模拟体系结构HSA,提出并实现了一种并行网络环境仿真系统。通过对通用路由器节点、插件式路由协议、可替换流量节点以及网络拓扑生成部分的具体描述,对该系统作了详尽的探讨。最后通过一个环形拓扑,验证了该并行网络仿真系统与基于单机实现的网络仿真软件相比具有显著的优势。
- 张小燕王国欣严波
- 关键词：网络仿真路由器路由协议
- 物联网安全系统架构研究被引量：27
- 2010年
- 介绍了物联网的基本概念和组成,分析了物联网当前所面临的安全问题和安全需求。为了降低物联网使用的安全风险,在给出物联网传统系统架构的基础上,通过在用户、物品和信息中心之间采取有效的安全防护措施,构建了一种物联网安全系统架构,并详细说明了其组成结构以及认证、加密和访问控制机制的实现原理。通过部署安全系统架构,能对物联网的信息传输和信息访问提供有效的安全防护,有效提升物联网整体安全。
- 郭莉严波沈延
- 关键词：加密访问控制
