【摘 要】
：
软件漏洞静态分析是信息安全领域的重点研究方向,如何描述漏洞及判别漏洞是漏洞静态分析的核心问题。提出了一种用于描述和判别漏洞的漏洞静态检测模型。首先对软件漏洞的属
【基金项目】
：
基于任务的木马关联行为识别研究(61272033);移动网络行为的多态聚类及其演化研究(61272405);云计算安全基础理论与方法研究(2014CB340600)资助
论文部分内容阅读
软件漏洞静态分析是信息安全领域的重点研究方向,如何描述漏洞及判别漏洞是漏洞静态分析的核心问题。提出了一种用于描述和判别漏洞的漏洞静态检测模型。首先对软件漏洞的属性特征进行形式化定义,并对多种软件漏洞和其判定规则进行形式化描述;其次,针对传统的路径分析存在的状态空间爆炸问题,提出了一个新的程序中间表示——漏洞可执行路径集,以压缩程序状态空间。在该模型的基础上,设计了一个基于漏洞可执行路径集的软件漏洞静态检测框架,利用定义的漏洞语法规则求解漏洞可执行路径集上的漏洞相关节点集,利用漏洞判定规则对漏洞相关节点集进
其他文献
介绍一种基于8051F330单片机实现遥控编码器PT2262的软件解码方法，将PT2262原来一次只能够传送二进制数据的位数从4～6位扩展至19位，使其应用于数字通信，智能化控制等领域，并给出采
本文通过对二语习得理论派别及主要的输入观以及与此有关实证研究的回顾,指出三种输入观各有其特点,对我国的外语教学有一定的指导意义,但不能生搬硬套,要结合我国教学实际。
不同教学层次数学公式子结构的使用概率存在明显差异.该文结合符号类别及数学公式子结构在不同教学层次的教学概率,提出基于上下文感知联机手写数学公式符号区位跟踪结构分析
改革开放30多年来的中国,为适应经济新常态的挑战,传统的产业政策亟待转型。综观新常态下政策转型的维度刻画以及政策各要素之间的微观互动,当前中国产业政策转型的核心议程
山西省的水土流失是土壤遭受水力侵蚀、重力侵蚀和风力侵蚀三种侵蚀造成的。在这三种侵蚀形态中,以水力侵蚀分布面积最广最严重。我省水土流失的演变,可分为两个阶段,第一阶
通过对凯里市城区绿化现状分析,提出发展的思路和对策,早日把凯里建成省级园林城市.
目的对老年心功能不全患者优质护理的临床效果分析与探讨。方法选取2014年10月-2015年10月在我院接受诊治的60例老年心功能不全患者。按照护理方式进行分组,分为对照组（30例）和
α干扰素，包括长效干扰素———聚乙醇化α干扰素（PEG‐IFNα），是临床用以治疗慢性乙型肝炎的首选药物。但干扰素治疗通常只能在有限的患者中获得完全应答。目前干扰素治疗应答相
凡世界上的政党,大多以执政作为生存发展的最高形式,期望执掌政权或长期执政.执政党的理念、能力及其执政效果,关系它自己的命运,也影响国家、社会和人民的前途.我国的实践证
社会主义理论是运动和制度的自觉意识.取得正确认识的根本方法,是立足于实践,在实践中进行理论再创.也只有把握规律,才能保证从"必然王国"逐步走向"自由王国".全面推进当今中