任务关键系统可生存性的形式化建模方法

摘要

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