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

定　價(jià)：￥42.00

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

購(gòu)買(mǎi)這本書(shū)可以去

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

內(nèi)容簡(jiǎn)介

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

作者簡(jiǎn)介

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