论文部分内容阅读
软件脆弱性成为计算机系统及网络信息安全中一个极大的安全隐患.重点阐述了软件脆弱性检测中测试数据集构造方法、覆盖导向测试方法、脆弱性触发方法及二进制程序分析平台的研究进展,并指出动态和静态检测技术的集成和融合(如动态符号执行技术)是未来的研究方向.
软件脆弱性检测技术
【摘 要】
：
软件脆弱性成为计算机系统及网络信息安全中一个极大的安全隐患.重点阐述了软件脆弱性检测中测试数据集构造方法、覆盖导向测试方法、脆弱性触发方法及二进制程序分析平台的
【机 构】
：
信息工程学院,河南郑州,450002
【出 处】
：
河南省计算机学会2011年学术年会
【发表日期】
：
2011年期
其他文献
新课改的推进，我们愈发清醒地认识到：初中的英语教学必须加强对初中生口语交际能力的培养，英语教师应该努力了解和熟练掌握中外文化方面的差异，并有效加强学生的交际训练，才能更大限度地提高学生的英语综合能力。鉴于跨文化交际能力在英语教学中举足轻重的作用，英语教师应在日常教学中努力培养学生跨文化交际的能力，为学生英语素质的全面发展夯实基础。 一、在词汇句型教学中渗透英语文化 语言是文化的最主要的载体。在
为了使植物检疫技术人员方便、快速的查询和管理检疫性病虫害相关信息,控制国内有害生物的蔓延和阻止外来有害生物的入侵,特开发设计了植物检疫信息管理系统.本系统是基于Win
会议
久闻陕西赵振川画名,对他在全国美展中的作品也深有印象。但直到2010年10月,我去西安出席20世纪五大画派作品回顾展,又主持了学术研讨会,才与赵振川面对面地谈话与交流。他谦
通过焊接热模拟试验,模拟不同热输入下Q1100粗晶区的热循环过程。采用示波载荷冲击试验机检测焊接热模拟试样的冲击韧性,结合OM、SEM观察试样的显微组织和断口形貌;采用TEM观
“十二五”是西藏大发展的一个关键区间,西藏将实施“一产上水平、二产抓重点、三产大发展”的经济发展战略、加快转变经济发展方式为主线,推进西藏快速发展。
In the 12th
通过把Word集成到所开发的应用系统中,能够大大提高系统开发效率,减少工作量.本文以院校科研管理系统开发为例,提出了在.NET环境下实现Word固定模式文档的编辑的基本思路和实
内容摘要：《红字》的女主角海斯特·白兰（Hester Prynne）是一位具有主体性的独立女性。母亲、异性恋爱人以及同性姐妹三种身份在海斯特·白兰（Hester Prynne）身上浑融一体，在每一种身份里所体现出来的主体性分别是海斯特·白兰（Hester Prynne）构建其主体性的每一个侧面。由于尊重自己与他者之间的差异，她所构建的女性身份既有别于雌雄同体亦有别于铁娘子，而是以尊重两性差异为前提
Inertial parameter estimation and control of non-cooperative target with unilateral contact constrai
In this paper, the relative sliding motion between the target and the manipulator's end-effector is considered and characterized as a unilateral contact constra