【摘 要】
：
Linux系统中的驱动漏洞被证实是内核漏洞的主要来源,可以被利用导致严重的安全问题。通过系统模型、驱动与内核的交互和驱动与设备的交互这三部分的设计与实现,构建了符号驱
【基金项目】
：
国家自然科学基金资助项目(61170050);核高基重大专项基金资助项目(2012ZX01039-004)
论文部分内容阅读
Linux系统中的驱动漏洞被证实是内核漏洞的主要来源,可以被利用导致严重的安全问题。通过系统模型、驱动与内核的交互和驱动与设备的交互这三部分的设计与实现,构建了符号驱动环境,用于辅助检测Linux驱动中的漏洞。使用符号驱动环境对两个真实的驱动进行检测,成功检测出了两个漏洞,证实了该工具的可行性。与SymDrive工具的性能相比,符号驱动环境执行速度快90%,覆盖率提高20%。
其他文献
廉租房政策作为国家保障性住房政策体系的重要组成部分，其完善与否直接影响国家保障性住房政策的目标效果。廉租房政策，从无到有经历了不断完善的过程，这些政策为促进我国廉租房
目的：查清陕南地区野生半夏变异类型与优良种质。方法：收集陕南三地市野生半夏种源样本,田间分类种植,观察、比较、测定。结果与讨论：陕南地区野生半夏变异类型丰富多样,主要有
人们对病毒已有相当的研究,已开发了多种病毒检测算法和检测病毒的数学模型,检测病毒的技术发展至今已有三到四代的技术。尽管目前出现了多种具有智能性病毒检测的新算法,但
醉鱼草是具有较高观赏价值的木本花卉,本文就蓝花、白花、紫花3种醉鱼草在东营地区的生长表现做简单探讨。结果表明:3个品种的醉鱼草花期重叠而又错开,很好的满足了园林绿化
大学教育的最终目的应该定位于实现人的全面发展,努力培养出具有健全体格和人格、具有创新和实践能力、全面发展的高素质人才。要实现以学生全面发展为目标的大学本科教育,必
今日惠城近年来,惠城区在区委区政府的带领下,抓住机遇,充分发挥优势,采取有力措施,努力奋进,实现了长足发展,2014年全年完成生产总值560.13亿元。惠城区集山、江、湖、海、
<正>为深入学习贯彻习近平外交思想,认真落实国务委员、外交部部长王毅关于"支持重庆八件实事"(外交部2019年支持重庆八项举措),进一步提升重庆对外开放工作水平,外交部于5月
目的:比较南充地区野生芍药叶型和竹叶型半夏的指纹图谱并鉴定差异分子。方法:采用RAPD扩增、分析不同叶型半夏指纹图谱,并对典型特异扩增条带进行克隆和测序分析。结果:36条
公司僵局如果不能及时化解将极大的危害公司和股东的利益，为了解决该问题，我国2005年的《公司法》确立了公司司法解散制度。然而由于《公司法》的规定过于原则，缺乏可操作性，造成
目的探索研究在对急诊重症肺炎并发感染性休克患者进行治疗与护理时,具体的治疗与护理的方法以及得到的效果。方法提取在2018年1月后2019年1月前之间在我院就诊的急诊重症肺