摘要:Linux系统中的驱动漏洞被证实是内核漏洞的主要来源,可以被利用导致严重的安全问题。通过系统模型、驱动与内核的交互和驱动与设备的交互这三部分的设计与实现,构建了符号驱动环境,用于辅助检测Linux驱动中的漏洞。使用符号驱动环境对两个真实的驱动进行检测,成功检测出了两个漏洞,证实了该工具的可行性。与SymDrive工具的性能相比,符号驱动环境执行速度快90%,覆盖率提高20%。
关键词:驱动漏洞 漏洞检测 符号执行 驱动环境
单位:清华大学计算机科学与技术系 北京100084
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社
相关期刊
计算机辅助工程 计算机辅助设计与制造 计算机辅助设计与图形学学报 福建建筑 祝你幸福 驻马店市人民政府公报 福建省社会主义学院学报 文教资料·小学版 中学生数理化·八年级数学·配合人教社教材 农业灾害研究相关范文
辅助教学论文