模型检验技术在软件漏洞自动挖掘中的应用

• 作者: 刘晖 张(羽中)斌 张晓敏
• 来源期刊: 华中科技大学学报（自然科学版）
• 学科: 工学
• 关键词: 软件 漏洞挖掘 模型检验 时序安全属性 有穷状态自动机
• 年，卷（期）: 2008,（2）
• 所属期刊栏目: 计算机科学与技术
• 页码范围: 70-73
• 页数: 4页
• 分类号: TP311.5
• 字数: 2526字
• 语种: 中文
• DOI: 10.3321/j.issn:1671-4512.2008.02.018

摘要

将在工业设计领域应用很成功的模型检验技术引入到信息技术软件产品的安全漏洞挖掘中,提出了针对源码的漏洞挖掘系统原型,以开放源代码的操作系统Linux为例,建立了特权释放和文件创建的安全属性模型,并举例加以验证.研究结果表明:该方法是一种自动化挖掘软件安全漏洞并证明漏洞存在性的形式化方法,对挖掘已经确认机理类型的漏洞非常有效.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张晓敏	山东大学信息科学与工程学院	29	198	6.0	13.0
2	刘晖	华中科技大学计算机科学与技术学院	18	141	6.0	11.0
3	张(羽中)斌		1	6	1.0	1.0