基于符号表达式的未知协议格式分析及漏洞挖掘

来源 :中国科学院研究生院学报 | 被引量 : 0次 | 上传用户:liwl11
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
针对网络通讯软件的Fuzzing技术受限于协议格式,尤其是未知协议难以保证测试效果,提出了基于符号表达式的协议分析方法.将数据包关键处理代码翻译为符号表达式,利用符号表达式的丰富含义加快未知协议格式分析,并依此开发了协议格式分析及漏洞挖掘框架PAVD.通过对亿邮客户端的漏洞测试,验证了PAVD能有效提升协议分析效率,为网络通讯软件Fuzzing测试提供良好的支持.
其他文献
人力资源的开发和利用还包括企业制定一系列与规章制度相配套的激励机制。只有激励才能产生高效率,只有激励才能产生凝聚力,企业才能获得可持续发展。通过把这种激励机制结合
使用中国吉林省1978~2009年人口、GDP和单位GDP能耗数据,采用BP神经网络模型分2种情景预测了吉林省2020年CO2排放量.结果表明,如果以吉林省2005年单位GDP的CO2排放为参照,2种
为了解青海省春小麦Glu-1位点的遗传多样性及其品质状况,检测了49个青海省代表性春小麦品种的高分子量麦谷蛋白亚基(HMW-GS)组成情况,并测定了每一品种的谷蛋白溶胀指数.共检测
分析了原绳栓铣、钻组合机床在性能、结构、液压等方面存在的一些问题,提出了相应的改进措施,并在设计上进行了进一步完善。满足了绳栓加工工艺要求。
在采用空时码的无线通信系统中,收发2端较差的路径会降低系统的性能.提出了多速率线性离散码(LDC),并对其进行了分析,给出了一种基于矩阵扩展方法的设计算法.多速率LDC是传统LD
美国次贷危机引发的金融危机,正在扩展为世界经济危机,现在许多地方把主要精力放在发展和解决眼前的问题上,改革创新却被搁置一旁。在当前,面对危机,要把改革创新作为应对危机的根
本文介绍了多工位压力机的特点及其发展,对多工位压力机一种流行的主传动方式——多连杆机构进行了研究,运用计算机编程对机构的运动进行了分析,提供了机构参数设计的手段,利
法国廉租房政策在全世界都有口碑,它不仅解决了低收入者的住房问题,而且很好地稳定了房价。不过,法国的“廉租房”也并非没有空子可钻。去年12月,法国住房与城市部长办公室主
【正】韩国的高物价早已不是什么新鲜话题,1000韩元(相当于8元人民币)一个苹果,2万韩元一斤牛肉……首尔物价已经直逼巴黎、伦敦。但是最近一段时间,韩国
摘要:新形势下,大学生日益突出的新的问题和矛盾毫不留情的摆在了面前。作为高校基层工作者的辅导员,面对新的挑战和新的任务,只有认真领会和贯彻中央精神,不断加强学习,更新知识,改变工作方法和手段,提高自身素质,勇于创新,努力实践,才能真正走近学生,贴近学生,做好学生的管理工作。  关键词:管理;骨干;素质  中图分类号:G40 文献标识码:A 文章编号:1672-3198(2010)02-0182-0