注冊 | 登錄讀書好，好讀書，讀好書！
讀書網(wǎng)-DuShu.com
當(dāng)前位置： 首頁出版圖書科學(xué)技術(shù)計(jì)算機(jī)/網(wǎng)絡(luò)軟件工程及軟件方法學(xué)網(wǎng)構(gòu)軟件可信性評估與保障技術(shù)

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

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

定　價(jià)：￥42.00

作　者： 司冠南
出版社： 電子工業(yè)出版社
叢編項(xiàng)：
標(biāo)　簽： 計(jì)算機(jī)/網(wǎng)絡(luò) 軟件工程/開發(fā)項(xiàng)目管理
ISBN： 9787121251344 出版時間： 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)軟件工作于開放、動態(tài)、難控的互聯(lián)網(wǎng)環(huán)境，且組成實(shí)體多由第三方提供，其可信性問題就變得非常重要，如何保證軟件整體及各組成實(shí)體的可信性成為網(wǎng)構(gòu)軟件研究領(lǐng)域中一個非常具有挑戰(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)軟件動態(tài)可信性指標(biāo)評估技術(shù)
7.1 攻擊模型驅(qū)動的SQL注入滲透測試框架
7.2 基于安全目的模型的SQL注入攻擊建模
7.3 SQL注入滲透測試用例的形式化建模
第8章 結(jié)語
參考文獻(xiàn)

本目錄推薦

掃描二維碼
Copyright ? 讀書網(wǎng) www.autoforsalebyowners.com 2005-2026, All Rights Reserved.
鄂ICP備15019699號 鄂公網(wǎng)安備 42010302001612號