可信鏈度量與測(cè)評(píng)

定　價(jià)：￥20.00

作　者：	張帆，徐明迪，楊飏著
出版社：	西安電子科技大學(xué)出版社
叢編項(xiàng)：
標(biāo)　簽：	電子商務(wù)

購(gòu)買這本書(shū)可以去

ISBN：	9787560626949	出版時(shí)間：	2011-12-01	包裝：	平裝
開(kāi)本：	16開(kāi)	頁(yè)數(shù)：	122	字?jǐn)?shù)：

內(nèi)容簡(jiǎn)介

　　可信計(jì)算是一種信息系統(tǒng)安全新技術(shù)，它關(guān)注于終端安全，從硬件和軟件底層入手，針對(duì)信息系統(tǒng)綜合采取措施，以增強(qiáng)系統(tǒng)的安全性。目前，可信計(jì)算已經(jīng)成為國(guó)內(nèi)外信息安全領(lǐng)域的一個(gè)新熱點(diǎn)，并已取得了令人鼓舞的成績(jī)?？尚庞?jì)算具有三大基本功能：完整性度量、完整性存儲(chǔ)和完整性報(bào)告。其中，完整性度量功能又是完整性存儲(chǔ)功能和完整性報(bào)告功能的基礎(chǔ)。為了實(shí)現(xiàn)完整性度量功能，可信計(jì)算組織TCG定義了可信鏈技術(shù)。能否實(shí)現(xiàn)完整、安全的可信鏈，直接關(guān)系到整個(gè)可信計(jì)算平臺(tái)能否正常運(yùn)行。目前，研究人員從不同角度對(duì)可信鏈進(jìn)行了深入研究，但仍有不少開(kāi)放問(wèn)題有待解決。《可信鏈度量與測(cè)評(píng)》重點(diǎn)針對(duì)可信鏈的兩個(gè)重要組成部分——完整性度量和安全性測(cè)評(píng)，從理論和實(shí)踐兩方面作了介紹。全書(shū)共分五章：第一章，可信計(jì)算；第二章，可信啟動(dòng)完整性度量；第三章，應(yīng)用程序完整性度量；第四章，可信鏈測(cè)評(píng)；第五章，總結(jié)與展望?！犊尚沛湺攘颗c測(cè)評(píng)》可以作為高年級(jí)本科生、研究生的教材，也可以作為可信計(jì)算研究人員和工程技術(shù)人員的參考書(shū)。

作者簡(jiǎn)介

暫缺《可信鏈度量與測(cè)評(píng)》作者簡(jiǎn)介

圖書(shū)目錄

第一章　可信計(jì)算
　1.1　可信計(jì)算簡(jiǎn)介
　1.1.1　可信計(jì)算的基本概念
　1.1.2　國(guó)外可信計(jì)算的發(fā)展
　1.1.3　國(guó)內(nèi)可信計(jì)算的發(fā)展
　1.2　可信鏈
　1.3　可信計(jì)算機(jī)
　1.3.1　可信計(jì)算機(jī)體系結(jié)構(gòu)
　1.3.2　嵌入式安全模塊ESM
　1.4　本章小結(jié)
　參考文獻(xiàn)
第二章　可信啟動(dòng)完整性度量
　2.1　可信啟動(dòng)完整性度量分析
　2.1.1　Linux啟動(dòng)流程分析
　2.1.2　Linux啟動(dòng)流程的完整性度量因素
　2.1.3　Linux啟動(dòng)流程需要度量的內(nèi)容
　2.2　基于PMBR的SBA設(shè)計(jì)
　2.3　基于PMBR的SBA實(shí)現(xiàn)
　2.3.1　BIOS安全增強(qiáng)與MP驅(qū)動(dòng)
　2.3.2　PMBR詳細(xì)設(shè)計(jì)與實(shí)現(xiàn)
　2.3.3　從絕對(duì)路徑文件名到磁盤扇區(qū)地址的轉(zhuǎn)換
　2.3.4　PMBR安全性證明與形式化開(kāi)發(fā)
　2.4　實(shí)驗(yàn)
　2.4.1　EXT3文件系統(tǒng)實(shí)驗(yàn)
　Z．4.2　SBA實(shí)驗(yàn)
　2.4.3　性能分析
　2.5　本章小結(jié)
　參考文獻(xiàn)
第三章　應(yīng)用程序完整性度量
　3.1　應(yīng)用程序靜態(tài)完整性度量
　3.1.1　輕量級(jí)應(yīng)用程序靜態(tài)完整性度量架構(gòu)
　3.1.2　輕量級(jí)應(yīng)用程序靜態(tài)完整性度量實(shí)現(xiàn)
　3.1.3　實(shí)驗(yàn)示例
　3.2　應(yīng)用程序動(dòng)態(tài)完整性度量
　3.2.1　國(guó)內(nèi)外研究動(dòng)態(tài)
　3.2.2　軟件動(dòng)態(tài)行為建模
　3.2.3　完整性條件下傳遞無(wú)干擾模型
　3.2.4　軟件動(dòng)態(tài)行為可信性分析
　3.2.5　-種軟件動(dòng)態(tài)行為可信度量系統(tǒng)實(shí)現(xiàn)方案
　3.3　本章小結(jié)
　參考文獻(xiàn)
第四章　可信鏈測(cè)評(píng)
　4.1　安全模型簡(jiǎn)介
　4.1.1　基于語(yǔ)言的安全模型
　4.1.2　安全進(jìn)程代數(shù)
　4.1.3　基于語(yǔ)義的安全屬性
　4.1.4　安全屬性的可復(fù)合性
　4.2　可信鏈交互模型
　4.2.1　可信鏈規(guī)范說(shuō)明
　4.2.2　可信鏈接口模型
　4.3　可信鏈接口安全模型
　4.3.1　不可演繹模型
　4.3.2　可信鏈復(fù)合模型
　4.3.3　進(jìn)一步的分析
　4.4　一致性測(cè)試和安全性測(cè)試
　4.4.1　一致性測(cè)試
　4.4.2　安全性測(cè)試
　4.5　可信鏈PC規(guī)范一致性測(cè)試
　4.5.1　標(biāo)記變遷系統(tǒng)(LTS)
　4.5.2　可信鏈規(guī)范說(shuō)明狀態(tài)集
　4.5.3　可信鏈規(guī)范實(shí)現(xiàn)測(cè)試集
　4.5.4　測(cè)試流程
　4.6　可信鏈規(guī)范安全性分析
　4.6.1　可信鏈接口安全等級(jí)
　4.6.2　可信鏈接口安全測(cè)試
　4.7　可信鏈測(cè)試評(píng)估系統(tǒng)
　4.7.1　可信鏈測(cè)評(píng)對(duì)象
　4.7.2　可信鏈測(cè)評(píng)實(shí)例
　4.7.3　可信鏈測(cè)評(píng)總結(jié)
　4.8　本章小結(jié)
　參考文獻(xiàn)
第五章　總結(jié)與展望
　5.1　可信鏈完整性度量
　5.2　可信鏈測(cè)評(píng)
參考文獻(xiàn)
附件A　基于B方法的PMBR的形式化開(kāi)發(fā)
附錄B　可信鏈LTS(s)標(biāo)記變遷關(guān)系
附錄C　可信鏈接口安全等級(jí)劃分