网络可生存性的形式化建模方法研究

摘要

提出一种基于性能评估进程代数的网络可生存性形式化建模方法。通过剖析影响可生存性的本质特征,将服务请求与服务器、攻击者与服务器描述为不同的组件,使用PEPA语言精确描述系统各个状态问的逻辑关系和动态变化过程,从用户服务请求和攻击影响两个角度分别构建网络可生存性形式化模型,并比较两种建模角度的异同。理论分析和实验结果表明了本文所提方法的合理性和有效性,该模型能够正确地反映出可生存性的关键属性,并可在理论上指导可生存系统的设计和实现。