多漏洞主动式集成挖掘平台

Multi Vulnerability Active Integration Mining Platform

在线阅读下载PDF

导出

摘要本文探讨了处于动态符号执行架构下的漏洞挖掘技术,研究分析了多漏洞主动式集成挖掘平台。 This paper discusses the vulnerability mining technology under the dynamic symbol execution architecture,and analyzes the multivulnerability active integrated mining platform.

作者崔鹏宇 CUI Peng-yu(Liaoning Geology Engineering Vocational College,Dandong Liaoning 118008)

机构地区辽宁地质工程职业学院

出处《数字技术与应用》 2018年第9期197-197,199,共2页 Digital Technology & Application

关键词漏洞发掘挖掘效率 MLIIMP vulnerability detection mining efficiency MLIIMP

分类号 TP393.08 [自动化与计算机技术—计算机应用技术]

作者简介崔鹏宇(1982—),男,辽宁丹东人,硕士,讲师,研究方向:计算机应用、网络安全。

引文网络
相关文献

参考文献3

1黄晖,陆余良,夏阳.基于动态符号执行的二进制程序缺陷发现系统[J].计算机应用研究,2013,30(9):2810-2812. 被引量：4
2邵巳航,苏亭,顾斌,王政,杨孟飞.基于过程间动态符号执行的C语言测试框架[J].计算机工程与设计,2014,35(8):2746-2751. 被引量：3
3邢玉凤.二进制代码的漏洞挖掘技术研究[J].计算机测量与控制,2014,22(12):4111-4114. 被引量：4

二级参考文献27

1CADAR C, DUNBAR D, ENGLER D. Klee:unassisted and automatic generation of high-coverage tests for complex systems programs[ C ]// Proc of the 8th Symposium on Operating Systems Design and Imple- mentation. San Diego : USENIX Association, 2008:209- 224.
2GOLDFROID P, KLARUND N, SEN K. DART: directed automated random testing[ C]//Proc of Programming lamguage Design and Im- plementation. New York : ACM Press, 2005 : 213- 223.
3GODEFROID P, LEVIN M Y. MOLNAR D A. Automated white box fl zzing[ C ]//Proc of Network Distributed Security Symposium. San Diego : The Internet S ciet , 2008 : 151 - 166.
4SONG D, BRUMLEY D, Y1N Heng,et al. BitBlaze: a new approach to computer security via binary analysis [ C ]//Proc of the 4th Interna- tional Conference on Information Society Security. [ S. 1. ] : Springer- Verlag, 2008 : 1 - 25.
5YIN Heng, SONG D. TEMU: binary code analysis via whole system layered annntation execution, Technical Report UCB/EECS- 2010- 3 [ R]. Berkeley: University of California,2010.
6Vine [ EB/OL ]. [ 2012- 11 - 19 ]. http ://www. bitblaze, cs. ber-edu/ vine. html.
7GANESH V, DILL D L. A decisiml prncedure for bit-vectors and re'- rays[ C ]//Proc of the 19th International Cor, ference on Computer Ai- ded Verification. Berlin:Springer-Verlag,2007:519-531.
8WANG Xi, CHEN Hao-gang, JIA Zhi-hao,et al. hnproving integer security for systems[ C]//Proe of the lOth USEN1X Symposium on Operating Systems Design and Implmnentation. Berkeley : USENIX As- sociation,2012 : 163-177.
9EAGLEC.IDAPm权威指南[M].石华耀,段桂菊,译.北京:人民邮电出版社,2007:77.96.
10SAXENA P, POOSANKAM P, symbolic execution [ C ]//Proc Symposium on Software Testing 2009:225- 236.

共引文献6

1韩煜,张济国,张冬芳,李海涛.一种基于二进制程序的安全加固系统设计和实现[J].信息安全与技术,2015,6(7):17-21.
2聂黎生,李欣,李小红.一种高效率的主动式漏洞挖掘平台[J].现代电子技术,2016,39(9):93-98. 被引量：1
3张志华.基于渗透测试的网络安全漏洞实时侦测技术[J].科学技术与工程,2018,18(20):297-302. 被引量：20
4肖顺陶,周安民,刘亮,贾鹏,刘露平.基于符号执行的底层虚拟机混淆器反混淆框架[J].计算机应用,2018,38(6):1745-1750. 被引量：4
5杨茹,王俊.基于关联规则的Android驱动未知安全漏洞挖掘[J].科学技术与工程,2018,18(23):75-80. 被引量：3
6葛丽丽,帅东昕,谢金言,张迎周,薛渝川,杨嘉毅,密杰,卢跃.面向软件供应链的异常分析方法综述[J].软件学报,2023,34(6):2606-2627. 被引量：2

1张进,杨宁,陈伟建,樊华.评估视角下高校教学质量保障体系的重构[J].高等工程教育研究,2018,66(3):137-141. 被引量：34
2打造特色高端品牌助力军民融合战略深入实施[J].国防科技工业,2018,0(11):51-51.
3凌军,杨乾栩,张天栋,张玲,唐军,杨建云.基于大数据挖掘的卷烟内在质量自动检测模型构建[J].自动化与仪器仪表,2018,0(11):178-182. 被引量：4
4李伯亭.打造特色高端品牌,助力军民融合战略深入实施[J].中国航天,2018(11):70-73. 被引量：1

数字技术与应用

2018年第9期

浏览历史

内容加载中请稍等...

多漏洞主动式集成挖掘平台

参考文献3

二级参考文献27

共引文献6

相关作者

相关机构

相关主题

浏览历史