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

內(nèi)容概要

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

作者簡介

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

書籍目錄

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

章節(jié)摘錄

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

編輯推薦

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

圖書封面

圖書標(biāo)簽Tags

無

評論、評分、閱讀與下載

---

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

---