《網構軟體可信性評估與保障技術》是2015年1月電子工業出版社出版的圖書，作者是司冠南。
基本介紹
- 書名：網構軟體可信性評估與保障技術
- 作者：司冠南
- ISBN：9787121251344
- 出版社：電子工業出版社
- 出版時間：2015年1月
- 千字數：264
內容簡介,作者簡介,目錄,
內容簡介
網構軟體是近年發展起來的研究領域，涵蓋了軟體構件、體系結構、軟體開發方法等多方面，並為當前流行的雲計算、物聯網等概念提供了諸多核心技術。由於網構軟體工作於開放、動態、難控的網際網路環境，且組成實體多由第三方提供，其可信性問題就變得非常重要，如何保證軟體整體及各組成實體的可信性成為網構軟體研究領域中一個非常具有挑戰性的新問題。本書從網構軟體的實體模型、系統結構、軟體演化、可信性評估等方面對其可信性評估與保障技術進行了闡述，並提出了解決方案。 本書可供計算機科學、可信計算、服務計算以及相關領域科學研究人員和工程套用人員參考，也可供高等院校和科研院（所）相關專業的教師和研究生參考。 立起不但能對系統進行評估，還能為用戶選擇最最佳化實體提供幫助的可信性評估模型。
作者簡介
司冠南，山東交通學院，主要從事網構軟體、車聯網、商務智慧型等方面的研究與教學。
目錄
第1章 網構軟體可信性相關概念
1.1 網構軟體
1.2 可信計算
1.3 軟體可信性
第2章 網構軟體可信性研究現狀
2.1 網構軟體可信性保障
2.2 網構軟體可信性評估
2.3 本書的研究內容及意義
第3章 網構軟體可信實體模型
3.1 網構軟體實體模型
3.2 強可信智慧型實體模型
3.3 實體可信情況形式化描述語言
3.4 基於EDSADL的實體自省機制
第4章 網構軟體實體間信任約束機制
4.1 網構軟體的信任度量及演化模型
4.2 基於契約的網構軟體實體問信任關係約束機制設計
4.3 基於評估的信任衰減過程
4.4 基於網構軟體的軟體評測支撐平台設計及實驗分析
第5章 基於分層Petri網的網構軟體可信性演化模型
5.1 網構軟體結構分析
5.2 Petri網用於網構軟體可信性演化的相關研究
5.3 網構軟體系統建模
5.4 網構軟體系統運行中可信性演化機制
第6章 網構軟體可信性評估模型
6.1 基於貝葉斯網路的網構軟體可信性評估體系
6.2 可信性評估指標計算方法
6.3 網構軟體可信性評估實例及結果分析
第7章 網構軟體動態可信性指標評估技術
7.1 攻擊模型驅動的SQL注入滲透測試框架
7.2 基於安全目的模型的SQL注入攻擊建模
7.3 SQL注入滲透測試用例的形式化建模
第8章 結語
參考文獻
1.1 網構軟體
1.2 可信計算
1.3 軟體可信性
第2章 網構軟體可信性研究現狀
2.1 網構軟體可信性保障
2.2 網構軟體可信性評估
2.3 本書的研究內容及意義
第3章 網構軟體可信實體模型
3.1 網構軟體實體模型
3.2 強可信智慧型實體模型
3.3 實體可信情況形式化描述語言
3.4 基於EDSADL的實體自省機制
第4章 網構軟體實體間信任約束機制
4.1 網構軟體的信任度量及演化模型
4.2 基於契約的網構軟體實體問信任關係約束機制設計
4.3 基於評估的信任衰減過程
4.4 基於網構軟體的軟體評測支撐平台設計及實驗分析
第5章 基於分層Petri網的網構軟體可信性演化模型
5.1 網構軟體結構分析
5.2 Petri網用於網構軟體可信性演化的相關研究
5.3 網構軟體系統建模
5.4 網構軟體系統運行中可信性演化機制
第6章 網構軟體可信性評估模型
6.1 基於貝葉斯網路的網構軟體可信性評估體系
6.2 可信性評估指標計算方法
6.3 網構軟體可信性評估實例及結果分析
第7章 網構軟體動態可信性指標評估技術
7.1 攻擊模型驅動的SQL注入滲透測試框架
7.2 基於安全目的模型的SQL注入攻擊建模
7.3 SQL注入滲透測試用例的形式化建模
第8章 結語
參考文獻
