基于功能模型的二进制代码漏洞发现技术

窦增杰

首页> 中文期刊> 《电信技术研究》 >基于功能模型的二进制代码漏洞发现技术

基于功能模型的二进制代码漏洞发现技术

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

为解决传统的二进制代码漏洞发现技术自动化程度低、误报率高等问题，提出一种基于功能模型的二进制代码漏洞发现技术，研究将二进制代码转化成简化汇编语言中间表示，建立指令的操作语义、抽象转移函数和代码抽象存储空间等技术，设计实现具有形式化验证和推理功能的代码功能模型。基于功能模型的二进制漏洞发现技术能有效减少测试用例生成的盲目性，提高测试用例集的有效性及漏洞挖掘的自动化程度和效率。

著录项

来源
《电信技术研究》 |2015年第3期|P.35-42|共8页
作者
窦增杰;
展开▼
作者单位

展开▼
原文格式 PDF
正文语种 chi
中图分类 TP311.52;
关键词
功能模型; 漏洞发现; 逆向分析; 软件测试;

相似文献

中文文献
外文文献
专利

1. 基于符号执行的二进制代码漏洞发现 [J] . 牛伟纳 ,丁雪峰 ,刘智 . 计算机科学 . 2013,第010期
2. 基于状态转换模型的二进制代码缓冲区溢出漏洞检测 [J] . 刘海亮 ,梁尚立 . 现代计算机：下半月版 . 2010,第012期
3. 二进制代码的漏洞挖掘技术研究 [J] . 邢玉凤 . 计算机测量与控制 . 2014,第012期
4. 二进制代码中整数型漏洞挖掘和利用技术 [J] . 刘亮 ,彭帝 ,杨延峰 . 四川大学学报（工程科学版） . 2012,第001期
5. 面向智能电网SDN的二进制代码分析漏洞扫描方法研究 [J] . 陈颖聪 ,陈广清 ,陈智明 . 信息网络安全 . 2016,第007期
6. 基于统一缺陷模式集的源码缺陷与二进制代码缺陷协同分析技术研究 [C] . LIANG Xiaobing ,梁晓兵 ,CUI Baojiang . 第六届信息安全漏洞分析与风险评估大会 . 2013
7. 基于程序切片的二进制代码漏洞智能检测研究 [A] . 邢文静 . 2019

基于功能模型的二进制代码漏洞发现技术

摘要

著录项

相似文献

相关主题

期刊订阅