基于规则检查的网卡驱动程序脆弱性研究.pdfVIP

下载本文档

7
0
约 5页
2017-09-03 发布于北京
举报
版权申诉

基于规则检查的网卡驱动程序脆弱性研究.pdf

1、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。。
2、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击这里二次下载。
3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
4、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
5、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
6、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
7、VIP文档为合作方或网友上传，每下载1次，网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档

4兰目责编:陶体富技研学术. Technology Research I 83 基于规则检查的网卡驱动程序脆弱性研究贺滴，夏群峰，甘水滔 (江南计算技术研究所.江苏无揭214αm [铺要]在计算机系统中，驱动程序相当于操作系统和底层硬{牛的交互纽带，其正确俊不容忽视。以 Linux 内核网卡驱动程序为主要分析对象，通过对网卡驱动程序的基本功能模块进行分析.借助符号执行技术，提出了一种基于规则检查的阿卡驱动程序分析方法，构建了一个自动化分析系统。针对Linux 2.6.29 版本的内核，利用该系统进行测试.结果表明该系统可以快速有效发现新脆弱性。 [关键词]网卡驱动;脆弱性;符号执行;规则检查 [中图分类号]TP311 [文意编号] 1ω-8054(2016)侃-∞83-05 [文就标志码]A R臼earch 00 Net-Driver Vuloerability based 00 Rul臼 Checking H E Hao ,XIA Qun-feng ,GAN Shui- tao (Lab of Computer Science , Jiangnan Computer Technique Institute , Wuxi J iangsu 21 4α泊，China) [ Abstract ] In a computer system , the driver 盹凹es 副 an inleraClion bridge of belween operaling syslem and underlying haroware , and Ihus ils validity should not be ignored. By taking 由e Linux kemel net -driver as the major object ,Ihrough analysis on the basic function module of nel drivers , and wilh Ihe help of symbolic execulion , an analysis method based on rules checking for nel drivers is pro萨陆ed ， and a aulomalic analys.is syslem constructed. For Linux kemel 2.6.29 version , Ihe pro怀陪ed syslem is u目d 10 carηout test , and Ihe result shows that 山is systemωn find new vulnerabilily quickly and efficienùy. [ K ey w on:ls] nel driver; 叫nerabilily; 叩巾lic execuLion; rules checking 危害将是致命的，因此需要对驱动程序进行脆弱性分析。 0 引言内按驱动脆弱性随着计算机在人类生活中的快速仔及，在一些特殊的应用领驱动程序在 Kemel 中是极其重要的部分，Linux 系统的内核域中.比如金融、交通、工业等领域，对计算机系统的安全性要求