【摘 要】
：
网络程序由运行在不同物理节点上的服务器端和客户端组成。与普通二进制程序不同,网络程序在运行过程中,其服务器端和客户端会进行实时的通信和数据传输,二者之间的交互过程
【基金项目】
：
国家重点研发计划“网络空间安全”重点专项(2017YFB0802905)资助
论文部分内容阅读
网络程序由运行在不同物理节点上的服务器端和客户端组成。与普通二进制程序不同,网络程序在运行过程中,其服务器端和客户端会进行实时的通信和数据传输,二者之间的交互过程会对彼此的程序运行产生影响,因此,仅对服务器端程序进行分析常会导致漏洞的漏报或误报。首先以对网络程序进行自动化漏洞检测为目标,基于软件虚拟机的动态二进制翻译机制和选择性符号执行技术,对符号化数据的引入、符号执行过程中程序双端的状态同步技术进行了研究。然后通过重点函数挂钩的方式监控程序执行过程,确定了双端状态同步的判定模型,构建了一个自动化的网络程
其他文献
目的：新辅助化疗(neoadjuvant chemotherapy, NAC)已成为乳腺癌特别是局部晚期乳腺癌综合治疗重要部分,循证医学证据显示NAC后达到完全病理缓解的病人可以获得显著的生存获益
企业经济效益审计是基于传统审计基础上的更高层次的审计,它涉及到企业生产经营的各个方面,不仅关注财务信息的真实合法,还关注经营管理的效率和效果,是对企业经济资源利用效
2012年普利策辞世整整一百年。本文对普利策署名发表的《舆论的力量》一文进行版本和真实性的考据,在此基础上总结并分析了普利策的舆论思想。本文认为普利策所处的特殊时代,
高校美育是一门极具教育意义的课程,但特殊的教育目标和教学内容使得传统的学生评估方法难以真正了解学生及其教学效果。本文借鉴多元智能理论及其在学生评价方面的启示,对已
介绍了烧结厂以落实科学发展观为契机,大力发展循环经济,在努力建设资源节约型、环境友好型企业过程中的一些做法及取得的成效。近几年来,烧结厂紧紧遵循循环经济的“减量化
新企业会计准则的颁布,使我国会计准则与国际会计准则全面趋同,其中最大的焦点是公允价值计量属性的运用。对于公允价值在我国的运用依然存在争议。本文主要讨论公允价值计量
第一部分:宫颈鳞癌中ki-67与p63蛋白的表达及其相关性研究目的在正常宫颈上皮和宫颈鳞癌组织及细胞系中检测ki-67和p63的表达情况及其表达的相关性。方法选择2005-2010年安徽
互联网环境下能够实现信息的高效连通和交互,研究在互联网环境下实现学生学习效果的即时评价与反馈,让教师更有针对性、更高效地实施课堂教学具有重要意义。新的教学评价强调
根据近30年来的长江口大型底栖动物群落的历史资料,以及2009年和2010年的现场调查数据,从长江口底栖动物群落结构变化特征出发,分析了其长期演变的过程和规律,旨在阐明底栖动
目的分析电子支气管镜肺泡灌洗治疗重症肺部感染的临床效果。方法选取我院于2018年4月至2019年4月收治的重症肺部感染患者86例,将所有患者根据治疗方法的不同均分为研究组(43