静态分析和程序验证技术提高下的软件安全漏洞防护  

Static Analysis and Program Verification Techniques to Improve Software Security Vulnerability Protection

作　　者：李旺彦[1] 于彤[1] 

机构地区：[1]秦皇岛职业技术学院,河北秦皇岛066100

出　　处：《煤炭技术》2012年第10期205-207,共3页Coal Technology

摘　　要：网络技术逐渐改变了人们的生产、生活、学习甚至思维方式。然而,也看到网络其实并不安全。设法提高软件安全漏洞的防护能力显得非常具有现实意义。安全漏洞的形成会受到其周围系统环境和随着时间的推移而不断受到影响。这需要不断总结软件安全漏洞发掘方法,搭建更好的软件安全漏洞检测模型,开发出更好的动静态程序分析的漏洞检测工具,切实提高软件运行的安全性。Network technology gradually changed our production, living, learning and even ways of thinking. However, we also see that the network is not secure. Ways to enhance the ability of software vulnerabilities is very protective of practical significance. Vulnerabilities will be formed around the system environment and continuously over time affected. This requires us to constantly sum up software security vulnerabilities discovered ways to build better software security vulnerabilities detection model to develop better procedures for the analysis of dynamic and static vulnerability detection tools, and effectively improve the security of the software running.

关 键 词：静态分析 程序验证 软件 安全漏洞 

分 类 号：TP393.08[自动化与计算机技术—计算机应用技术]