基于故障注入的信息系统安全性缺陷验证技术研究

本文针对信息系统内由于软件代码缺陷而引发的系统安全性问题，特别是目前较严重的缓冲区溢出漏洞，提出了应用故障注入技术通过程序变异等方法对被验代码进行有针对性的缺陷验证。详细介绍了软件故障注入技术及静态注入方法，分析了故障注入技术在检测程序代码漏洞中的流程和方法，在此基础上设计实现了软件故障注入的工程辅助工具，并通过实际的工程案例分析，验证了该技术和所开发工具的有效性。