基于程序建模的网络程序漏洞检测技术

• 作者: 朱凯龙 邓兆琨 陆余良 黄晖 黄钊
• 来源期刊: 北京航空航天大学学报
• 学科: 工学
• 关键词: 网络程序 漏洞检测 C/S结构 架构模型 符号执行
• 年，卷（期）: 2019,（4）
• 页码范围: 796-803
• 页数: 8页
• 分类号: TP391
• 字数: 7190字
• 语种: 中文
• DOI: 10.13700/j.bh.1001-5965.2018.0436

摘要

研究和分析了网络程序漏洞检测方法,针对C/S结构下网络程序存在的二进制漏洞提出了一种基于程序建模的漏洞检测方法.该方法针对网络程序架构进行分析,通过抽取不同类型网络程序中的关键性系统函数,进行程序建模和检测系统执行模块开发.采用选择符号执行技术进行检测,通过函数挂钩的方式定制挂钩函数语义和函数执行触发的操作,引入符号化数据和引导符号执行过程.研究过程中基于该技术实现了一套网络程序漏洞检测系统,系统能够识别目标网络程序采用的I/O模型,根据目标网络程序的不同类型调取相应的系统执行模块,利用选择符号执行技术进行自动化漏洞检测过程.实验结果表明,相比于已有的检测工具,该系统在网络程序的漏洞检测方面针对性更强,程序代码的覆盖率更高,同时具有很好的可扩展性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	黄钊	国防科技大学电子对抗学院	4	0	0.0	0.0
2	朱凯龙	国防科技大学电子对抗学院	8	8	2.0	2.0
3	黄晖	国防科技大学电子对抗学院	6	2	1.0	1.0
4	邓兆琨	国防科技大学电子对抗学院	5	2	1.0	1.0
5	陆余良	国防科技大学电子对抗学院	8	16	2.0	4.0