面向虛擬化環(huán)境的軟件安全關(guān)鍵技術(shù)

定　價：￥46.00

作　者：	田東海著
出版社：	北京理工大學(xué)出版社
叢編項(xiàng)：
標(biāo)　簽：	暫缺

購買這本書可以去

ISBN：	9787568281072	出版時間：	2020-03-01	包裝：	平裝
開本：	16開	頁數(shù)：		字?jǐn)?shù)：

內(nèi)容簡介

　　本書根據(jù)作者多年的虛擬化軟件安全研究成果，對近年來虛擬化軟件安全技術(shù)進(jìn)行了梳理和總結(jié)。全書深入淺出地介紹了虛擬化技術(shù)在應(yīng)用軟件安全加固和系統(tǒng)軟件安全加固的應(yīng)用，具體包括：①結(jié)合離線分析和在線保護(hù)檢測應(yīng)用程序的緩沖區(qū)溢出攻擊；②利用虛擬化技術(shù)保護(hù)操作系統(tǒng)內(nèi)核數(shù)據(jù)的完整性；③利用虛擬化內(nèi)存隔離技術(shù)和程序分析技術(shù)保護(hù)操作系統(tǒng)內(nèi)核模塊安全；④利用虛擬化技術(shù)和并行算法高效檢測操作系統(tǒng)內(nèi)核堆溢出攻擊；⑤利用虛擬化技術(shù)和符號執(zhí)行技術(shù)檢測內(nèi)核模塊中的安全漏洞。本書不僅介紹了相關(guān)方法、技術(shù)和實(shí)驗(yàn)結(jié)果，還分析了國內(nèi)外相關(guān)的研究工作，可供讀者學(xué)習(xí)和參考，理解相關(guān)方法與技術(shù)的原理和應(yīng)用。本書可供計算機(jī)、軟件工程、網(wǎng)絡(luò)空間安全等專業(yè)的教師及軟件安全相關(guān)領(lǐng)域的技術(shù)開發(fā)人員參考，也可作為相關(guān)專業(yè)的高年級本科生和研究生的教材。

作者簡介

　　田東海，博士，北京理工大學(xué)計算機(jī)學(xué)院講師，主要研究方向?yàn)樘摂M化安全和軟件安全。在教學(xué)方面，獨(dú)立講授本科生課程《計算機(jī)病毒防治》，研究生課程《計算機(jī)網(wǎng)絡(luò)攻防對抗》，共同講授本科生課程《信息安全新技術(shù)專題》。在科研方面，已在信息安全領(lǐng)域國際知名學(xué)術(shù)期刊和會議上發(fā)表了多篇論文，其中SCI期刊論文13篇（第一作者11篇）、EI期刊和會議論文5篇、國際學(xué)術(shù)頂ji會議論文2篇（非SCI/EI檢索），多篇論文被計算機(jī)國際頂ji學(xué)術(shù)會議和期刊引用。作為項(xiàng)目負(fù)責(zé)人主持了6項(xiàng)縱向科研課題。

圖書目錄

第1章緒論
1.1 引言
1.2 虛擬化技術(shù)背景
1.3 軟件安全的重要性
1.4 相關(guān)研究
1.5 現(xiàn)有研究工作的不足
第2章緩沖區(qū)溢出在線防護(hù)技術(shù)
2.1 引言
2.2 方法的概述
2.3 系統(tǒng)的設(shè)計與實(shí)現(xiàn)
2.4 系統(tǒng)評測
2.5 討論
第3章基于虛擬化技術(shù)的內(nèi)核數(shù)據(jù)保護(hù)技術(shù)
3.1 引言
3.2 方法的概述
3.3 針對內(nèi)核數(shù)據(jù)的訪問控制模型
3.4 系統(tǒng)的設(shè)計
3.5 系統(tǒng)的實(shí)現(xiàn)
3.6 系統(tǒng)的評測
3.6.1 有效性評測
3.6.2 性能評測
3.7 討論
第4章以策略為中心的內(nèi)核模塊加固技術(shù)
4.1 引言
4.2 安全假設(shè)和威脅模型
4.3 方法的概述
4.4 系統(tǒng)的設(shè)計與實(shí)現(xiàn)
4.5 系統(tǒng)的評測
4.5.1 有效性評測
4.5.2 性能評測
4.6 討論
第5章基于半同步非阻塞的內(nèi)核堆區(qū)并行監(jiān)控技術(shù)
5.1 引言
5.2 技術(shù)挑戰(zhàn)
5.3 方法的概述
5.4 內(nèi)核巡航
5.5 系統(tǒng)的設(shè)計與實(shí)現(xiàn)
5.6 系統(tǒng)的評測
5.7 討論
第6章基于虛擬化技術(shù)的內(nèi)核模塊安全測試
6.1 引言
6.2 技術(shù)挑戰(zhàn)和解決方案
6.3 系統(tǒng)概述
6.4 系統(tǒng)的設(shè)計與實(shí)現(xiàn)
6.5 系統(tǒng)的評測
6.6 討論
參考文獻(xiàn)