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

定　價(jià)：￥42.00

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

購買這本書可以去

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

內(nèi)容簡介

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

作者簡介

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

圖書目錄

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