从自动化到智能化:软件漏洞挖掘技术进展 被引量：37

1

作者 邹权臣 张涛 +4 位作者 吴润浦 马金鑫 李美聪 陈晨 侯长玉 《清华大学学报（自然科学版）》 EI CAS CSCD 北大核心 2018年第12期1079-1094,共16页

近年来,随着软件规模和复杂度的日益增加,软件漏洞挖掘技术正逐渐向高度自动化和智能化演变,该文从传统漏洞挖掘技术和基于学习的智能化漏洞挖掘技术两方面深入调研和分析了相关的研究进展。首先,从静态和动态挖掘技术2方面详细介绍了... 近年来,随着软件规模和复杂度的日益增加,软件漏洞挖掘技术正逐渐向高度自动化和智能化演变,该文从传统漏洞挖掘技术和基于学习的智能化漏洞挖掘技术两方面深入调研和分析了相关的研究进展。首先,从静态和动态挖掘技术2方面详细介绍了传统漏洞挖掘技术的研究现状,涉及的技术包括模型检测、二进制比对、模糊测试、符号执行以及漏洞可利用性分析等,并分析了各项技术存在的问题,提出当前的研究难点是实现漏洞挖掘全自动化。然后,介绍了机器学习和深度学习技术在漏洞挖掘领域的应用,具体应用场景包括二进制函数识别、函数相似性检测、测试输入生成、路径约束求解等,并提出了其存在的机器学习算法不够健壮安全、算法选择依靠经验、数据样本不足、特征选择依赖专家知识等问题。最后,对未来研究工作进行了展望,提出应该围绕提高漏洞挖掘的精度和效率、提高自动化和智能化的程度这2方面展开工作。 展开更多

关键词 漏洞挖掘 模糊测试 符号执行 机器学习 深度学习

原文传递

基于OpenFlow的蜜罐主动取证技术 被引量：8

2

作者 杨天识 刁培金 +1 位作者 梁露露 常震 《北京理工大学学报》 EI CAS CSCD 北大核心 2019年第5期545-550,共6页

提出了一种方法,将攻击流量自动从真实的云计算服务器中隔离到蜜罐服务器中.通过创建一个蜜罐网络服务器的虚拟机,使蜜罐服务器配备与真实云计算服务器相同的内存和存储设备,并通过OpenFlow控制和监控网络流量,从而将蜜罐系统与真实云... 提出了一种方法,将攻击流量自动从真实的云计算服务器中隔离到蜜罐服务器中.通过创建一个蜜罐网络服务器的虚拟机,使蜜罐服务器配备与真实云计算服务器相同的内存和存储设备,并通过OpenFlow控制和监控网络流量,从而将蜜罐系统与真实云服务器隔离开来.当访客正常访问服务器时,交换机会将访客的访问请求路由到真实的服务器.当某个访客被IDS标记为可疑攻击者时,交换机会重新计算路由路径,将攻击者的请求路由到制定的蜜罐中. 展开更多

关键词 云计算 OpenFlow控制 蜜罐系统

下载PDF 职称材料

医疗行业数据安全风险分析及思考 被引量：4

3

作者 杜少雄 姚轶崭 +2 位作者 于云海 严默默 程军军 《中国信息安全》 2022年第7期48-51,共4页

近年来,随着《国务院办公厅关于促进和规范健康医疗大数据应用发展的指导意见》《国务院办公厅关于促进“互联网+医疗健康”行业发展的意见》《关于深入推进“互联网+医疗健康”“五个一”服务行动的通知》等政策文件的出台,以及大数据... 近年来,随着《国务院办公厅关于促进和规范健康医疗大数据应用发展的指导意见》《国务院办公厅关于促进“互联网+医疗健康”行业发展的意见》《关于深入推进“互联网+医疗健康”“五个一”服务行动的通知》等政策文件的出台,以及大数据、人工智能等新型技术的发展,健康医疗数据应用、“互联网+医疗健康”和智慧医疗迎来蓬勃发展,新的业务形态不断出现。 展开更多

关键词 医疗健康 医疗行业 人工智能 国务院办公厅 大数据 健康医疗 互联网 智慧医疗

下载PDF 职称材料

MIMO系统V-BLAST检测算法的FPGA实现 被引量：4

4

作者 孙乐 孔勇 黄虎 《电子与封装》 2017年第6期31-35,共5页

用FPGA实现了多种垂直分层空时码(Vertical-Bell Laboratories Layered Space-Time,V-BLAST)检测算法,包括最大似然(Maximum Likelihood,ML)检测算法、破零(Zero Forcing,ZF)检测算法和最小均方误差(Minimum Mean Square Error,MMSE)检... 用FPGA实现了多种垂直分层空时码(Vertical-Bell Laboratories Layered Space-Time,V-BLAST)检测算法,包括最大似然(Maximum Likelihood,ML)检测算法、破零(Zero Forcing,ZF)检测算法和最小均方误差(Minimum Mean Square Error,MMSE)检测算法。首先研究了MIMO V-BLAST系统架构、数学模型和多种接收机检测算法,分析了关键检测算法的特性和性能,重点使用Verilog硬件描述语言在Xilinx的Vertex4-VC4VSX55 FPGA开发板上实现了V-BLAST系统架构和三种检测算法,并通过仿真结果比较了每一种算法的复杂度和性能。仿真结果表明对于V-BLAST检测,ML具有最优的性能但复杂度最高;ZF算法具有较低的复杂度但比ML的性能略差;MMSE算法复杂度只比ZF算法略大但性能却有显著提升。 展开更多

关键词 多输入多输出 垂直分层空时编码 最大似然算法 最小均方算法 现场可编程门阵列

下载PDF 职称材料

基于SiP技术的空间飞行器综合电子系统 被引量：2

5

作者 黄虎 李华 +2 位作者 孔勇 范国臣 张耀磊 《电子与封装》 2016年第9期6-9,27,共5页

随着空间飞行器的电子设备向着小型化和集成化的方向发展,对综合电子系统提出了高性能、轻质化、集成化、小型化等要求。系统级封装(System in Package,SiP)已经成为重要的先进封装和系统集成技术,是未来空间飞行器综合电子系统小型化... 随着空间飞行器的电子设备向着小型化和集成化的方向发展,对综合电子系统提出了高性能、轻质化、集成化、小型化等要求。系统级封装(System in Package,SiP)已经成为重要的先进封装和系统集成技术,是未来空间飞行器综合电子系统小型化和多功能化的重要技术路线。介绍了国内外综合电子系统的发展现状和趋势,在分析空间飞行器对综合电子系统的需求基础上,对基于SiP技术的空间飞行器综合电子系统组成和关键技术进行了介绍,总结了基于SiP技术的综合电子系统的特点与优势。 展开更多

关键词 SIP 空间飞行器 综合电子系统

下载PDF 职称材料

符号执行中的约束求解问题研究进展 被引量：2

6

作者 邹权臣 吴润浦 +4 位作者 马金鑫 王欣 辛伟 侯长玉 李美聪 《北京理工大学学报》 EI CAS CSCD 北大核心 2019年第9期957-966,共10页

在符号执行中,约束求解主要负责路径可达性进行判定及测试输入生成的工作,但路径爆炸问题带来的频繁调用,以及SMT求解器本身的能力和效率的不足,使得约束求解占用了符号执行中主要的性能开销,约束求解问题也成为符号执行中面临的主要瓶... 在符号执行中,约束求解主要负责路径可达性进行判定及测试输入生成的工作,但路径爆炸问题带来的频繁调用,以及SMT求解器本身的能力和效率的不足,使得约束求解占用了符号执行中主要的性能开销,约束求解问题也成为符号执行中面临的主要瓶颈问题之一.本文介绍了符号执行和约束求解的基本概念,并分析了符号执行中约束求解问题的由来,对近年来的约束求解问题研究进展进行了归类,涉及的技术包括非相关约束分支切片、约束简化、快速不满足性检查及多求解器支持等.对这方面的研究进行了展望和总结.提出未来工作应在提高路径约束逻辑精简率、提高约束求解结果存储和重用的效率、约束求解并行化以及约束求解配置预测等方面展开. 展开更多

关键词 符号执行 约束求解 性能优化 漏洞挖掘

下载PDF 职称材料

大数据协同安全机制研究 被引量：1

7

作者 陈世武 李琴 《网络安全技术与应用》 2019年第2期33-35,共3页

鉴于大数据安全的复杂性,通过大数据安全协同解决大数据安全问题已成业界共识。本文首先回顾了目前中国大数据安全协同面临的困境,强调安全协同是走出大数据安全困境的必由之路;然后,分析了大数据协同安全生态,并研究了大数据安全产业... 鉴于大数据安全的复杂性,通过大数据安全协同解决大数据安全问题已成业界共识。本文首先回顾了目前中国大数据安全协同面临的困境,强调安全协同是走出大数据安全困境的必由之路;然后,分析了大数据协同安全生态,并研究了大数据安全产业协同机制,具体涉及组织协同、数据共享、系统协同、服务协同,以及产学研协同创新;最后,给出了大数据协同安全的建议。 展开更多

关键词 大数据 协同安全 协同机制

原文传递

对数字经济环境下数据安全与开放共享的思考 被引量：1

8

作者 程军军 杜少雄 姚轶崭 《中国信息安全》 2021年第5期52-54,共3页

随着云计算、人工智能、物联网等技术发展突飞猛进,我国数字经济发展进入快车道。根据中国信息通信研究院《中国数字经济发展白皮书(2021)》,2020年在新冠肺炎疫情冲击和全球经济下行双重影响下,我国数字经济依然保持9.7%的高位增长。2... 随着云计算、人工智能、物联网等技术发展突飞猛进,我国数字经济发展进入快车道。根据中国信息通信研究院《中国数字经济发展白皮书(2021)》,2020年在新冠肺炎疫情冲击和全球经济下行双重影响下,我国数字经济依然保持9.7%的高位增长。2020年4月9日,《中共中央国务院关于构建更加完善的要素市场化配置体制机制的意见》(以下简称"意见")明确提到. 展开更多

关键词 开放共享 数据安全 数据安全管理 医疗数据 数据共享 分级分类

下载PDF 职称材料

D-BLAST基带系统的FPGA实现研究

9

作者 黄虎 孔勇 +1 位作者 李华 孙乐 《移动通信》 2016年第20期77-83,共7页

设计了适合于现场可编程门阵列实现的多输入多输出系统的对角分层空时码编译码算法。采用Verilog硬件描述语言在Xilinx Virtex4-VC4VSX55现场可编程门阵列开发板上实现了3×3对角分层空时编码基带处理系统。通过现场可编程门阵列仿... 设计了适合于现场可编程门阵列实现的多输入多输出系统的对角分层空时码编译码算法。采用Verilog硬件描述语言在Xilinx Virtex4-VC4VSX55现场可编程门阵列开发板上实现了3×3对角分层空时编码基带处理系统。通过现场可编程门阵列仿真评估了采用迫零串行干扰抵消和最小均方误差串行干扰抵消检测算法时3×3对角分层空时编码基带系统的误码率性能。仿真分析和实验表明了现场可编程门阵列对角分层空时编码基带处理系统设计的正确性和高效性。同时,还论证了在同样条件下对角分层空时编码系统的性能优于垂直分层空时编码系统。 展开更多

关键词 多输入多输出 对角分层空时编码 串行干扰抵消 现场可编程门阵列 误码率

下载PDF 职称材料

基于区域的有效网络威胁信息共享

10

作者 凌晨 夏晓露 杨天识 《信息安全与通信保密》 2017年第8期60-71,共12页

来自不同行业的组织之间威胁信息共享面临着很多挑战。本文研究了基于区域的组织间如何有效共享威胁信息,提出三类区域共享组织:破坏、盗窃和APT组,给出三种方法:接受所有三个组的成员,限制共享细节;只接受来自盗窃组和APT组的成员,构... 来自不同行业的组织之间威胁信息共享面临着很多挑战。本文研究了基于区域的组织间如何有效共享威胁信息,提出三类区域共享组织:破坏、盗窃和APT组,给出三种方法:接受所有三个组的成员,限制共享细节;只接受来自盗窃组和APT组的成员,构建优化的共享机制;接受所有三个组织的成员,为盗窃和APT组成员提供单独的共享机制,同时为所有成员提供协作机制,最后给出了信息共享的具体建议。 展开更多

关键词 威胁信息共享 网络准备框架 区域共享组织 BLAISE

下载PDF 职称材料

大数据协同安全技术的产业实践 被引量：1

11

作者 姚轶崭 刘彦钊 +1 位作者 胡超群 常文娟 《中国信息安全》 2019年第12期84-84,共1页

2017年5月,国家发改委批复成立了我国大数据安全领域的第一个国家级科研机构:大数据协同安全技术国家工程实验室,专注于提升大数据安全分析能力和保障大数据系统安全。北京中测安华科技有限公司为实验室副理事长单位,在大数据安全上做... 2017年5月,国家发改委批复成立了我国大数据安全领域的第一个国家级科研机构:大数据协同安全技术国家工程实验室,专注于提升大数据安全分析能力和保障大数据系统安全。北京中测安华科技有限公司为实验室副理事长单位,在大数据安全上做了大量的实践工作,现从产业应用的角度出发,探讨如何用系统工程的方法解决大数据安全问题。 展开更多

关键词 副理事长单位 国家发改委 大数据安全 国家级科研 国家工程实验室 系统工程 数据安全问题 产业实践

下载PDF 职称材料