范文良

作品数：2被引量：1H指数：1
导出分析报告
供职机构：清华大学信息科学技术学院计算机科学与技术系更多>>
发文主题：漏洞检测漏洞LINUX驱动LINUX设备驱动程序LINUX内核更多>>
发文领域：自动化与计算机技术电子电信更多>>
发文期刊：《计算机工程与科学》更多>>
所获基金：国家自然科学基金国家科技重大专项更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
使用符号化驱动环境检测Linux设备驱动程序的漏洞
《计算机工程与科学》2016年第2期290-296,共7页徐永健 王丹 陈渝 范文良 
国家自然科学基金(61202074)
研究表明,驱动程序的漏洞是造成Linux系统安全问题的主要原因之一,可引发提权、拒绝服务等高危情况。针对无具体设备的情况下,无法对驱动程序进行运行时漏洞检测的问题,提出了对驱动程序进行符号化执行的思路,提出了一种基于符号执行技...
关键词：漏洞检测 符号执行 LINUX 设备驱动 
辅助检测Linux驱动中漏洞的符号驱动环境被引量：1
《计算机工程与科学》2015年第6期1058-1063,共6页范文良 茅俊杰 肖奇学 徐永健 杨维康 陈渝 
国家自然科学基金资助项目(61170050);核高基重大专项基金资助项目(2012ZX01039-004)
Linux系统中的驱动漏洞被证实是内核漏洞的主要来源,可以被利用导致严重的安全问题。通过系统模型、驱动与内核的交互和驱动与设备的交互这三部分的设计与实现,构建了符号驱动环境,用于辅助检测Linux驱动中的漏洞。使用符号驱动环境对...
关键词：驱动漏洞 漏洞检测 符号执行 驱动环境 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部