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

定　價：￥42.00

作　者：	司冠南
出版社：	電子工業(yè)出版社
叢編項：
標　簽：	計算機/網(wǎng)絡軟件工程/開發(fā)項目管理

購買這本書可以去

ISBN：	9787121251344	出版時間：	2015-01-01	包裝：
開本：		頁數(shù)：		字數(shù)：

內(nèi)容簡介

　　網(wǎng)構(gòu)軟件是近年發(fā)展起來的研究領域，涵蓋了軟件構(gòu)件、體系結(jié)構(gòu)、軟件開發(fā)方法等多方面，并為當前流行的云計算、物聯(lián)網(wǎng)等概念提供了諸多核心技術。由于網(wǎng)構(gòu)軟件工作于開放、動態(tài)、難控的互聯(lián)網(wǎng)環(huán)境，且組成實體多由第三方提供，其可信性問題就變得非常重要，如何保證軟件整體及各組成實體的可信性成為網(wǎng)構(gòu)軟件研究領域中一個非常具有挑戰(zhàn)性的新問題。本書從網(wǎng)構(gòu)軟件的實體模型、系統(tǒng)結(jié)構(gòu)、軟件演化、可信性評估等方面對其可信性評估與保障技術進行了闡述，并提出了解決方案。本書可供計算機科學、可信計算、服務計算以及相關領域科學研究人員和工程應用人員參考，也可供高等院校和科研院（所）相關專業(yè)的教師和研究生參考。立起不但能對系統(tǒng)進行評估，還能為用戶選擇最優(yōu)化實體提供幫助的可信性評估模型。

作者簡介

　　司冠南，南開大學博士研究生，現(xiàn)任山東交通學院教師，主要從事網(wǎng)構(gòu)軟件可信性評估與保障方面研究，并研究網(wǎng)構(gòu)軟件理論在具體行業(yè)如云計算、車聯(lián)網(wǎng)中的應用。

圖書目錄

第1章網(wǎng)構(gòu)軟件可信性相關概念
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 強可信智能實體模型
3.3 實體可信情況形式化描述語言
3.4 基于EDSADL的實體自省機制
第4章網(wǎng)構(gòu)軟件實體間信任約束機制
4.1 網(wǎng)構(gòu)軟件的信任度量及演化模型
4.2 基于契約的網(wǎng)構(gòu)軟件實體問信任關系約束機制設計
4.3 基于評估的信任衰減過程
4.4 基于網(wǎng)構(gòu)軟件的軟件評測支撐平臺設計及實驗分析
第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)軟件可信性演化的相關研究
5.3 網(wǎng)構(gòu)軟件系統(tǒng)建模
5.4 網(wǎng)構(gòu)軟件系統(tǒng)運行中可信性演化機制
第6章網(wǎng)構(gòu)軟件可信性評估模型
6.1 基于貝葉斯網(wǎng)絡的網(wǎng)構(gòu)軟件可信性評估體系
6.2 可信性評估指標計算方法
6.3 網(wǎng)構(gòu)軟件可信性評估實例及結(jié)果分析
第7章網(wǎng)構(gòu)軟件動態(tài)可信性指標評估技術
7.1 攻擊模型驅(qū)動的SQL注入滲透測試框架
7.2 基于安全目的模型的SQL注入攻擊建模
7.3 SQL注入滲透測試用例的形式化建模
第8章結(jié)語
參考文獻