可信工業(yè)控制網(wǎng)絡(luò)系統(tǒng)性能屬性測度研究

目錄
前言
第1章 緒論 1
1.1 研究背景和意義 1
1.1.1 工業(yè)控制系統(tǒng)概念和組成 1
1.1.2 工業(yè)控制網(wǎng)絡(luò)系統(tǒng)安全現(xiàn)狀 2
1.1.3 研究目的與意義 3
1.2 研究現(xiàn)狀分析 3
1.2.1 可信計算理論的產(chǎn)生 3
1.2.2 可信理論研究現(xiàn)狀 4
1.2.3 多態(tài)理論研究現(xiàn)狀 6
1.2.4 工業(yè)控制網(wǎng)絡(luò)系統(tǒng)風(fēng)險評估標(biāo)準(zhǔn)研究現(xiàn)狀 7
1.3 本書研究方法及研究內(nèi)容 7
1.4 本書結(jié)構(gòu)及邏輯關(guān)系 9
第2章 可信工業(yè)控制網(wǎng)絡(luò)系統(tǒng)理論基礎(chǔ) 11
2.1 可信計算的原理和實現(xiàn) 11
2.2 隨機過程理論 11
2.2.1 隨機過程簡介 11
2.2.2 Markov模型 12
2.2.3 連續(xù)時間Markov模型 14
2.2.4 連續(xù)時間半Markov模型 17
2.3 有獎Markov模型 21
2.3.1 基本定義和模型描述 21
2.3.2 模型計算方法和步驟 22
2.4 通用生成函數(shù) 24
2.4.1 生成函數(shù) 24
2.4.2 通用生成運算符和通用生成函數(shù) 26
2.4.3 通用生成函數(shù)在工業(yè)控制網(wǎng)絡(luò)性能分析中應(yīng)用 27
2.4.4 工業(yè)控制網(wǎng)絡(luò)系統(tǒng)性能定量評估 29
第3章 可信工業(yè)控制網(wǎng)絡(luò)系統(tǒng)架構(gòu) 33
3.1 彩虹計劃與可信計算 33
3.2 可信計算環(huán)境的構(gòu)建 34
3.2.1 可信計算環(huán)境的發(fā)展 35
3.2.2 可信網(wǎng)絡(luò)連接 36
3.2.3 可信環(huán)境構(gòu)建技術(shù) 37
3.3 可信網(wǎng)絡(luò)的可信管理 40
3.4 可信工業(yè)控制網(wǎng)絡(luò)體系結(jié)構(gòu) 41
3.4.1 傳統(tǒng)工業(yè)控制網(wǎng)絡(luò)系統(tǒng)體系結(jié)構(gòu) 41
3.4.2 傳統(tǒng)工業(yè)控制網(wǎng)絡(luò)系統(tǒng)安全措施 42
3.4.3 可信工業(yè)控制網(wǎng)絡(luò)系統(tǒng)體系結(jié)構(gòu) 43
3.4.4 可信工業(yè)控制網(wǎng)絡(luò)系統(tǒng)網(wǎng)絡(luò)協(xié)議實現(xiàn) 45
3.5 本章小結(jié) 46
第4章 可信工業(yè)控制網(wǎng)絡(luò)系統(tǒng)安全性研究 48
4.1 工業(yè)控制網(wǎng)絡(luò)系統(tǒng)安全性措施 49
4.2 工業(yè)控制網(wǎng)絡(luò)系統(tǒng)安全性研究現(xiàn)狀分析 49
4.3 工業(yè)控制網(wǎng)絡(luò)系統(tǒng)可信測度模型 51
4.3.1 安全評估標(biāo)準(zhǔn)和度量方法 51
4.3.2 可信計算機系統(tǒng)評估準(zhǔn)則和可信網(wǎng)絡(luò)解釋 51
4.3.3 工業(yè)控制網(wǎng)絡(luò)系統(tǒng)參考模型 51
4.3.4 可信定量測度模型 54
4.4 多態(tài)有獎Markov安全性度量模型 56
4.4.1 基于可用性定量度量 56
4.4.2 基于失敗次數(shù)的定量度量 57
4.4.3 基于可靠性定量度量 58
4.4.4 算例分析 58
4.5 本章小結(jié) 66
第5章 可信工業(yè)控制網(wǎng)絡(luò)系統(tǒng)可生存性研究 67
5.1 可信工業(yè)控制網(wǎng)絡(luò)的可生存性 67
5.1.1 網(wǎng)絡(luò)系統(tǒng)可生存性的概念 67
5.1.2 工業(yè)控制網(wǎng)絡(luò)系統(tǒng)可生存性定義 68
5.2 網(wǎng)絡(luò)系統(tǒng)可生存性分析及評估 69
5.2.1 可生存性分析 69
5.2.2 可生存性評估 69
5.3 工業(yè)控制網(wǎng)絡(luò)系統(tǒng)可生存技術(shù) 70
5.3.1 可生存性需求分析 70
5.3.2 可生存技術(shù)研究現(xiàn)狀 70
5.3.3 可生存技術(shù)的實現(xiàn) 72
5.4 工業(yè)控制網(wǎng)絡(luò)系統(tǒng)可生存性度量 73
5.4.1 可生存性度量模型 74
5.4.2 靜態(tài)可生存性計算模型 75
5.4.3 多性能動態(tài)可生存性計算模型 78
5.5 本章小結(jié) 84
第6章 可信工業(yè)控制網(wǎng)絡(luò)系統(tǒng)可控性研究 85
6.1 線性系統(tǒng)的可控性與可觀性 85
6.1.1 線性定常連續(xù)系統(tǒng)的可控性 87
6.1.2 線性定常離散系統(tǒng)的可控性 89
6.2 復(fù)雜網(wǎng)絡(luò)可控性 91
6.2.1 復(fù)雜網(wǎng)絡(luò)的基本特征參數(shù) 91
6.2.2 復(fù)雜網(wǎng)絡(luò)的基本模型 92
6.2.3 復(fù)雜網(wǎng)絡(luò)的可控性判別 94
6.3 可信工業(yè)控制網(wǎng)絡(luò)系統(tǒng)可控性 94
6.3.1 工業(yè)控制網(wǎng)絡(luò)系統(tǒng)可控性度量 95
6.3.2 基于輸出性能的可控性度量 95
6.3.3 基于復(fù)雜網(wǎng)絡(luò)的可控性度量 96
6.3.4 基于Markov決策過程的可控性度量 97
6.3.5 基于強化學(xué)習(xí)的可控性度量與優(yōu)化 99
6.4 本章小結(jié) 106
第7章 總結(jié)與展望 107
參考文獻 109