互聯(lián)網(wǎng)環(huán)境下的軟件可信度量研究

內容概要

《互聯(lián)網(wǎng)環(huán)境下的軟件可信度量研究》由李紅霞、陳均明所著，是軟件可信度量(software trusted measure)領域的最新研究成果，分析了軟件可信計算與軟件可信面臨的問題、軟件行為可信、軟件可信的技術支撐等方面；研究了軟件可信路徑滲透、軟件可信特征和機理；剖析了軟件可信度量可用的模型和軟件可信度量的一些方法；重點研究了軟件可信樹度量方法；設計、測試與分析一個軟件可信度量評估系統(tǒng)原型系統(tǒng)。可為進一步深入研究軟件可信度量提供參考，也可供相關專業(yè)人士使用。

作者簡介

李紅霞，重慶工商大學管理學院信息管理與信息系統(tǒng)專業(yè)教師，重慶大學計算機軟件與理論專業(yè)信息安全方向碩士研究生畢業(yè)，主講管理信息系統(tǒng)、信息安全與管理、電子商務安全、信息資源管理、客戶關系管理等課程。近年來，主要從事管理蜜罐、軟件可信、信息安全、信息管理與信息系統(tǒng)研究，共發(fā)表學術論文20篇，主持國家自然科學基金項目1項。 陳均明，重慶工商大學數(shù)學與統(tǒng)計學院數(shù)學教師，重慶大學運籌學與控制論碩士研究生畢業(yè)，現(xiàn)為重慶大學經(jīng)濟與工商管理學院管理科學與工程在讀博士研究生，主講離散數(shù)學、運籌學、高等數(shù)學、線性代數(shù)、概率論與數(shù)理統(tǒng)計等課程。近年來，主要從事優(yōu)化與模式識別研究，在《模糊系統(tǒng)與數(shù)學》和《計算機工程與應用》等刊物發(fā)表學術論文10篇。

書籍目錄

第1章  研究背景和意義1.1 研究背景1.2 研究意義1.3 本書的主要研究內容1.4 本書結構簡介第2章  可信計算與軟件可信的中外研究現(xiàn)狀2.1 可信計算的目的和思路2.2 中外可信計算研究現(xiàn)狀2.3 中外軟件可信計算研究現(xiàn)狀本章小結第3章  可信計算與軟件可信3.1 可信與可信計算3.2 可信網(wǎng)絡3.3 軟件可信面臨的問題3.4 軟件可信3.5 軟件行為可信3.6 軟件可信的技術支撐本章小結第4章  軟件可信路徑滲透4.1 與可信路徑密切相關的幾個概念4.2 可信路徑的含義4.3 我們對可信路徑的理解4.4 針對Windows平臺可信路徑滲透4.5 針對Linux平臺的可信路徑滲透本章小結第5章  軟件可信特征和機理5.1 軟件可信的基本要素5.2 軟件可信屬性歸類5.3 軟件可信概念模型5.4 互聯(lián)網(wǎng)軟件可信保證體系5.5 互聯(lián)網(wǎng)軟件可信保證機制本章小結第6章  可信度量模型6.1 分布式可信模型6.2 主觀可信管理模型6.3 可信證據(jù)模型6.4 軟件可信評估模型6.5 軟件可信分級模型本章小結第7章  軟件可信度量方法7.1 開放式網(wǎng)絡環(huán)境下的可信度量方法7.2 基于Agent軟件協(xié)同服務的可信度量方法7.3 決策樹方法7.4 支持向量機的模糊數(shù)學建模方法7.5 等級度量方法7.6 專家評分方法本章小結第8章  軟件可信樹度量方法8.1 離散的軟件可信等級度量方法8.2 軟件可信樹等級度量8.3 軟件可信樹結構分析8.4 軟件可信樹在軟件可信度量中的應用本章小結第9章  軟件可信度量評估系統(tǒng)設計與實現(xiàn)9.1 軟件可信度量評估系統(tǒng)的結構9.2 軟件可信度量評估系統(tǒng)的uML功能分析9.3 軟件可信度量評估系統(tǒng)實現(xiàn)9.4 軟件可信度量評估系統(tǒng)的部分界面效果本章小結第10章  軟件可信度量評估系統(tǒng)的測試及其分析10.1 測試目的10.2 測試步驟10.3 測試預期結果10.4 測試案例10.5 測試結果10.6 測試結果分析10.7 測試結論第11章  總結和展望11.1 研究小結11.2 研究成果評價11.3 未來研究展望參考文獻

章節(jié)摘錄

版權頁：   插圖：   Internet環(huán)境下，計算機系統(tǒng)是否可信，包括硬件、網(wǎng)絡、操作系統(tǒng)、中間件、應用軟件、信息系統(tǒng)使用者以及與它們之間的交互的復雜系統(tǒng)等是否可信，在這條鏈上的任何一個環(huán)節(jié)出現(xiàn)問題，都會導致計算機系統(tǒng)的不可信。軟件并不總是可以被信任的，其行為和結果有時并不能完全符合人們的預期。近年來，軟件的正確性、可靠性、安全性、可生存性等“可信”性質受到了高度關注，形成了圍繞“軟件可信性”新的研究熱點。人們針對軟件分析、設計、開發(fā)、測試、維護等各個階段，研究提高軟件可信性的理論和方法，而如何對軟件的可信性進行評估和度量，是軟件可信性研究中的一個重要方面。本書所關注的是各種應用軟件的可信性問題。 3.3.1 軟件可信問題描述 軟件作為信息基礎設施的靈魂，在信息社會中發(fā)揮著越來越重要的作用。然而，一個軟件無論設計得多完美，都不可能不存在來自內部和外部的各種威脅，如缺陷、錯誤以及失效等。在實際應用中，經(jīng)常出現(xiàn)軟件失效的事件，這給人們的工作和生活帶來了不利的影響，甚至造成巨大損失。 在互聯(lián)網(wǎng)的發(fā)展歷史中，由于軟件可信性問題引發(fā)的麻煩、損失甚至災難不勝枚舉。例如，1996年6月4日，在Ariane五型火箭的首次發(fā)射中，由于慣性參考系統(tǒng)軟件的數(shù)據(jù)轉換錯誤引起操作失誤，致使火箭在發(fā)射40秒后爆炸，Ariane五型火箭首發(fā)失敗，造成25億美元的經(jīng)濟損失。2003年5月，由于飛船的導航計算機軟件設計錯誤，俄羅斯“聯(lián)盟—TMA1”載人飛船在返回途中偏離預定降落地點約460 km。2003年8月14日，美國電力檢測與控制管理系統(tǒng)由于分布計算機系統(tǒng)同時訪問統(tǒng)一資源引起該軟件失效，造成美國和加拿大出現(xiàn)當時歷史上最大的停電事故，損失超過了60億美元，這都凸顯了軟件可靠性問題。2004年9月14日，由于空管軟件中的時鐘管理缺陷，美國洛杉磯機場400余架飛機與機場指揮系統(tǒng)一度失去聯(lián)系，對幾萬名旅客的生命安全造成了威脅。

編輯推薦

《互聯(lián)網(wǎng)環(huán)境下的軟件可信度量研究》剖析了軟件可信度量可用的模型和軟件可信度量的一些方法；重點研究了軟件可信樹度量方法；設計、測試與分析一個軟件可信度量評估系統(tǒng)原型系統(tǒng)?？蔀檫M一步深入研究軟件可信度量提供參考，也可供相關專業(yè)人士使用。

圖書封面

圖書標簽Tags

無

評論、評分、閱讀與下載

---

    互聯(lián)網(wǎng)環(huán)境下的軟件可信度量研究 PDF格式下載

---