基于随机Petri网的网络可生存性模型与分析方法

随着网络技术的不断发展，各种网络系统越来越复杂和庞大，网络可生存性研究已经成为国际上重要的科学问题之一。网络可生存性是一个网络系统在受到软硬件错误、外来攻击和操作故障等的影响时，向用户提供关键服务的能力。网络的可生存性全面的反映了网络服务的能力。本项目将从引起网络失效的现象出发，剖析影响可生存性的本质特征，针对不同的网络环境和不同的评价原则给出相应的可生存性描述，有针对性地建立各种随机Petri的模型并给出相应的量化评价方法。主要包括：网络可生存性的形式化描述、基于随机Petri的网络可生存性综合建模技术、网络可生存性的模型组合及其化简技术以及基于随机模型的可生存性量化评价技术。研究成果将提供一套较为完善的网络可生存模型与分析的方法，量化可生存性程度，分析存在的问题。为制订相应的容错/容侵机制、策略提供依据，进而为电子商务、电子政务等关键网络中系统的设计与评估提供科学的理论依据和指导。