【摘 要】
：
软件的安全性分析和漏洞检测是软件工程和信息安全领域的一个研究热点和难点问题。采用程序分析的方法对软件进行安全性测试,日益受到广泛的关注和重视。首先概述了有关软件
【机 构】
：
北京航空航天大学计算机学院,国防科学技术大学计算机学院,95934部队
【基金项目】
：
国家自然科学基金(61170189,60973105,90718017);教育部博士点基金(201111 02130003)资助
论文部分内容阅读
软件的安全性分析和漏洞检测是软件工程和信息安全领域的一个研究热点和难点问题。采用程序分析的方法对软件进行安全性测试,日益受到广泛的关注和重视。首先概述了有关软件安全性测试的基本概念;随后,详细介绍了3种基于程序分析的安全性测试方法:模糊测试、符号执行和自动化白盒模糊测试,并比较了这3种方法的优缺点;最后,给出了自动化白盒模糊测试的分布式模型。
其他文献
目的 :本文分析了 2 4例血清叶酸水平 <5nmol/L的习惯性流产妇女 ,血清叶酸水平为 4 5 3± 0 5 0nmol/L ,比对照组明显降低P <0 .0 1,(对照组为 13 0 7± 1 5 2nmol/L)。在
定量研究与定性研究是教育科研中的两种主要研究方法,各有利弊。本文试通过阐述定量研究与定性研究的异同来说明定量研究与定性研究方法相结合在科研中的必要性。
边坡稳定性影响因素众多,其中一部分具有明显的不确定性,用经典数学理论及力学模型很难描述。采用二级模糊综合评判法,对影响边坡稳定的离散型和连续型因素采用不同方法确定
上海大学04、05级新生中的33个班参与了大学英语中外教师合作教学模式的试点工作,取得了初步成绩。本文系对该模式的阶段性小结,以期在此基础上使之日臻完善。
目的 探讨聚合酶链反应 (PCR)反向膜杂交技术检测临床标本中结核分支杆菌 (TB)DNA的价值。方法 用PCR反向膜杂交技术检测 5 2 2例结核及 6 0例非结核患者临床标本中的TB DN
分析了第三方支付研究现状,提出了第三方在线支付企业市场进退问题;针对第三方在线支付企业市场进退的时机、机制、策略选择等,构建了基于博弈论的逆向剪枝模型与算法,并就企
介绍了公交车变速箱的市场需求及发展前景,分析了国内公交车变速箱的研究状况,针对公交车变速箱对噪音、密封性、操纵性的特殊特性,结合公司实际,对变过相关体结构,助力器及
目的通过对染色体多态性核型分析,探讨多态性与疾病的关系。方法对806例患者,采用外周血淋巴细胞培养、G显带进行染色体核型分析。结果 806例患者染色体多态性29例,占全部被
随着《围脖时期的爱情》成功走向纸质出版,微博小说创作日渐引起评论者和出版业的关注。与传统小说相比,微博小说具有即时互动、语言凝练等优点。但追求新奇的故事使即时互动
<正>随着围产医学技术的进步,早产儿的存活率逐步提高,而早产儿真菌感染日益受到新生儿重症监护中心(neonatal intensive care unit,NICU)医务人员的关注。研究显示:极低出生