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

• 作者: 于彤 李旺彦
• 来源期刊: 煤炭技术
• 学科: 工学
• 关键词: 静态分析 程序验证 软件 安全漏洞
• 年，卷（期）: 2012,（10）
• 所属期刊栏目: 技术交流
• 页码范围: 205-207
• 分类号: TP393.08
• 字数: 3248字
• 语种: 中文
• DOI: 10.3969/j.issn.1008-8725.2012.10.093

摘要

网络技术逐渐改变了人们的生产、生活、学习甚至思维方式.然而,也看到网络其实并不安全.设法提高软件安全漏洞的防护能力显得非常具有现实意义.安全漏洞的形成会受到其周围系统环境和随着时间的推移而不断受到影响.这需要不断总结软件安全漏洞发掘方法,搭建更好的软件安全漏洞检测模型,开发出更好的动静态程序分析的漏洞检测工具,切实提高软件运行的安全性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李旺彦		19	68	5.0	8.0
2	于彤		14	7	2.0	2.0