首先用对象Petri网对网络系统进行了形式化的描述与建模,接着构建了系统的攻击失效模型,并用模糊推理方法对系统在攻击发生时状态的变化进行了描述,最后在此基础上对攻击行为的严重程度和服务等级进行了有效量化,提出了分布式系统可生存的评价参数。这种在复杂攻击发生的早期推理分布式系统的生存能力的建模与分析方法可有效地度量贯穿攻击各阶段的系统的可生存能力,并为系统进行持续服务和进行应急响应提供可靠依据。
The object-oriented Petfi net was used for formal description and modeling of network system. Then attack failure model was established and the transformation of system state in the presence of attack was described by the method of fuzzy inference. Finally, the value parameters were presented based on the quantification of the level of attack severity and service. The modeling and analyzing method of inferring distributed system's survivability in the early stage of sophisticated attack can measure system survivability in every stage of attack effectively and provide reliable basis for continuous service and emergency response.