可信編譯構(gòu)造理論與關(guān)鍵技術(shù)

定　價(jià)：￥60.00

作　者：	何炎詳，吳偉著
出版社：	科學(xué)出版社
叢編項(xiàng)：	信息科學(xué)技術(shù)學(xué)術(shù)著作叢書(shū)
標(biāo)　簽：	程序設(shè)計(jì) 計(jì)算機(jī)/網(wǎng)絡(luò)

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

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

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

　　編譯器是重要的系統(tǒng)軟件，除了編譯功能，在許多領(lǐng)域都有應(yīng)用，如綠色計(jì)算、嵌入式系統(tǒng)優(yōu)化、代碼分析與驗(yàn)證、可信計(jì)算、軟件測(cè)試等。編譯器是否可信直接影響著整個(gè)計(jì)算機(jī)系統(tǒng)的可信性，因此編譯器的可信性一直受到人們的廣泛關(guān)注和深切重視。《信息科學(xué)技術(shù)學(xué)術(shù)著作叢書(shū)：可信編譯構(gòu)造理論與關(guān)鍵技術(shù)》全面系統(tǒng)地介紹了可信編譯理論及其關(guān)鍵技術(shù)，從保證編譯器自身可信性和編譯對(duì)象可信性兩個(gè)方面進(jìn)行了詳細(xì)闡述。同時(shí)，《信息科學(xué)技術(shù)學(xué)術(shù)著作叢書(shū)：可信編譯構(gòu)造理論與關(guān)鍵技術(shù)》還介紹了可信編譯在嵌入式軟件優(yōu)化、綠色編譯、軟件測(cè)試以及可信軟件開(kāi)發(fā)過(guò)程中的應(yīng)用與實(shí)踐?！缎畔⒖茖W(xué)技術(shù)學(xué)術(shù)著作叢書(shū)：可信編譯構(gòu)造理論與關(guān)鍵技術(shù)》許多內(nèi)容是作者近年來(lái)在該領(lǐng)域的最新研究成果，具有較強(qiáng)的原創(chuàng)性。本書(shū)取材新穎、內(nèi)容豐富、概念準(zhǔn)確、層次清晰、敘述嚴(yán)謹(jǐn)、圖文并茂、系統(tǒng)性強(qiáng)，可作為高等院校和科研院所計(jì)算機(jī)科學(xué)與技術(shù)、軟件工程、計(jì)算機(jī)應(yīng)用技術(shù)等相關(guān)專業(yè)的高年級(jí)本科生或研究生的參考書(shū)，也可供可信軟件及相關(guān)領(lǐng)域的研究人員借鑒、學(xué)習(xí)和參考。

作者簡(jiǎn)介

暫缺《可信編譯構(gòu)造理論與關(guān)鍵技術(shù)》作者簡(jiǎn)介

圖書(shū)目錄

《信息科學(xué)技術(shù)學(xué)術(shù)著作叢書(shū)》序
前言

第1章緒論
1.1 研究背景及意義
1.2 相關(guān)研究現(xiàn)狀
1.2.1 編譯器自身的安全性問(wèn)題研究
1.2.2 編譯所生成程序代碼的安全性問(wèn)題研究
1.2.3 安全程序設(shè)計(jì)語(yǔ)言及其相應(yīng)編譯系統(tǒng)構(gòu)造方法研究
1.3 目標(biāo)及內(nèi)容
1.3.1 編譯器自身的可信性研究
1.3.2 編譯所得可執(zhí)行代碼的可信性研究
1.4 本書(shū)組織結(jié)構(gòu)
1.5 本章小結(jié)
參考文獻(xiàn)

第2章編譯器自身可信性
2.1 引言
2.2 可信編譯概念
2.3 編譯正確性證明
2.3.1 編譯器正確性
2.3.2 形式語(yǔ)義與語(yǔ)義保持
2.3.3 保證編譯器自身可信性方法
2.4 可信編譯器構(gòu)造
2.4.1 基于編譯器正確性的構(gòu)造方法
2.4.2 基于攜帶證明代碼的構(gòu)造方法
2.4.3 基于轉(zhuǎn)換檢驗(yàn)的構(gòu)造方法
2.4.4 基于可證明微型編譯器的構(gòu)造方法
2.4.5 可信編譯器構(gòu)造方法對(duì)比分析
2.5 基于形式語(yǔ)義的編譯器正確性證明
2.5.1 源語(yǔ)言
2.5.2 目標(biāo)語(yǔ)言
2.5.3 編譯轉(zhuǎn)換及正確性證明
2.6 編譯優(yōu)化正確性證明
2.6.1 中間語(yǔ)言語(yǔ)法和遷移系統(tǒng)
2.6.2 模擬關(guān)系及語(yǔ)義一致性驗(yàn)證
2.6.3 編譯優(yōu)化實(shí)現(xiàn)正確性驗(yàn)證過(guò)程
2.6.4 應(yīng)用示例
2.6.5 結(jié)論
2.7 本章小結(jié)
參考文獻(xiàn)

第3章編譯對(duì)象的可信性
3.1 引言
3.2 代碼可信性驗(yàn)證機(jī)制
3.2.1 基于分離邏輯的程序驗(yàn)證
3.2.2 基于模型檢測(cè)的程序驗(yàn)證方法
3.3 代碼安全性加強(qiáng)機(jī)制
3.3.1 基于有色Petri網(wǎng)的緩沖區(qū)溢出檢測(cè).NN
3.3.2 基于SMT求解器的程序驗(yàn)證方法
3.4 可執(zhí)行代碼安全保護(hù)機(jī)制
3.4.1 基于壓縮的低開(kāi)銷代碼保護(hù)策略
3.4.2 基于程序流敏感的自修改代碼混淆方法
3.4.3 程序動(dòng)態(tài)完整性保護(hù)
3.5 本章小結(jié)
參考文獻(xiàn)

第4章基于編譯嵌入式軟件優(yōu)化
4. 1引言
4.2 基于編譯的優(yōu)化框架
4.2.1 基于編譯的嵌入式系統(tǒng)優(yōu)化框架結(jié)構(gòu)設(shè)計(jì)
4.2.2 面向嵌入式平臺(tái)編譯優(yōu)化的中間語(yǔ)言設(shè)計(jì)
4.2.3 目標(biāo)機(jī)器特征描述語(yǔ)言研究
4.3 傳統(tǒng)的編譯器優(yōu)化技術(shù)概述
4.3.1 機(jī)器無(wú)關(guān)的編譯器優(yōu)化技術(shù)
4.3.2 機(jī)器相關(guān)的編譯器優(yōu)化技術(shù)
4.4 內(nèi)存優(yōu)化
4.4.1 背景
4.4.2 分析
4.4.3 方法
4.4.4 一個(gè)例子
4.4.5 實(shí)驗(yàn)結(jié)果
4.5 功耗優(yōu)化
4.5.1 功耗模型
4.5.2 基于編譯的功耗優(yōu)化方法
4.5.3 基于總線的功耗優(yōu)化實(shí)例
4.5.4 基于片上緩存的功耗優(yōu)化
4.6 本章小結(jié)
參考文獻(xiàn)

第5章綠色編譯優(yōu)化
5.1 引言
5.2 綠色編譯器概念及優(yōu)化框架
5.2.1 綠色編譯器的概念
5.2.2 綠色編譯優(yōu)化框架
5.3 面向移動(dòng)嵌入式系統(tǒng)的綠色編譯優(yōu)化方法研究
5.3.1 基于計(jì)算博弈論的混合存儲(chǔ)系統(tǒng)綠色編譯優(yōu)化
5.3.2 基于總線翻轉(zhuǎn)編碼和多維度集成學(xué)習(xí)的指令選擇和調(diào)度方法研究
5.3.3 基于編譯的多核環(huán)境下的并行程序綠色優(yōu)化
5.4 綠色評(píng)估模型
5.5 本章小結(jié)
參考文獻(xiàn)

第6章基于編譯的軟件測(cè)試
6.1 引言
6.2 基于編譯的測(cè)試框架
6.3 測(cè)試需求描述語(yǔ)言
6.4 基于編譯的錯(cuò)誤可跟蹤的自動(dòng)測(cè)試方法
6.4.1 用于測(cè)試用例生成的擴(kuò)展語(yǔ)法及對(duì)應(yīng)語(yǔ)義
6.4.2 應(yīng)用舉例
6.5 本章小結(jié)
參考文獻(xiàn)

第7章基于編譯的可信軟件構(gòu)造及關(guān)鍵技術(shù)
7.1 引言
7.2 基于編譯的可信軟件開(kāi)發(fā)過(guò)程模型
7.2.1 可信軟件開(kāi)發(fā)過(guò)程模型
……
第8章總結(jié)及展望