門(mén)級(jí)信息流分析理論及應(yīng)用

第1章 緒論
1.1 信息安全問(wèn)題的起源與發(fā)展
1.1.1 信息安全問(wèn)題的起源
1.1.2 信息安全問(wèn)題的發(fā)展歷程
1.1.3 信息安全問(wèn)題的發(fā)展方向
1.2 高可靠系統(tǒng)信息安全
1.2.1 高可靠系統(tǒng)面臨的信息安全問(wèn)題
1.2.2 高可靠系統(tǒng)的信息安全需求
1.2.3 高可靠系統(tǒng)安全研究概述
1.3 常用信息安全機(jī)制
1.3.1 密碼算法
1.3.2 訪問(wèn)控制
1.3.3 信息流控制
1.4 本書(shū)主要研究?jī)?nèi)容
1.5 本書(shū)主要特點(diǎn)和讀者對(duì)象
第2章 信息流安全相關(guān)理論
2.1 信息和數(shù)據(jù)
2.2 信息流的定義
2.3 信息流的分類(lèi)
2.3.1 顯式流
2.3.2 隱式流
2.3.3 時(shí)間信息流
2.3.4 間接流
2.4 信息流安全策略
2.4.1 信息流安全主體和客體
2.4.2 信息流安全等級(jí)
2.4.3 信息流的格模型
2.5 常用信息流安全模型
2.5.1 軍用模型
2.5.2 Bell-LaPadula模型
2.5.3 Biba模型
2.5.4 無(wú)干擾模型
2.6 信息流控制機(jī)制
2.6.1 基于編譯的機(jī)制
2.6.2 基于執(zhí)行的機(jī)制
2.7 信息流跟蹤技術(shù)
2.7.1 信息流跟蹤
2.7.2 程序語(yǔ)言層的信息流跟蹤技術(shù)
2.7.3 操作系統(tǒng)層的信息流跟蹤技術(shù)
2.7.4 體系架構(gòu)層的信息流跟蹤技術(shù)
2.7.5 邏輯門(mén)級(jí)的信息流跟蹤技術(shù)
2.8 本章小結(jié)
第3章 二級(jí)安全格下的GLIFT理論
3.1 基本概念和原理
3.2 GLIFT邏輯函數(shù)的基本性質(zhì)
3.3 基本門(mén)GLIFT邏輯的形式化描述
3.3.1 緩沖器
3.3.2 非門(mén)
3.3.3 觸發(fā)器
3.3.4 與門(mén)和與非門(mén)
3.3.5 或門(mén)和或非門(mén)
3.3.6 異或門(mén)和同或門(mén)
3.3.7 三態(tài)門(mén)
3.4 基本門(mén)GLIFT邏輯的復(fù)雜度分析
3.4.1 與門(mén)
3.4.2 或門(mén)
3.4.3 與非門(mén)和或非門(mén)
3.4.4 異或門(mén)
3.5 GLIFT邏輯的不精確性
3.5.1 GLIFT邏輯潛在的不精確性
3.5.2 不精確性根源的分析與證明
3.6 實(shí)驗(yàn)結(jié)果與分析
3.6.1 復(fù)雜度分析
3.6.2 精確性分析
3.7 本章小結(jié)
第4章 多級(jí)安全格下的GLIFT理論
4.1 多級(jí)安全格模型
4.2 多級(jí)安全格下的GLIFT問(wèn)題
4.2.1 三級(jí)線性安全格
4.2.2 四級(jí)線性安全格
4.2.3 任意級(jí)線性安全格
4.2.4 非線性安全格
4.3 多級(jí)安全格下的相關(guān)運(yùn)算和運(yùn)算律
4.3.1 安全類(lèi)的邊界運(yùn)算
4.3.2 安全類(lèi)邊界運(yùn)算的運(yùn)算律
4.3.3 點(diǎn)積運(yùn)算
4.3.4 點(diǎn)積運(yùn)算的運(yùn)算律
4.4 基本門(mén)GLIFT邏輯的形式化描述
4.4.1 緩沖器
4.4.2 非門(mén)
4.4.3 觸發(fā)器
4.4.4 與門(mén)和與非門(mén)
4.4.5 或門(mén)和或非門(mén)
4.4.6 異或門(mén)和同或門(mén)
4.4.7 三態(tài)門(mén)
4.5 GLIFT邏輯的布爾描述
4.5.1 安全類(lèi)的編碼
4.5.2 運(yùn)算符的布爾實(shí)現(xiàn)
4.5.3 GLIFT邏輯的布爾實(shí)現(xiàn)
4.6 多值邏輯系統(tǒng)下的GLIFT邏輯
4.6.1 四值邏輯
4.6.2 四值邏輯系統(tǒng)下的污染傳播
4.6.3 四值邏輯系統(tǒng)下的GLIFT邏輯
4.6.4 九值邏輯系統(tǒng)下的GLIFT邏輯
4.7 實(shí)驗(yàn)結(jié)果與分析
4.7.1 GLIFT邏輯的復(fù)雜度分析
4.7.2 GLIFT邏輯的性能分析
4.8 本章小結(jié)
第5章 GLIFT邏輯生成算法理論
5.1 基本概念與理論
5.1.1 相關(guān)概念
5.1.2 NP完全性理論
5.2 精確GLIFT邏輯生成問(wèn)題的NP完全性
5.2.1 非定常GLIFT邏輯的存在條件
5.2.2 污染傳播判定問(wèn)題
5.2.3 污染傳播搜索問(wèn)題
5.3 GLIFT邏輯生成算法
5.3.1 暴力算法
5.3.2 0-1算法
5.3.3 構(gòu)造算法
5.3.4 完全和算法
5.3.5 SOP-POS算法
5.3.6 BDD-MUX算法
5.3.7 RFRR算法
5.3.8 GLIFT邏輯生成算法的比較
5.4 結(jié)果與分析
5.4.1 實(shí)驗(yàn)流程
5.4.2 實(shí)驗(yàn)結(jié)果與分析
5.5 本章小結(jié)
第6章 GLIFT邏輯的設(shè)計(jì)優(yōu)化問(wèn)題
6.1 二級(jí)安全格下GLIFT邏輯編碼方式及其不足
6.1.1 二級(jí)安全格下GLIFT邏輯編碼方式
6.1.2 二級(jí)安全格下GLIFT邏輯編碼方式的不足
6.2 二級(jí)安全格下GLIFT邏輯編碼方式的改進(jìn)
6.2.1 GLIFT邏輯現(xiàn)有編碼方式的改進(jìn)
6.2.2 基本門(mén)GLIFT邏輯
6.2.3 新舊編碼方式下GLIFT邏輯的比較
6.2.4 新GLIFT邏輯用于硬件冗余
6.3 多級(jí)安全格下GLIFT邏輯的設(shè)計(jì)優(yōu)化問(wèn)題
6.3.1 編碼方式的優(yōu)化
6.3.2 利用無(wú)關(guān)項(xiàng)優(yōu)化GLIFT邏輯
6.4 實(shí)驗(yàn)結(jié)果與分析
6.4.1 靜態(tài)驗(yàn)證效率分析
6.4.2 動(dòng)態(tài)實(shí)現(xiàn)性能分析
6.5 本章小結(jié)
第7章 GLIFT方法的應(yīng)用
7.1 GLIFT方法應(yīng)用原理
7.2 靜態(tài)信息流安全測(cè)試與驗(yàn)證
7.3 動(dòng)態(tài)信息流跟蹤
7.4 GLIFT在開(kāi)關(guān)電路設(shè)計(jì)中的擴(kuò)展應(yīng)用
7.4.1 靜態(tài)邏輯冒險(xiǎn)檢測(cè)
7.4.2 X-傳播
7.4.3 可控性分析
7.4.4 錯(cuò)誤檢測(cè)
7.5 本章小結(jié)
第8章 測(cè)試與驗(yàn)證方法
8.1 測(cè)試與驗(yàn)證內(nèi)容
8.1.1 GLIFT邏輯精確性分析
8.1.2 GLIFT邏輯復(fù)雜度分析
8.1.3 GLIFT邏輯靜態(tài)測(cè)試與驗(yàn)證分析
8.2 測(cè)試與驗(yàn)證流程
8.2.1 精確性分析流程
8.2.2 復(fù)雜度分析流程
8.2.3 靜態(tài)測(cè)試與驗(yàn)證流程
8.3 測(cè)試與驗(yàn)證環(huán)境
8.3.1 ABC工具
8.3.2 SIS工具
8.3.3 ESPRESSO工具
8.3.4 ModelSim工具
8.3.5 DesignCompiler工具
8.4 測(cè)試信號(hào)源
8.4.1 計(jì)數(shù)器
8.4.2 ModelSim內(nèi)置隨機(jī)數(shù)發(fā)生器
8.4.3 線性反饋移位寄存器
8.4.4 非線性反饋移位寄存器
8.5 本章小結(jié)
第9章 測(cè)試與驗(yàn)證實(shí)例
9.1 I2C總線控制器的測(cè)試
9.2 AES密碼算法核的測(cè)試與驗(yàn)證
9.3 ALU的測(cè)試與驗(yàn)證
9.4 本章小結(jié)
第10章 結(jié)束語(yǔ)
10.1 本書(shū)的主要工作
10.2 后續(xù)工作與展望
參考文獻(xiàn)
附錄1 CLASS標(biāo)準(zhǔn)單元庫(kù)相應(yīng)的GLIFT邏輯庫(kù)
附錄2 軟件工具和測(cè)試基準(zhǔn)集
附錄3 ModelSim仿真工具參考腳本
附錄4 DesignCompiler綜合工具參考腳本
附錄5 縮略詞表
附錄6 符號(hào)對(duì)照表