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