基于模型检查技术的信息系统生存性研究

• 作者: 胡克瑾 许秀林
• 来源期刊: 计算机工程
• 学科: 地球科学
• 关键词: 信息系统 生存性分析 模型检查
• 年，卷（期）: 2009,（21）
• 所属期刊栏目: 软件技术与数据库
• 页码范围: 74-77
• 页数: 4页
• 分类号: N945
• 字数: 4062字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2009.21.025

摘要

在运用Jha方法进行信息系统生存性研究时,没有分析不同攻击场景与系统节点失效之间的关联,也未考虑系统提供多个服务情形下的生存性分析.针对上述问题,提出运用模型检查技术评价系统生存性的改进算法,建立多攻击场景、多个服务情形下系统生存性的计算模型,实例分析证明其具有较好的适用性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	胡克瑾	同济大学经济与管理学院	81	618	14.0	20.0
2	许秀林	南通职业大学电子工程系	29	120	8.0	10.0