網(wǎng)構(gòu)軟件可信性評估與保障技術(shù)

第1章 網(wǎng)構(gòu)軟件可信性相關(guān)概念
1.1 網(wǎng)構(gòu)軟件
1.2 可信計算
1.3 軟件可信性
第2章 網(wǎng)構(gòu)軟件可信性研究現(xiàn)狀
2.1 網(wǎng)構(gòu)軟件可信性保障
2.2 網(wǎng)構(gòu)軟件可信性評估
2.3 本書的研究內(nèi)容及意義
第3章 網(wǎng)構(gòu)軟件可信實體模型
3.1 網(wǎng)構(gòu)軟件實體模型
3.2 強(qiáng)可信智能實體模型
3.3 實體可信情況形式化描述語言
3.4 基于EDSADL的實體自省機(jī)制
第4章 網(wǎng)構(gòu)軟件實體間信任約束機(jī)制
4.1 網(wǎng)構(gòu)軟件的信任度量及演化模型
4.2 基于契約的網(wǎng)構(gòu)軟件實體問信任關(guān)系約束機(jī)制設(shè)計
4.3 基于評估的信任衰減過程
4.4 基于網(wǎng)構(gòu)軟件的軟件評測支撐平臺設(shè)計及實驗分析
第5章 基于分層Petri網(wǎng)的網(wǎng)構(gòu)軟件可信性演化模型
5.1 網(wǎng)構(gòu)軟件結(jié)構(gòu)分析
5.2 Petri網(wǎng)用于網(wǎng)構(gòu)軟件可信性演化的相關(guān)研究
5.3 網(wǎng)構(gòu)軟件系統(tǒng)建模
5.4 網(wǎng)構(gòu)軟件系統(tǒng)運(yùn)行中可信性演化機(jī)制
第6章 網(wǎng)構(gòu)軟件可信性評估模型
6.1 基于貝葉斯網(wǎng)絡(luò)的網(wǎng)構(gòu)軟件可信性評估體系
6.2 可信性評估指標(biāo)計算方法
6.3 網(wǎng)構(gòu)軟件可信性評估實例及結(jié)果分析
第7章 網(wǎng)構(gòu)軟件動態(tài)可信性指標(biāo)評估技術(shù)
7.1 攻擊模型驅(qū)動的SQL注入滲透測試框架
7.2 基于安全目的模型的SQL注入攻擊建模
7.3 SQL注入滲透測試用例的形式化建模
第8章 結(jié)語
參考文獻(xiàn)