網構軟件信任演化模型的形式化研究：面向復雜網絡

本書聚焦於學術界研究的熱點問題——網構軟件可信性研究，從網構軟件的特徵出發，以開放網絡的動態演化為基礎，結合生物學、社會學等領域的相關知識，旨在對網構軟件系統提出一種動態演化的、相對“柔性”的可信保障機制。全書共分為七個章節，介紹了國內外相關領域的研究成果與最新進展，分別對網構軟件信任機制、信任度量、信任演化模型、信任評估以及博弈策略展開研究，為網構軟件在動態演化環境中的信任機制建立系統的信任演化模型，並進一步提出了未來的研究方向。

第 1 章 緒論 ··················································································1
1.1 課題研究的目的意義·····························································1
1.2 國內外研究現狀···································································3
1.2.1 信任機制的研究現狀····················································3
1.2.2 信任度量模型的研究現狀··············································4
1.2.3 信任演化模型的研究現狀··············································5
1.2.4 信任評估模型的研究現狀··············································6
1.2.5 信任激勵模型的研究現狀··············································8
1.3 本書的主要工作及組織結構····················································9
1.3.1 本書的主要工作··························································9
1.3.2 本書的組織結構·······················································.12
參考文獻················································································.13
第 2 章 網構軟件信任機制研究·························································18
2.1 引言···············································································.18
2.2 信念邏輯與信任關系描述····················································.19
2.2.1 信念邏輯································································.19
2.2.2 信任關系的描述·······················································.20
2.3 信任鏈建立過程的描述與推演··············································.23
2.3.1 PKI 模型實例··························································.23
2.3.2 信任鏈隨機搜索算法的推演········································.23
2.4 最優信任鏈搜索算法··························································.26
2.5 多路徑信任聚合算法··························································.28
2.6 實驗與分析······································································.30
2.7 本章小結·········································································.33
參考文獻················································································.33
第 3 章 基於多維信任屬性的動態信任度量方法····································35
3.1 引言···············································································.35
3.2 動態信任模型描述·····························································.36
3.3 基於多維信任屬性選取的權值分配········································.41
3.4 網構軟件整體聚類分析·······················································.42
3.5 算例與結果分析································································.43
3.6 本章小結·········································································.47
參考文獻················································································.47
第 4 章 基於博弈的網構軟件信任演化模型··········································49
4.1 引言···············································································.49
4.2 演化博弈論······································································.50
4.2.1 演化穩定策略··························································.51
4.2.2 復制動態方程··························································.52
4.3 基於 Wright-Fisher 的網構軟件信任演化模型 ···························.53
4.3.1 Wright-Fisher 模型····················································.53
4.3.2 基於 Wright-Fisher 過程模型的復制動態方程 ··················.54
4.3.3 選擇因子及突變因子的確定········································.55
4.3.4 基於 Wright-Fisher 過程模型的復制動態方程穩定性分析 ···.58
4.4 基於邏輯斯蒂方程的自組織信任博弈演化模型·························.59
4.4.1 邏輯斯蒂模型··························································.59
4.4.2 基於 Wright-Fisher 過程的個體適應性推演 ·····················.61
4.4.3 基於 Logistic 的網構軟件自組織信任演化模型 ················.61
4.4.4 STML 的穩定性分析·················································.62
4.4.5 引入“公平規範”的 STML········································.63
4.5 信任演化趨勢的模擬實驗與分析···········································.64
4.5.1 引入選擇因子與信任因子模擬實驗·······························.64
4.5.2 引入公平規範的 STML 模擬實驗 ·································.66
4.6 本章小結·········································································.67
參考文獻················································································.68
第 5 章 網構軟件的信任評估及推薦算法·············································69
5.1 引言···············································································.69
5.2 信任的表示······································································.70
5.2.1 直接信任的評估·······················································.70
5.2.2 推薦信任的評估·······················································.70
5.2.3 信任的傳遞與合並····················································.71
5.3 信任網絡中信任的傳遞與合並··············································.72
5.4 基於用戶信任的協同過濾推薦··············································.76
5.5 推薦信任評估抵抗惡意攻擊性實驗分析··································.78
5.6 本章小結·········································································.79
·VII·
參考文獻················································································.79
第 6 章 網構軟件的在線維護博弈策略研究··········································82
6.1 引言···············································································.82
6.2 在線維護博弈模型·····························································.84
6.3 在線維護博弈分析·····························································.88
6.3.1 趨勢函數確定方法····················································.89
6.3.2 單實體在線維護分析·················································.89
6.3.3 兩實體在線維護分析·················································.90
6.3.4 多實體在線維護分析·················································.92
6.4 本章小結·········································································.94
參考文獻················································································.94
第 7 章 結語 ················································································95
7.1 網構軟件實體行為監控及交互策略選擇問題總結······················.95
7.2 未來的研究工作································································101