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

Research on Survivability of Information System Based on Model Checking Technology

作　　者：许秀林[1] 胡克瑾[2] 

机构地区：[1]南通职业大学电子工程系,南通226007 [2]同济大学经济与管理学院,上海200092

出　　处：《计算机工程》2009年第21期74-77,共4页Computer Engineering

基　　金：江苏省高校自然科学研究指导性计划基金资助项目(05KJD520172)

摘　　要：在运用Jha方法进行信息系统生存性研究时,没有分析不同攻击场景与系统节点失效之间的关联性,也未考虑系统提供多个服务情形下的生存性分析。针对上述问题,提出运用模型检查技术评价系统生存性的改进算法,建立多攻击场景、多个服务情形下系统生存性的计算模型,实例分析证明其具有较好的适用性。When Jha makes research on the survivability of information system with the method of model checking, it lacks the research on the relation between the different attacking scenes and failed system nodes, and it does not consider how to measure the survivability when the system provides multi-services at the same time. Aiming at such problems, this paper proposes an improved algorithm of measuring the survivability of inlormation system based on Model Checking（MC）, and constructs the survivability model of the system supplying multi-services at the same time facing different test scenes. It is proved that the new method is suit for survivability analysis.

关 键 词：信息系统 生存性分析 模型检查 

分 类 号：N945[自然科学总论—系统科学]