基于动态混合故障模型和进化博弈论的可生存性分析方法研究

项目名称： 基于动态混合故障模型和进化博弈论的可生存性分析方法研究

项目编号： No.60970143

项目类型： 面上项目

立项/批准年度： 2010

项目学科： 自动化技术、计算机技术

项目作者： 朱建明

作者单位： 中央财经大学

项目金额： 29万元

中文摘要： 本项目基于动态混合故障模型和进化博弈论，研究可生存性的定量评价方法和系统的系统（SoS，System of Systems）可生存性保障理论与技术。在对可生存性与安全性、可靠性、可信性等属性关系深入研究的基础上，设计新的系统可生存性分析范式；基于动态混合故障模型和进化博弈论，研究系统可生存性的评价理论与方法，建立系统可生存性的定量评价模型；基于通用可组合安全（UC，Universally Composable）模型，借鉴协议形式化分析与组合的理论与方法，研究系统可生存性的验证与可组合理论。在此基础上，研究系统的系统的可生存性保障理论与方法，为构建可生存的信息系统提供理论基础和实用方法。

中文关键词： 可生存性；动态混合故障模型；博弈论；系统的系统；

英文摘要：

英文关键词： survivability；dynamic hybrid fault models；game theory；system of systems；