網構軟件可信性評估與保障技術 ( 簡體 字) |
| 作者：司冠南 | 類別：1. -> 程式設計 -> 綜合 |
| 譯者： |
| 出版社：電子工業出版社 |  3dWoo書號： 40515
詢問書籍請說出此書號！【有庫存】
NT售價： 210 元 |
| 出版日：1/1/2015 |
| 頁數：220 |
| 光碟數：0 |
|
站長推薦：   |
| 印刷：黑白印刷 | 語系： ( 簡體 版 ) |
| |
加入購物車  │加到我的最愛
(請先登入會員) |
| ISBN：9787121251344 |
| 作者序 | 譯者序 | 前言 | 內容簡介 | 目錄 | 序 |
| (簡體書上所述之下載連結耗時費功, 恕不適用在台灣, 若讀者需要請自行嘗試, 恕不保證) |
| 作者序： |
| 譯者序： |
前言：·III·
存在于互聯網各個節點上的主體化軟件服務，通過多種機制進行協同、
整合而形成的軟件形態通稱為網構軟件。網構軟件為有效進行異構資源整
合、充分利用互聯網上大量的軟件服務提供了有效手段。但隨著對網構軟
件功能需求的不斷增加，系統的結構、體系變得日趨復雜，同時由于軟件
的運行環境從傳統的“封閉、靜態、可控”環境轉變為“開放、動態、難
控”的互聯網環境，對可信性保證的要求變得日益突出。但目前網構軟件
可信性保證技術在信任關系的約束機制、推薦信息的準確性、信任衰減參
數的合理性、信任演化模型的系統化、可信性評估方法的切實性等方面還
存在著不足。針對上述不足，本書在網構軟件可信性保證關鍵技術方面進
行了研究，具體研究內容與創新點包括：
（1）在實體個體層面，研究網構軟件的可信實體模型。提出了具有自
省性、自明性、自主性特點的網構軟件強可信智能實體模型。定義了實體
可信情況形式化描述語言（EDSADL），使實體能夠通過自省機制實時監控
與保障自身的可信性水平，并向外界公布以供驗證。設計了業務功能模塊
與可信性保障模塊分離的系統結構，保證了實體在向外界公開可信保障機
制的同時對自身業務細節的保密性。設計了“環境感知—策略調度—行
為觸發”的機制，使實體具有感知環境刺激而自主演化的能力，保證了實
體在外界環境可信性發生變化時能夠做出適時的響應。
（2）在實體間協同層面，研究網構軟件實體間的信任約束機制。引入
·IV·
契約式設計思想，從服務使用者和提供者的角度出發，采用“承諾—評估”
機制明確雙方的權利和義務，為實體交互過程中的雙邊規范定義了從低層
接口語義到高層可信性情況的約束。定義了信任契約中前置條件、后置條
件和不變式三要素的描述方法，保證了服務使用者、提供者以及服務交互
關系的可信性，為實體協同、合作和競爭提供了有力的評估依據。
（3）對于信任傳遞參數，研究實體間信任傳遞衰減參數的計算方法。
綜合主觀信任與客觀評估的優點，提出了基于評估的信任衰減過程。在對
實體環境進行可信性評估的基礎上，通過逐級計算、信息合并來綜合多個
推薦者實體的推薦信息，使用對實體間傳輸可信性的評估結果來修正推薦
信息，計算得到信任傳遞過程中的衰減參數。該方法充分考慮了外部環境、
實體自身條件等情況對主觀信任值的影響，使信任傳遞過程中信任衰減參
數的計算更加客觀、準確。
（4）在系統層面，研究網構軟件可信性演化模型。提出了一種對網構
軟件體系結構進行形式化的建模方法，建立了系統結構模型，并據此提出
了基于分層Petri 網的網構軟件可信性演化模型。通過上層Petri 網對實體
之間的各種基本協同關系進行了建模，以此形成系統整體組成結構的描述，
反映了實體間信任關系的演化；通過下層Petri 網對實體內部的契約協商策
略進行了建模，設計了基于信任等級帶有路徑引導的信任契約協商方法。
從系統整體的角度建立起動靜結合、層次分明、描述統一的網構軟件可信
性演化模型。
（5）在系統測試與可信性評估層面，研究網構軟件系統可信性評估模型。
提出了符合網構軟件異構性、結構化、動態化特征的可信性評估方法。定義
了基于貝葉斯網絡的網構軟件可信性評估體系，通過樹形結構整合了傳統的
靜態指標以及適用于網構軟件的動態指標。提出了基于結構模式的可信性評
·V·
估指標及其計算方法，在描述各實體之間結構關系、語義關系的基礎上，涵
蓋了對網構軟件系統整體及其組成實體可信性的評估。建立起不但能對系統
進行評估，還能為用戶選擇最優化實體提供幫助的可信性評估模型。
本書內容共分為8 章。第1 章闡述了網構軟件可信性相關概念。第2
章介紹了網構軟件可信性保證的相關研究現狀，以及本書的主要研究內容、
意義和創新之處。第3 章對網構軟件可信實體模型進行了研究，對現有的
網構軟件實體模型進行了分析，并給出了網構軟件強可信智能實體模型及
其結構和行為設計。第4 章對網構軟件實體間信任約束機制進行了研究，
分析了目前常用的網構軟件的信任度量及演化模型，建立了基于契約的網
構軟件實體交互模型，并提出了基于評估的信任衰減過程。第5 章是對網
構軟件可信性演化模型的研究，建立了系統結構模型，根據此模型建立了
基于分層Petri 網的網構軟件可信性演化模型，并描述了網構軟件系統運行
中的可信性演化機制。第6 章是對網構軟件可信性評估模型的研究，建立
了基于貝葉斯網絡的可信性評估體系，并介紹了評估體系中各指標及系統
整體可信性的計算方法。第7 章是對網構軟件動態可信性指標評估技術的
介紹，從Web 應用安全漏洞滲透測試中SQL 注入攻擊建模和SQL 注入滲
透測試用例形式化建模等方面進行了闡述。第8 章總結了本書已經完成的
工作，并對未來的研究做出了展望。
本書第7 章的編寫工作得到了天津工業大學田偉老師的大力支持，在
此表示衷心感謝。由于作者水平有限，書中錯誤與不妥之處在所難免，歡
迎各界專家和讀者朋友批評指正。
作 者
2014 年10 月 |
內容簡介：網構軟件是近年發展起來的研究領域，涵蓋了軟件構件、體系結構、軟件開發方法等多方面，并為當前流行的云計算、物聯網等概念提供了諸多核心技術。由于網構軟件工作于開放、動態、難控的互聯網環境，且組成實體多由第三方提供，其可信性問題就變得非常重要，如何保證軟件整體及各組成實體的可信性成為網構軟件研究領域中一個非常具有挑戰性的新問題。本書從網構軟件的實體模型、系統結構、軟件演化、可信性評估等方面對其可信性評估與保障技術進行了闡述，并提出了解決方案。
本書可供計算機科學、可信計算、服務計算以及相關領域科學研究人員和工程應用人員參考，也可供高等院校和科研院（所）相關專業的教師和研究生參考。
立起不但能對系統進行評估，還能為用戶選擇最優化實體提供幫助的可信性評估模型。 |
目錄：第1 章
網構軟件可信性相關概念····························· 1
1.1 網構軟件······················ 1
1.2 可信計算······················ 8
1.3 軟件可信性················ 11
第2 章
網構軟件可信性研究現狀··························· 15
2.1 網構軟件可信性保障························ 15
2.2 網構軟件可信性評估························ 20
2.3 本書的研究內容及意義····················· 22
第3 章
網構軟件可信實體模型········· 28
3.1 網構軟件實體模型·······............. 29
3.2 強可信智能實體模型·······......... 35
3.3 實體可信情況形式化描述語言................ 45
3.4 基于EDSADL 的實體自省機制............... 57
第4 章
網構軟件實體間信任約束機制··················· 60
4.1 網構軟件的信任度量及演化模型····························· 61
4.2 基于契約的網構軟件實體間信任關系約束機制設計······················ 63
4.3 基于評估的信任衰減過程················· 70
4.4 基于網構軟件的軟件評測支撐平臺設計及實驗分析······················ 73
第5 章
基于分層Petri 網的網構軟件可信性演化模型·············· 86
5.1 網構軟件結構分析···························· 87
5.2 Petri 網用于網構軟件可信性演化的相關研究········· 89
5.3 網構軟件系統建模···························· 96
5.4 網構軟件系統運行中可信性演化機制··················· 104
第6 章
網構軟件可信性評估模型························· 112
6.1 基于貝葉斯網絡的網構軟件可信性評估體系········ 113
6.2 可信性評估指標計算方法··············· 122
6.3 網構軟件可信性評估實例及結果分析··················· 129
第7 章
網構軟件動態可信性指標評估技術········ 138
7.1 攻擊模型驅動的SQL 注入滲透測試框架·············· 139 |
| 序： |
