可信計(jì)算平臺(tái)

內(nèi)容概要

　　本書(shū)是國(guó)際上可信計(jì)算領(lǐng)域出版的第一本專著，它從理論到實(shí)踐，給出了該領(lǐng)域的技術(shù)發(fā)展脈絡(luò)、關(guān)鍵設(shè)計(jì)技術(shù)和應(yīng)用。本書(shū)從可信計(jì)算平臺(tái)需要解決的問(wèn)題和相關(guān)需求出發(fā)，以作者親自領(lǐng)導(dǎo)的一個(gè)可信計(jì)算平臺(tái)實(shí)例（IBM 4758安全協(xié)處理器）的研發(fā)為主線，對(duì)可信計(jì)算平臺(tái)的體系結(jié)構(gòu)、設(shè)計(jì)和驗(yàn)證等關(guān)鍵技術(shù)進(jìn)行了系統(tǒng)闡述，并且介紹了作者基于流行的TCG／TCPATPM芯片進(jìn)行的前沿性實(shí)驗(yàn)工作和當(dāng)前可信計(jì)算技術(shù)發(fā)展的一新方向。本書(shū)并不局限于單一平臺(tái)和相關(guān)規(guī)范的介紹，而足著眼于整個(gè)技術(shù)體系，力圖從理論到實(shí)踐給讀者以全面的知識(shí)?！　”緯?shū)可以作為計(jì)算機(jī)、通信、信息安全、密碼學(xué)等專業(yè)的研究生和本科生的教材，也可供從事相關(guān)專業(yè)的教學(xué)、科研和工程技術(shù)人員參考。本書(shū)對(duì)從事可信計(jì)算平臺(tái)設(shè)計(jì)、開(kāi)發(fā)以及從事總體設(shè)計(jì)的人員來(lái)說(shuō)也是一本難得的好書(shū)。

作者簡(jiǎn)介

Sean W. Smith目前在Dartmouth大學(xué)的計(jì)算機(jī)科學(xué)系任教，任Dartmouth安全技術(shù)研究所計(jì)算機(jī)安全與信任研究中心主任，以及Dartmouth PKI實(shí)驗(yàn)室的首席研究員。他當(dāng)前的研究和教學(xué)的重點(diǎn)是構(gòu)造現(xiàn)實(shí)世界中的可信系統(tǒng)。

書(shū)籍目錄

第1章 引論　1.1 信任與計(jì)算　1.2 可信計(jì)算平臺(tái)的實(shí)例　1.3 設(shè)計(jì)與應(yīng)用　1.4 本書(shū)結(jié)構(gòu)第2章 動(dòng)機(jī)說(shuō)明　2.1 屬性　2.2 基本用途　2.3 基本用途實(shí)例　2.4 放置和利益　2.5 TCP的放置實(shí)例　2.6 觀點(diǎn)辯論　2.7 進(jìn)一步的閱讀材料第3章 攻擊　3.1 物理攻擊　3.2 軟件攻擊　3.3 旁通道分析　3.4 未記錄的功能　3.5 擦除數(shù)據(jù)　3.6 系統(tǒng)環(huán)境　3.7 防御策略　3.8 進(jìn)一步的閱讀材料第4章 研究基礎(chǔ)　4.1 應(yīng)用和集成　4.2 體系結(jié)構(gòu)　4.3 啟動(dòng)　4.4 美國(guó)國(guó)防部及相關(guān)部門(mén)　4.5 進(jìn)一步的閱讀材料第5章 設(shè)計(jì)中的挑戰(zhàn)　5.1 背景　5.2 障礙　5.3 需求　5.4 技術(shù)選擇　5.5 進(jìn)一步的閱讀材料第6章 平臺(tái)體系結(jié)構(gòu)　6.1 概述　6.2 清除秘密信息　6.3 秘密信息的起源　6.4 軟件威脅　6.5 代碼的完整性　6.6 代碼的加載　6.7 總結(jié)　6.8 后續(xù)內(nèi)容　6.9 進(jìn)一步的閱讀材料第7章 對(duì)外認(rèn)證　7.1 問(wèn)題　7.2 理論　7.3 設(shè)計(jì)和實(shí)現(xiàn)　7.4 進(jìn)一步的閱讀材料第8章 驗(yàn)證　8.1 驗(yàn)證過(guò)程　8.2 驗(yàn)證策略　8.3 安全屬性的形式化描述　8.4 形式化驗(yàn)證　8.5 其他驗(yàn)證工作　8.6 反思　8.7 進(jìn)一步的閱讀材料第9章 應(yīng)用案例研究　9.1 基本構(gòu)造模塊　9.2 增強(qiáng)型Web服務(wù)器　9.3 權(quán)限管理　9.4 私有信息保護(hù)　9.5 其他項(xiàng)目　9.6 經(jīng)驗(yàn)　9.7 進(jìn)一步的閱讀材料第10章 TCPA/TCG　10.1 基本結(jié)構(gòu)　10.2 對(duì)外認(rèn)證　10.3 物理攻擊　10.4 應(yīng)用　10.5 實(shí)驗(yàn)　10.6 TPM 1.2 的變化　10.7 進(jìn)一步的閱讀材料第11章 與TCPA/TCG有關(guān)的實(shí)驗(yàn)　11.1 預(yù)期的屬性　11.2 生命周期不匹配　11.3 體系結(jié)構(gòu)　11.4 實(shí)現(xiàn)經(jīng)歷　11.5 應(yīng)用：強(qiáng)化的Apache　11.6 應(yīng)用：OpenCA　11.7 應(yīng)用：隔離證明　11.8 進(jìn)一步的閱讀材料第12章 新的研究方向　12.1 特權(quán)體系結(jié)構(gòu)　12.2 硬件研究　12.3 軟件研究　12.5 未來(lái)的工業(yè)平臺(tái)　12.6 安全協(xié)處理回顧　12.7 進(jìn)一步的閱讀材料術(shù)語(yǔ)表參考文獻(xiàn)關(guān)于作者

圖書(shū)封面

圖書(shū)標(biāo)簽Tags

無(wú)

評(píng)論、評(píng)分、閱讀與下載

---

    可信計(jì)算平臺(tái) PDF格式下載

---