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

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