基于Model Checking的系统脆弱性分析

• 作者: 段川 蒋凡 黄光华
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 脆弱性 Model checking NuSMV
• 年，卷（期）: 2005,（4）
• 所属期刊栏目: 安全技术
• 页码范围: 148-151
• 页数: 4页
• 分类号: TP393.08
• 字数: 5144字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2005.04.054

摘要

基于规则的脆弱性分析技术依赖于对系统组件间关系的经验知识,系统复杂性、竞态条件、隐含假设等因素,使规则的生成异常困难.该文提出了采用NuSMV作为Model Checking执行机验证系统安全行为模型的脆弱性分析方法,并详细描述了对两个模型实例进行验证的过程.结果显示,这种方法具有识别已知和未知脆弱性的能力.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	蒋凡	中国科学技术大学计算机科学与技术系	97	867	16.0	25.0
2	段川	中国科学技术大学计算机科学与技术系	3	8	1.0	2.0
3	黄光华	中国科学技术大学计算机科学与技术系	1	6	1.0	1.0