網(wǎng)構軟件可信性評估與保障技術(shù)簡(jiǎn)介，目錄書(shū)摘
2019-10-15 17:32
來(lái)源：京東
作者：京東
網(wǎng)構軟件可信性評估與保障技術(shù)
暫無(wú)報價(jià)
4評論
100%好評
內容簡(jiǎn)介: 網(wǎng)構軟件是近年發(fā)展起來(lái)的研究領(lǐng)域，涵蓋了軟件構件、體系結構、軟件開(kāi)發(fā)方法等多方面，并為當前流行的云計算、物聯(lián)網(wǎng)等概念提供了諸多核心技術(shù)。由于網(wǎng)構軟件工作于開(kāi)放、動(dòng)態(tài)、難控的互聯(lián)網(wǎng)環(huán)境，且組成實(shí)體多由第三方提供，其可信性問(wèn)題就變得非常重要，如何保證軟件整體及各組成實(shí)體的可信性成為網(wǎng)構軟件研究領(lǐng)域中一個(gè)非常具有挑戰性的新問(wèn)題?！毒W(wǎng)構軟件可信性評估與保障技術(shù)》從網(wǎng)構軟件的實(shí)體模型、系統結構、軟件演化、可信性評估等方面對其可信性評估與保障技術(shù)進(jìn)行了闡述，并提出了解決方案。
《網(wǎng)構軟件可信性評估與保障技術(shù)》可供計算機科學(xué)、可信計算、服務(wù)計算以及相關(guān)領(lǐng)域科學(xué)研究人員和工程應用人員參考，也可供高等院校和科研院（所）相關(guān)專(zhuān)業(yè)的教師和研究生參考。
立起不但能對系統進(jìn)行評估，還能為用戶(hù)選擇最優(yōu)化實(shí)體提供幫助的可信性評估模型。
《網(wǎng)構軟件可信性評估與保障技術(shù)》可供計算機科學(xué)、可信計算、服務(wù)計算以及相關(guān)領(lǐng)域科學(xué)研究人員和工程應用人員參考，也可供高等院校和科研院（所）相關(guān)專(zhuān)業(yè)的教師和研究生參考。
立起不但能對系統進(jìn)行評估，還能為用戶(hù)選擇最優(yōu)化實(shí)體提供幫助的可信性評估模型。
作者簡(jiǎn)介:
司冠南，南開(kāi)大學(xué)博士研究生，現任山東交通學(xué)院教師，主要從事網(wǎng)構軟件可信性評估與保障方面研究，并研究網(wǎng)構軟件理論在具體行業(yè)如云計算、車(chē)聯(lián)網(wǎng)中的應用。
目錄:第1章 網(wǎng)構軟件可信性相關(guān)概念
1.1 網(wǎng)構軟件
1.2 可信計算
1.3 軟件可信性
第2章 網(wǎng)構軟件可信性研究現狀
2.1 網(wǎng)構軟件可信性保障
2.2 網(wǎng)構軟件可信性評估
2.3 本書(shū)的研究?jì)热菁耙饬x
第3章 網(wǎng)構軟件可信實(shí)體模型
3.1 網(wǎng)構軟件實(shí)體模型
3.2 強可信智能實(shí)體模型
3.3 實(shí)體可信情況形式化描述語(yǔ)言
3.4 基于EDSADL的實(shí)體自省機制
第4章 網(wǎng)構軟件實(shí)體間信任約束機制
4.1 網(wǎng)構軟件的信任度量及演化模型
4.2 基于契約的網(wǎng)構軟件實(shí)體問(wèn)信任關(guān)系約束機制設計
4.3 基于評估的信任衰減過(guò)程
4.4 基于網(wǎng)構軟件的軟件評測支撐平臺設計及實(shí)驗分析
第5章 基于分層Petri網(wǎng)的網(wǎng)構軟件可信性演化模型
5.1 網(wǎng)構軟件結構分析
5.2 Petri網(wǎng)用于網(wǎng)構軟件可信性演化的相關(guān)研究
5.3 網(wǎng)構軟件系統建模
5.4 網(wǎng)構軟件系統運行中可信性演化機制
第6章 網(wǎng)構軟件可信性評估模型
6.1 基于貝葉斯網(wǎng)絡(luò )的網(wǎng)構軟件可信性評估體系
6.2 可信性評估指標計算方法
6.3 網(wǎng)構軟件可信性評估實(shí)例及結果分析
第7章 網(wǎng)構軟件動(dòng)態(tài)可信性指標評估技術(shù)
7.1 攻擊模型驅動(dòng)的SQL注入滲透測試框架
7.2 基于安全目的模型的SQL注入攻擊建模
7.3 SQL注入滲透測試用例的形式化建模
第8章 結語(yǔ)
參考文獻
1.1 網(wǎng)構軟件
1.2 可信計算
1.3 軟件可信性
第2章 網(wǎng)構軟件可信性研究現狀
2.1 網(wǎng)構軟件可信性保障
2.2 網(wǎng)構軟件可信性評估
2.3 本書(shū)的研究?jì)热菁耙饬x
第3章 網(wǎng)構軟件可信實(shí)體模型
3.1 網(wǎng)構軟件實(shí)體模型
3.2 強可信智能實(shí)體模型
3.3 實(shí)體可信情況形式化描述語(yǔ)言
3.4 基于EDSADL的實(shí)體自省機制
第4章 網(wǎng)構軟件實(shí)體間信任約束機制
4.1 網(wǎng)構軟件的信任度量及演化模型
4.2 基于契約的網(wǎng)構軟件實(shí)體問(wèn)信任關(guān)系約束機制設計
4.3 基于評估的信任衰減過(guò)程
4.4 基于網(wǎng)構軟件的軟件評測支撐平臺設計及實(shí)驗分析
第5章 基于分層Petri網(wǎng)的網(wǎng)構軟件可信性演化模型
5.1 網(wǎng)構軟件結構分析
5.2 Petri網(wǎng)用于網(wǎng)構軟件可信性演化的相關(guān)研究
5.3 網(wǎng)構軟件系統建模
5.4 網(wǎng)構軟件系統運行中可信性演化機制
第6章 網(wǎng)構軟件可信性評估模型
6.1 基于貝葉斯網(wǎng)絡(luò )的網(wǎng)構軟件可信性評估體系
6.2 可信性評估指標計算方法
6.3 網(wǎng)構軟件可信性評估實(shí)例及結果分析
第7章 網(wǎng)構軟件動(dòng)態(tài)可信性指標評估技術(shù)
7.1 攻擊模型驅動(dòng)的SQL注入滲透測試框架
7.2 基于安全目的模型的SQL注入攻擊建模
7.3 SQL注入滲透測試用例的形式化建模
第8章 結語(yǔ)
參考文獻
相關(guān)商品
京公網(wǎng)安備 11000002000088號
