可信計算與信任管理

目錄
序 前言
第一篇 信息安全與可信計算
第 1章信息安全概論 1
1.1 信息安全現(xiàn)狀 1
1.2 信息安全問題存在的原因 2
1.3 信息安全的內(nèi)涵 4
1.4 信息安全的發(fā)展趨勢 5
1.4.1 信息安全面臨的挑戰(zhàn) 5
1.4.2 信息安全技術(shù)發(fā)展趨勢 7
1.5 本章小結(jié) 8 參考文獻(xiàn) 8
第 2章可信計算 11
2.1 可信計算概述 11
2.1.1 可信計算的發(fā)展 12
2.1.2 可信計算的概念 14
2.1.3 可信計算的基本特征 19
2.1.4 可信計算的應(yīng)用 21
2.2 可信計算技術(shù) 23
2.2.1 可信計算基 23
2.2.2 可信計算平臺 23
2.3 可信網(wǎng)絡(luò)連接 TNC 25
2.3.1 TNC概述 26
2.3.2 TNC構(gòu)架 26
2.4 可信計算研究的發(fā)展趨勢 28
2.4.1 可信計算面臨的挑戰(zhàn) 28
2.4.2 可信計算待研究領(lǐng)域 29 2.5 本章小結(jié) 30 參考文獻(xiàn) 30
第 3章分布式系統(tǒng)的可靠性 32
3.1 可靠性概述 32
3.1.1 可靠性與容錯技術(shù) 32
3.1.2 分布式容錯 32
3.1.3 分布式系統(tǒng)的可靠性 33
3.2 面向冗余的分布式管理系統(tǒng)的可靠性設(shè)計 34
3.2.1 面向冗余服務(wù)的分布式對象管理框架 34
3.2.2 分布式對象管理框架的可靠性分析 37
3.3 基于動態(tài)主動負(fù)載平衡的冗余服務(wù)容錯算法 46
3.3.1 算法設(shè)計原則 47
3.3.2 系統(tǒng)模型 47
3.3.3 算法框架與數(shù)據(jù)結(jié)構(gòu) 48
3.3.4 虛注冊機制 50
3.3.5 算法設(shè)計 51
3.3.6 性能分析 54
3.4 集群存儲系統(tǒng)中的可靠性 55
3.4.1 集群存儲系統(tǒng)的系統(tǒng)結(jié)構(gòu) 56
3.4.2 磁盤分組 57
3.4.3 數(shù)據(jù)對象放置、復(fù)制和定位 58
3.4.4 數(shù)據(jù)容錯設(shè)計與實現(xiàn) 61
3.5 本章小結(jié) 64 參考文獻(xiàn) 64
第 4章信任鏈技術(shù) 66
4.1 TCG的信任鏈技術(shù) 66
4.2 TCG信任鏈技術(shù)的不足 70
4.3 信任鏈傳遞研究現(xiàn)狀 71
4.3.1 靜態(tài)可信認(rèn)證 72
4.3.2 動態(tài)可信認(rèn)證 73
4.4 可信引擎驅(qū)動下的可信軟件信任鏈模型 75
4.4.1 可信軟件的設(shè)計 77
4.4.2 軟件動態(tài)可信性評價 80
4.4.3 軟件可信性分析 83 4.5 本章小結(jié) 84 參考文獻(xiàn) 84
第 5章可信軟件棧 87
5.1 TCG軟件棧概述 87
5.2 TCG軟件棧的體系結(jié)構(gòu) 87
5.2.1 TSP層功能 89
5.2.2 TCS層功能 93
5.2.3 TDDL層功能 94
5.3 TCG軟件棧的優(yōu)點和不足 94
5.4 我國的可信軟件棧 95
5.4.1 我國可信軟件棧規(guī)范的發(fā)展 95
5.4.2 一種擴展的可信軟件棧結(jié)構(gòu) 97
5.5 可信軟件棧的產(chǎn)品和應(yīng)用 98
5.5.1 可信軟件棧的產(chǎn)品 98
5.5.2 可信軟件棧的應(yīng)用 98
5.5.3 基于 TSS的 Web可信應(yīng)用設(shè)計 99
5.6 本章小結(jié) 101 參考文獻(xiàn) 102
第 6章可信評測技術(shù) 104
6.1 可信評測概述 104
6.2 TDDSS可信性評測模型 104
6.2.1 TDDSS介紹 104
6.2.2 TDDSS信任鏈 107
6.2.3 TDDSS相關(guān)技術(shù) 108
6.2.4 TDDSS評測 115
6.3 基于半環(huán)理論的可信性評估模型 120
6.3.1 半環(huán)理論介紹 121
6.3.2 TD-SEMIRING結(jié)構(gòu) 121
6.3.3 TD-SEMIRING相關(guān)特性 123
6.3.4 TD-SEMIRING實現(xiàn)相關(guān)技術(shù) 125
6.3.5 TD-SEMIRING評測 127
6.4 本章小結(jié) 130 參考文獻(xiàn) 130
第二篇 信 任 管 理
第 7章信任管理概述 132
7.1 信任概述 132
7.1.1 信任的定義 132
7.1.2 信任的分類 133
7.1.3 信任的特征 134
7.2 信任管理現(xiàn)狀 135
7.3 信任理論 135
7.3.1 關(guān)鍵問題 135
7.3.2 研究現(xiàn)狀 138
7.4 本章小結(jié) 139 參考文獻(xiàn) 141
第 8章信任網(wǎng)絡(luò)構(gòu)建 144
8.1 基于節(jié)點行為特征的可信性度量模型 144
8.1.1 MMA構(gòu)成 144
8.1.2 MMA中節(jié)點實體行為特征的可信度量 147
8.1.3 仿真實驗結(jié)果與分析 151
8.2 基于信任域的層次信任管理模型 156
8.2.1 相關(guān)定義 156
8.2.2 信任域的劃分與代理的設(shè)置 157
8.2.3 TDMNRS模型的工作過程 159
8.2.4 TDMNRS模型的信任評估計算 159
8.2.5 仿真實驗結(jié)果與分析 166
8.3 基于推薦的信任鏈管理模型 169
8.3.1 信任網(wǎng)絡(luò)存儲 169
8.3.2 推薦信任鏈的搜索和選擇 171
8.3.3 加權(quán)緊密度與推薦信任合并 172
8.3.4 仿真實驗結(jié)果與分析 175
8.4 基于領(lǐng)域的細(xì)粒度信任模型 178
8.4.1 FG Trust的相關(guān)概念與流程 178
8.4.2 領(lǐng)域模型 180
8.4.3 可信度計算模塊 183
8.4.4 仿真實驗結(jié)果與分析 187 8.5 基于云模型的信任評價模型 191
8.5.1 云模型簡介 192
8.5.2 多維信任云模型 192
8.5.3 評價可信度量 194
8.5.4 加權(quán)逆向云生成算法 196
8.5.5 可信實體選擇 197
8.5.6 仿真實驗結(jié)果與分析 198
8.6 本章小結(jié) 200 參考文獻(xiàn) 200
第 9章基于主觀邏輯的信任模型 203
9.1 主觀邏輯概述 203
9.1.1 基本概念 203
9.1.2 觀念空間 204
9.1.3 事實空間 205
9.1.4 觀念空間和事實空間的映射 206
9.2 主觀邏輯擴展 207
9.2.1 主觀邏輯信任模型存在的問題 207
9.2.2 主觀邏輯的擴展 207
9.3 多項式主觀邏輯的擴展 208
9.3.1 信任網(wǎng)絡(luò)的構(gòu)建 209
9.3.2 多項式觀點基礎(chǔ) 209
9.3.3 基于信譽的融合操作 210
9.3.4 多項式觀點的傳遞 215
9.3.5 實例結(jié)果與分析 217
9.4 基于多維主觀邏輯的信任模型 222
9.4.1 多維評價 222
9.4.2 觀念空間的表示 223
9.4.3 動態(tài)基率 224
9.4.4 聲譽值 Re的計算 225
9.4.5 風(fēng)險值 Ri的計算 228
9.4.6 信任度計算 229
9.4.7 仿真實驗結(jié)果與分析 229
9.5 本章小結(jié) 232 參考文獻(xiàn) 233 第 10章基于場論的信任模型 234
10.1 信任場模型 234
10.1.1場理論研究 234
10.1.2信任場模型的相關(guān)概念和定義 235
10.1.3信任場模型描述 236
10.1.4基于信任場模型的伙伴選擇 242
10.1.5實例應(yīng)用與分析 243
10.2 信任力矩模型 247
10.2.1問題背景 247
10.2.2相關(guān)定義 248
10.2.3信任的相關(guān)計算方法 250
10.2.4工作流程 253
10.2.5仿真實驗結(jié)果與分析 254
10.3 本章小結(jié) 256 參考文獻(xiàn) 257
第 11章軟件動態(tài)行為可信技術(shù)及其應(yīng)用 258
11.1軟件動態(tài)行為可信概述 259
11.1.1軟件及軟件可信性 259
11.1.2軟件行為分析技術(shù) 259
11.2基于場景的軟件行為挖掘技術(shù) 260
11.2.1 CEMBSM的相關(guān)定義 261
11.2.2場景關(guān)聯(lián)規(guī)則的獲取 263
11.2.3場景序列模式的獲取 266
11.2.4 CEMBSM的實現(xiàn) 267
11.3基于檢查點風(fēng)險評估的軟件動態(tài)行為分析 271
11.3.1相關(guān)定義 271
11.3.2檢查點風(fēng)險值的計算 272
11.3.3信任度的計算 277
11.4基于檢查點分級屬性的軟件動態(tài)可信性評價 278
11.4.1模型概述 278
11.4.2軟件檢查點的分級屬性與可信評價流程 279
11.4.3場景級屬性的訓(xùn)練樣本聚類 281
11.4.4場景級屬性可信模型的建立 282
11.4.5基于單類樣本的場景級屬性權(quán)重分配策略 283 11.5基于化簡行為軌跡的軟件可信性評價 285
11.5.1 CEMSBT的行為軌跡 285
11.5.2 CEMSBT中化簡行為軌跡的方法 289
11.5.3 CEMSBT的處理流程 293
11.5.4 CEMSBT的可信性評價規(guī)則 293
11.5.5仿真實驗結(jié)果與分析 297
11.6基于行為距離的軟件動態(tài)行為評價 301
11.6.1模型基礎(chǔ) 301
11.6.2相關(guān)概念 305
11.6.3軟件行為的評價方法 306
11.6.4基于行為屬性距離的軟件行為可信評價方法 308
11.6.5 BAD評價方法的仿真實驗結(jié)果與分析 309
11.7基于可信包裝的可信軟件構(gòu)造模型 313
11.7.1可信軟件構(gòu)造模型邏輯框架 314
11.7.2可信包裝邏輯結(jié)構(gòu)與交互框架 315
11.7.3可信引擎與靜態(tài)約束 316
11.7.4軟件預(yù)期行為與可信視圖 317
11.7.5仿真實驗結(jié)果與分析 323
11.8基于擴展主觀邏輯的軟件行為動態(tài)信任評價模型 326
11.8.1 DTEMSB-ESL流程 327
11.8.2評價模型 327
11.8.3仿真實驗結(jié)果與分析 331
11.9本章小結(jié) 333 參考文獻(xiàn) 334
第 12章可信云計算技術(shù) 337
12.1 云計算安全需求 337
12.1.1云計算的安全問題 337
12.1.2云計算的安全需求 338
12.2 基于可信計算的云平臺 339
12.3 云安全認(rèn)證技術(shù) 341
12.3.1研究背景 341
12.3.2信任分散的分級身份認(rèn)證 342
12.3.3協(xié)議證明與安全性分析 350
12.4 云資源預(yù)測和預(yù)留 351 12.4.1基于域的云資源組織的邏輯框架 352
12.4.2候選服務(wù)資源選擇策略 353
12.4.3資源預(yù)留策略 356
12.4.4信任管理策略 359
12.4.5仿真結(jié)果與分析 361
12.5 云資源的安全存儲 363
12.5.1 TCMCS邏輯結(jié)構(gòu) 364
12.5.2數(shù)據(jù)完整性保護(hù) 366
12.5.3數(shù)據(jù)的共享 367
12.5.4懶惰重加密 368
12.5.5數(shù)據(jù)的基本操作 369
12.5.6數(shù)據(jù)的恢復(fù) 371
12.5.7安全性證明 371
12.6 本章小結(jié) 372 參考文獻(xiàn) 372