论文部分内容阅读
基于故障注入的软件安全性动态测试技术是软件测评与系统安全分析相结合而产生的一种新技术.本文系统地研究了软件故障、系统脆弱性、软件测试以及软件故障注入之间的关系,对软件故障注入的理论模型进行了分析.介绍了一种软件故障注入动态白盒安全性测试的具体实现方法与实际效果。
基于故障注入的软件安全性测试方法研究
【摘 要】
：
基于故障注入的软件安全性动态测试技术是软件测评与系统安全分析相结合而产生的一种新技术.本文系统地研究了软件故障、系统脆弱性、软件测试以及软件故障注入之间的关系,对
【机 构】
：
北京系统工程研究所,北京,100101北京图形研究所,北京,100029
【出 处】
：
全国抗恶劣环境计算机第十五届学术年会
【发表日期】
：
2005年10期
其他文献
在新型导弹的研制过程中,为了实现导弹与载机火控系统的接口协调联试以及后期的地面试验、模拟发射训练、日常训练、载机武器系统性能检测等,均需要研制导弹模拟器,以便提高
漏洞挖掘技术和攻击技术在信息安全领域占有重要地位.它们不但能使攻击者入侵系统,也能帮助防御者抵御进攻.鉴于国外在这方面起步较早,发展较快,主要介绍了国外的漏洞挖掘和
总结抗恶劣环境光纤收发器产品设计、调试过程中所遇到的问题和经验,详细阐述信号完整性的成因及其解决方案,具有一定的实用性和可推广性。
根据现有的结算机体系架构存在的安全威胁提出了一种新的基于虚拟化技术的可信网络模型,这种模型可以解决和削弱目前仍然存在的多种安全问题和安全威胁.根据现有的技术条件,
可穿戴计算机的应用前景很广泛,提高抗振性能是其实用化急需解决的关键技术之一.可穿戴计算机所提供的全新的人机交互模式,决定了人体环境即为其工作环境.研究可穿戴计算机工
当软件的运行结果同预期不一致时,软件发生失效.软件失效表明软件中存在错误,开发人员需要对软件进行调试,以发现引发软件失效的问题所在,这就是故障定位问题。有效的故障定
近年来,随着对Adhoc路由协议研究的深入,提出了许多路由协议,混合型路由协议ZRP(ZoneRoutingProtocol)协议就是其中之一.ZRP在路由区域内执行主动路由协议来维护区域内节点的
利用增强的BAN类逻辑-AUTLOG逻辑,对中国无线局域网安全标准无线认证和保密基础设施(WAPI)国家标准及实施方案的认证模型进行了深入分析,分析结果表明原国家标准中存在诸多安
本文以具体的项目为实例,详细介绍了TMS320C6205DSP与CY7C68013的SlaveFIFO方式USB接口电路原理;并介绍了EZ-USBFX2内核的固件初始化程序、USB2.0设备驱动程序以及TMS320C620