【摘 要】
：
为解决由于软件代码缺陷而引发的信息系统安全性问题,本文提出了应用软件故障注入技术对被验代码进行有针对性的缺陷验证,介绍了软件故障注入技术中的静态及动态注入方法,并
【机 构】
：
国家信息中心信息安全研究与服务中心; 中国航天工程咨询中心;
论文部分内容阅读
为解决由于软件代码缺陷而引发的信息系统安全性问题,本文提出了应用软件故障注入技术对被验代码进行有针对性的缺陷验证,介绍了软件故障注入技术中的静态及动态注入方法,并着重介绍了静态注入的主要方法:程序变异。进而分析了故障注入技术在检测程序代码漏洞中的流程和方法,在此基础上设计实现了软件故障注入的工程辅助工具,并通过实际的工程案例分析,验证了该技术和所开发工具的有效性。
其他文献
SiC功率器件开关速度快、开关损耗小、反向恢复特性好,能提高单级功率因数校正(PFC)电路的应用频率,提升效率、功率因数及装置稳定性,简化电路结构,减小体积、功耗和设计难度
戴维·伊士顿将政治认知定义为“一个年轻人在其生活环境中获得政治倾向的基本内容之一”。由此,政治认知是获得政治倾向的基本内容之一,其发展主要在青年时期并与个人生活环境相关。初中生认知水平达到了政治认知发展的相应水平,初中生政治认知发展对社会政治文明及国家政治系统的稳定具有重要意义。本研究围绕“初中生政治认知”这一主题,对当前初中生政治认知现状进行了调查与分析,立足于学校教育审视当前初中生政治认知现状
背景:重型再生障碍性贫血(SAA),简称重型再障,目前的一线治疗方案为强化免疫抑制治疗(IST)和同胞全合移植(MSD-HSCT)治疗,国内外文献报道同胞全合移植(MSD-HSCT)和IST的总体
[目的]系统评价单用环孢素A(cyclosporin A,CsA)、单用雄激素和CsA联合雄激素三种方案治疗非重型再生障碍性贫血(non-severe aplastic anemia,NSAA)的有效性和安全性,为临床
物联网处于现代信息技术的领导地位,光纤传感技术为其发展提供了支持,需要重点关注与应用。基于此,本文分析了智慧物联网发展现状,并从光纤传感器的应用、网络搭建、传感器优
山海关古城是文化底蕴深厚的历史名城之一,是全国首批重点文物保护单位。而随着旅游经济的大规模开发建设以及整体开发的不均衡性,其人居环境也都受到了一定程度上的影响与破
<正>《广东科技》:请您介绍,华南理工大学在推动广东省新能源汽车创新发展的过程中扮演了怎样的角色?李巍华:华南理工大学一直以支持地方经济建设为自己的重要使命。汽车工业
1研究背景本课题选题来自973计划——“基于临床的灸法作用机理研究”(2015CB554506),该项973计划拟比较不同产地以及不同储存期艾绒的临床疗效差异,并总结分析不同产地和不
<正>0引言近年来,如何向密封环境下工作的电子设备进行定向无线电能传输技术,引起了人们极大的兴趣。对密闭容器或装置内部的电子设备进行供电时,由于环境和要求的特殊性,常
轮胎耐久性试验机采用的是电液伺服系统,电液伺服系统属于本质非线性和不确定性系统,采用传统的经典模拟控制器难以取得好的控制效果。以ARM内核微处理器LPC2292为硬件核心,