基于模型检验的软件安全静态分析研究

• 作者: 刘辉宇 肖道举 陈晓苏 黄锦
• 来源期刊: 科技与创新
• 关键词: 静态分析 模型检验 漏洞挖掘 软件安全
• 年，卷（期）: 2007,（30）
• 所属期刊栏目: 信息安全
• 页码范围: 86-87,49
• 页数: 3页
• 分类号: TP393.08
• 语种: 中文
• DOI: 10.3969/j.issn.1008-0570.2007.30.033

摘要

软件安全静态分析是检测软件安全漏洞的一种手段.本文在总结现有的软件安全静态分析方法的基础上,将在硬件设计领域得到成功应用的模型检验方法引入到软件产品的检验中,给出了一种基于自动机理论的检测软件安全的模型检验方法,阐述了其原理和工作流程,并用实例进行了验证说明.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈晓苏	华中科技大学计算机学院	100	1216	18.0	28.0
2	肖道举	华中科技大学计算机学院	58	869	16.0	26.0
3	刘辉宇	华中科技大学计算机学院	11	128	7.0	11.0
4	黄锦	华中科技大学计算机学院	8	60	5.0	7.0