声明
致谢
摘要
第一章绪论
1.1研究背景和意义
1.1.1工业控制系统概念和组成
1.1.2工业控制网络系统安全现状
1.1.3研究目的与意义
1.2研究现状分析
1.2.1可信计算理论的产生
1.2.2可信理论研究现状
1.2.3多态理论研究现状
1.2.4工业控制网络系统风险评估标准研究现状
1.3论文研究方法、研究内容
1.4论文结构及逻辑关系
第二章可信工业控制网络系统理论基础
2.1可信计算的原理和实现
2.2随机过程理论
2.2.1随机过程简介
2.2.2 Markov模型
2.2.3连续时间Markov模型
2.2.4连续时间半Markov模型
2.3有奖Markov模型
2.3.1基本定义和模型描述
2.3.2模型计算方法和步骤
2.4通用生成函数(Universal Generating Function,UGF)
2.4.1生成函数
2.4.2通用生成运算符和通用生成函数
2.4.3通用生成函数在工业控制网络性能分析中应用
2.4.4工业控制网络系统性能定量评估
第三章可信工业控制网络系统架构
3.1彩虹计划与可信计算
3.2可信计算环境的构建
3.2.1可信计算环境的发展
3.2.3可信网络连接
3.2.2可信环境构建技术
3.3可信网络的可信管理
3.4可信工业控制网络体系结构
3.4.1传统工业控制网络系统体系结构
3.4.2传统工业控制网络系统安全措施
3.4.3可信工业控制网络系统体系结构
3.4.4可信工业控制网络系统网络协议实现
3.5本章小结
第四章可信工业控制网络系统安全性研究
4.1工业控制网络系统安全性措施
4.2工业控制网络系统安全性研究现状分析
4.3.1安全评估标准和度量方法
4.3.2可信计算机系统评估准则和可信网络解释
4.3.3工业控制网络系统参考模型
4.3.4可信定量测度模型
4.4多态有奖Markov安全性度量模型
4.4.1基于可用性定量度量
4.4.2基于失败次数的定量度量
4.4.3基于可靠性定量度量
4.4.4算例分析
4.5本章小结
第五章可信工业控制网络系统可生存性研究
5.1.1网络系统可生存性的概念
5.1.2工业控制网络系统可生存性定义
5.2网络系统可生存性分析及评估
5.2.1可生存性分析
5.2.2可生存性评估
5.3.1可生存性需求分析
5.3.2可生存技术研究现状
5.3.3可生存技术的实现
5.4工业控制网络系统可生存性度量
5.4.1可生存性度量模型
5.4.2静态可生存性计算模型
5.4.3多性能动态可生存性计算模型
5.5本章小结
第六章可信工业控制网络系统可控性研究
6.1线性系统的可控性与可观性
6.1.1线性定常连续系统的可控性
6.1.2线性定常离散系统的可控性
6.2复杂网络可控性
6.2.1复杂网络的基本特征参数
6.2.2复杂网络的基本模型
6.2.3复杂网络的可控性判别
6.3可信工业控制网络系统可控性
6.3.1工业控制网络系统可控性度量
6.3.2基于输出性能的可控性度量
6.3.3基于复杂网络的可控性度量
6.3.4基于Markov决策过程的可控性度量
6.3.5基于强化学习的可控性度量与优化
6.4本章小结
第七章总结与展望
参考文献
攻读博士学位期间的学术活动及成果情况
合肥工业大学;