基于符号执行的注入类安全漏洞的分析技术

• 作者: 孙基男 张君福 潘克峰 陈雪峰
• 来源期刊: 北京大学学报（自然科学版）
• 学科: 工学
• 关键词: 注入类安全漏洞 符号执行 程序静态分析 Web应用安全
• 年，卷（期）: 2018,（1）
• 所属期刊栏目: 研究论文
• 页码范围: 1-13
• 页数: 13页
• 分类号: TP311
• 字数: 9032字
• 语种: 中文
• DOI: 10.13209/j.0479-8023.2017.101

摘要

采用符号值作为输入, 模拟程序执行, 提取执行路径上相应的约束条件, 即安全约束、攻击约束以及防御约束, 并构成可满足矩阵(SAT)以及不可满足矩阵(UNSAT)两个注入类漏洞安全分析与检测模型, 矩阵模型的求解结果可映射为注入类安全漏洞的安全状态.对Web应用注入类漏洞的检测实验表明, 与目前安全分析主流工具相比, 该分析技术具有降低误报率、漏报率、能自动生成攻击向量等优点.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	孙基男	北京大学软件工程国家工程研究中心	5	4	1.0	2.0
2	张君福	北京大学软件工程国家工程研究中心	2	3	1.0	1.0
4	潘克峰	北京大学软件工程国家工程研究中心	1	3	1.0	1.0
8	陈雪峰	北京大学软件工程国家工程研究中心	1	3	1.0	1.0