使用符号化驱动环境检测Linux设备驱动程序的漏洞OA北大核心CSCDCSTPCD
Symbolic device driver environment for detecting bugs in Linux device driver
研究表明,驱动程序的漏洞是造成Linux系统安全问题的主要原因之一,可引发提权、拒绝服务等高危情况.针对无具体设备的情况下,无法对驱动程序进行运行时漏洞检测的问题,提出了对驱动程序进行符号化执行的思路,提出了一种基于符号执行技术实现的驱动程序模拟环境,可以用于分析和检测Linux设备驱动程序中存在的安全漏洞.该环境通过模拟内核提供给驱动程序的服务接口,使驱动程序可以在应用层进行符号执行进而可对其进行漏洞检测.同时,该环境无需真实硬件的支持,并且具…查看全部>>
徐永健;王丹;陈渝;范文良
北京工业大学计算机学院,北京100124清华大学计算机科学与技术系,北京100084北京工业大学计算机学院,北京100124清华大学计算机科学与技术系,北京100084
信息技术与安全科学
漏洞检测符号执行Linux设备驱动
bug detectionsymbolic executionLinuxdevice driver
《计算机工程与科学》 2016 (2)
XQuery语言运行时自动程序例化技术的研究
290-296,7
国家自然科学基金(61202074)
评论