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

定　價：￥60.00

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

購買這本書可以去

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

內(nèi)容簡介

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

作者簡介

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

圖書目錄

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

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

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

第3章編譯對象的可信性
3.1 引言
3.2 代碼可信性驗證機(jī)制
3.2.1 基于分離邏輯的程序驗證
3.2.2 基于模型檢測的程序驗證方法
3.3 代碼安全性加強(qiáng)機(jī)制
3.3.1 基于有色Petri網(wǎng)的緩沖區(qū)溢出檢測.NN
3.3.2 基于SMT求解器的程序驗證方法
3.4 可執(zhí)行代碼安全保護(hù)機(jī)制
3.4.1 基于壓縮的低開銷代碼保護(hù)策略
3.4.2 基于程序流敏感的自修改代碼混淆方法
3.4.3 程序動態(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è)計
4.2.2 面向嵌入式平臺編譯優(yōu)化的中間語言設(shè)計
4.2.3 目標(biāo)機(jī)器特征描述語言研究
4.3 傳統(tǒng)的編譯器優(yōu)化技術(shù)概述
4.3.1 機(jī)器無關(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 一個例子
4.4.5 實驗結(jié)果
4.5 功耗優(yōu)化
4.5.1 功耗模型
4.5.2 基于編譯的功耗優(yōu)化方法
4.5.3 基于總線的功耗優(yōu)化實例
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 面向移動嵌入式系統(tǒng)的綠色編譯優(yōu)化方法研究
5.3.1 基于計算博弈論的混合存儲系統(tǒng)綠色編譯優(yōu)化
5.3.2 基于總線翻轉(zhuǎn)編碼和多維度集成學(xué)習(xí)的指令選擇和調(diào)度方法研究
5.3.3 基于編譯的多核環(huán)境下的并行程序綠色優(yōu)化
5.4 綠色評估模型
5.5 本章小結(jié)
參考文獻(xiàn)

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

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