软件漏洞静态检测模型及检测框架

王涛; 韩兰胜; 付才; 邹德清; 刘铭

首页> 中文期刊> 《计算机科学》 >软件漏洞静态检测模型及检测框架

软件漏洞静态检测模型及检测框架

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

软件漏洞静态分析是信息安全领域的重点研究方向,如何描述漏洞及判别漏洞是漏洞静态分析的核心问题.提出了一种用于描述和判别漏洞的漏洞静态检测模型.首先对软件漏洞的属性特征进行形式化定义,并对多种软件漏洞和其判定规则进行形式化描述;其次,针对传统的路径分析存在的状态空间爆炸问题,提出了一个新的程序中间表示——漏洞可执行路径集,以压缩程序状态空间.在该模型的基础上,设计了一个基于漏洞可执行路径集的软件漏洞静态检测框架,利用定义的漏洞语法规则求解漏洞可执行路径集上的漏洞相关节点集,利用漏洞判定规则对漏洞相关节点集进行判别得出漏洞报告.实验分析验证了该漏洞检测模型的正确性和可行性.

著录项

来源
《计算机科学》 |2016年第5期|80-86116|共8页
作者
王涛; 韩兰胜; 付才; 邹德清; 刘铭;
展开▼
作者单位

华中科技大学计算机科学与技术学院武汉 430074;

华中科技大学计算机科学与技术学院武汉 430074;

华中科技大学计算机科学与技术学院武汉 430074;

华中科技大学计算机科学与技术学院武汉 430074;

华中科技大学计算机科学与技术学院武汉 430074;

展开▼
原文格式 PDF
正文语种 chi
中图分类 TP311.53;
关键词
静态分析; 漏洞检测; 形式化描述; 状态空间爆炸; 中间表示;

相似文献

中文文献
外文文献
专利

1. 面向源代码的软件漏洞静态检测综述 [J] . 李珍1234 ,邹德清12345 ,王泽丽1234 . 网络与信息安全学报 . 2019,第001期
2. 面向源代码的软件漏洞静态检测综述 [J] . 李珍 ,邹德清 ,王泽丽 . 网络与信息安全学报 . 2019,第001期
3. 一种基于多特征集成学习的恶意代码静态检测框架 [J] . 杨望 ,高明哲 ,蒋婷 . 计算机研究与发展 . 2021,第005期
4. 基于静态检测工具的软件缺陷检测模型研究 [J] . 周丹丹 ,李先国 . 计算机与现代化 . 2012,第011期
5. 基于混合深度学习模型的软件漏洞检测方法 [J] . 张瑞 ,王晓菲 . 电脑知识与技术 . 2021,第018期
6. 基于漏洞知识库的8031单片机系统软件漏洞检测算法 [C] . SHAN Chun ,单纯 ,JING Gaopeng . 第九届信息安全漏洞分析与风险评估大会（VARA2016） . 2016
7. 面向源码的软件漏洞静态检测技术研究与实现 [A] . 王涛 . 2015

软件漏洞静态检测模型及检测框架

摘要

著录项

相似文献

相关主题

期刊订阅