基于静态污点分析技术的软件内核驱动安全性检测

• 作者: 倪涛
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: 内核驱动 安全性检测 污点分析 状态不动点
• 年，卷（期）: 2015,（5）
• 所属期刊栏目: 安全技术
• 页码范围: 262-266
• 页数: 5页
• 分类号: TP393.08
• 字数: 6506字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386x.2015.05.064

摘要

由于软件内核驱动运行在内核态,对其进行安全性检测需要与传统用户态软件不同的方法. 通过对真实内核驱动漏洞的分析,总结其漏洞模式,针对性地提出一种检测方法. 采用静态污点追踪技术,对内核函数进行收敛状态约束的计算求得其状态不动点,检测用户态下输入污点参数在内核Dispatch例程内的传播情况,判定是否存在内核驱动漏洞. 通过对多款知名杀毒软件内核驱动的真实测试,发现四个未公开的内核驱动漏洞,验证了该检测方法的有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	倪涛	南京政治学院上海校区军事信息管理系	6	6	1.0	2.0