掃一掃
關(guān)注中圖網(wǎng)
官方微博
中圖價(jià):¥52.8
加入購物車
門級(jí)信息流分析理論及應(yīng)用 版權(quán)信息
- ISBN：9787030423702
- 條形碼：9787030423702 ; 978-7-03-042370-2
- 裝幀：一般膠版紙
- 冊(cè)數(shù)：暫無
- 重量：暫無
- 所屬分類：>
門級(jí)信息流分析理論及應(yīng)用 本書特色
《門級(jí)信息流分析理論及應(yīng)用》詳細(xì)論述了門級(jí)信息流跟蹤方法的基礎(chǔ)理論與應(yīng)用。首先介紹該方法的基本原理，包括門級(jí)信息流跟蹤邏輯的性質(zhì)定理、形式化描述、生成算法與復(fù)雜度理論、設(shè)計(jì)優(yōu)化問題；然后介紹該方法的應(yīng)用原理、設(shè)計(jì)方法學(xué)、設(shè)計(jì)與驗(yàn)證環(huán)境，以及該方法在開關(guān)電路設(shè)計(jì)等相關(guān)領(lǐng)域的應(yīng)用等內(nèi)容，并提出了一些供參考的研究方向。
門級(jí)信息流分析理論及應(yīng)用 內(nèi)容簡(jiǎn)介
本書屬于信息安全領(lǐng)域，旨在解決物聯(lián)網(wǎng)和信息物理系統(tǒng)環(huán)境下高可靠系統(tǒng)所面臨的信息安全問題。但本書同時(shí)涵蓋了網(wǎng)絡(luò)信息安全、數(shù)字電路、設(shè)計(jì)自動(dòng)化以及算法復(fù)雜性理論等相關(guān)學(xué)科。其中，在網(wǎng)絡(luò)信息安全領(lǐng)域主要涉及基于格模型的信息流安全理論及方法；在數(shù)字電路方面主要涉及信息流模型的形式化描述以及設(shè)計(jì)優(yōu)化問題；在設(shè)計(jì)自動(dòng)化領(lǐng)域主要利用了一些相關(guān)的電路設(shè)計(jì)、評(píng)估與驗(yàn)證方法；在算法復(fù)雜性理論方面主要涉及一些相關(guān)算法的設(shè)計(jì)與復(fù)雜度分析。
門級(jí)信息流分析理論及應(yīng)用 目錄
前言
第1章 緒論
1.1 信息安全問題的起源與發(fā)展
1.1.1 信息安全問題的起源
1.1.2 信息安全問題的發(fā)展歷程
1.1.3 信息安全問題的發(fā)展方向
1.2 高可靠系統(tǒng)信息安全
1.2.1 高可靠系統(tǒng)面臨的信息安全問題
1.2.2 高可靠系統(tǒng)的信息安全需求
1.2.3 高可靠系統(tǒng)安全研究概述
1.3 常用信息安全機(jī)制
1.3.1 密碼算法
1.3.2 訪問控制
1.3.3 信息流控制
1.4 本書主要研究內(nèi)容
1.5 本書主要特點(diǎn)和讀者對(duì)象
第2章 信息流安全相關(guān)理論
2.1 信息和數(shù)據(jù)
2.2 信息流的定義
2.3 信息流的分類
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 無干擾模型
2.6 信息流控制機(jī)制
2.6.1 基于編譯的機(jī)制
2.6.2 基于執(zhí)行的機(jī)制
2.7 信息流跟蹤技術(shù)
2.7.1 信息流跟蹤
2.7.2 程序語言層的信息流跟蹤技術(shù)
2.7.3 操作系統(tǒng)層的信息流跟蹤技術(shù)
2.7.4 體系架構(gòu)層的信息流跟蹤技術(shù)
2.7.5 邏輯門級(jí)的信息流跟蹤技術(shù)
2.8 本章小結(jié)
第3章 二級(jí)安全格下的glift理論
3.1 基本概念和原理
3.2 glift邏輯函數(shù)的基本性質(zhì)
3.3 基本門glift邏輯的形式化描述
3.3.1 緩沖器
3.3.2 非門
3.3.3 觸發(fā)器
3.3.4 與門和與非門
3.3.5 或門和或非門
3.3.6 異或門和同或門
3.3.7 三態(tài)門
3.4 基本門glift邏輯的復(fù)雜度分析
3.4.1 與門
3.4.2 或門
3.4.3 與非門和或非門
3.4.4 異或門
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問題
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 安全類的邊界運(yùn)算
4.3.2 安全類邊界運(yùn)算的運(yùn)算律
4.3.3 點(diǎn)積運(yùn)算
4.3.4 點(diǎn)積運(yùn)算的運(yùn)算律
4.4 基本門glift邏輯的形式化描述
4.4.1 緩沖器
4.4.2 非門
4.4.3 觸發(fā)器
4.4.4 與門和與非門
4.4.5 或門和或非門
4.4.6 異或門和同或門
4.4.7 三態(tài)門
4.5 glift邏輯的布爾描述
4.5.1 安全類的編碼
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邏輯生成問題的np完全性
5.2.1 非定常glift邏輯的存在條件
5.2.2 污染傳播判定問題
5.2.3 污染傳播搜索問題
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)化問題
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 基本門glift邏輯
6.2.3 新舊編碼方式下glift邏輯的比較
6.2.4 新glift邏輯用于硬件冗余
6.3 多級(jí)安全格下glift邏輯的設(shè)計(jì)優(yōu)化問題
6.3.1 編碼方式的優(yōu)化
6.3.2 利用無關(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在開關(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é)束語
10.1 本書的主要工作
10.2 后續(xù)工作與展望
參考文獻(xiàn)
附錄1 class標(biāo)準(zhǔn)單元庫相應(yīng)的glift邏輯庫
附錄2 軟件工具和測(cè)試基準(zhǔn)集
附錄3 modelsim仿真工具參考腳本
附錄4 designcompiler綜合工具參考腳本
附錄5 縮略詞表
附錄6 符號(hào)對(duì)照表
第1章 緒論
1.1 信息安全問題的起源與發(fā)展
1.1.1 信息安全問題的起源
1.1.2 信息安全問題的發(fā)展歷程
1.1.3 信息安全問題的發(fā)展方向
1.2 高可靠系統(tǒng)信息安全
1.2.1 高可靠系統(tǒng)面臨的信息安全問題
1.2.2 高可靠系統(tǒng)的信息安全需求
1.2.3 高可靠系統(tǒng)安全研究概述
1.3 常用信息安全機(jī)制
1.3.1 密碼算法
1.3.2 訪問控制
1.3.3 信息流控制
1.4 本書主要研究內(nèi)容
1.5 本書主要特點(diǎn)和讀者對(duì)象
第2章 信息流安全相關(guān)理論
2.1 信息和數(shù)據(jù)
2.2 信息流的定義
2.3 信息流的分類
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 無干擾模型
2.6 信息流控制機(jī)制
2.6.1 基于編譯的機(jī)制
2.6.2 基于執(zhí)行的機(jī)制
2.7 信息流跟蹤技術(shù)
2.7.1 信息流跟蹤
2.7.2 程序語言層的信息流跟蹤技術(shù)
2.7.3 操作系統(tǒng)層的信息流跟蹤技術(shù)
2.7.4 體系架構(gòu)層的信息流跟蹤技術(shù)
2.7.5 邏輯門級(jí)的信息流跟蹤技術(shù)
2.8 本章小結(jié)
第3章 二級(jí)安全格下的glift理論
3.1 基本概念和原理
3.2 glift邏輯函數(shù)的基本性質(zhì)
3.3 基本門glift邏輯的形式化描述
3.3.1 緩沖器
3.3.2 非門
3.3.3 觸發(fā)器
3.3.4 與門和與非門
3.3.5 或門和或非門
3.3.6 異或門和同或門
3.3.7 三態(tài)門
3.4 基本門glift邏輯的復(fù)雜度分析
3.4.1 與門
3.4.2 或門
3.4.3 與非門和或非門
3.4.4 異或門
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問題
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 安全類的邊界運(yùn)算
4.3.2 安全類邊界運(yùn)算的運(yùn)算律
4.3.3 點(diǎn)積運(yùn)算
4.3.4 點(diǎn)積運(yùn)算的運(yùn)算律
4.4 基本門glift邏輯的形式化描述
4.4.1 緩沖器
4.4.2 非門
4.4.3 觸發(fā)器
4.4.4 與門和與非門
4.4.5 或門和或非門
4.4.6 異或門和同或門
4.4.7 三態(tài)門
4.5 glift邏輯的布爾描述
4.5.1 安全類的編碼
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邏輯生成問題的np完全性
5.2.1 非定常glift邏輯的存在條件
5.2.2 污染傳播判定問題
5.2.3 污染傳播搜索問題
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)化問題
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 基本門glift邏輯
6.2.3 新舊編碼方式下glift邏輯的比較
6.2.4 新glift邏輯用于硬件冗余
6.3 多級(jí)安全格下glift邏輯的設(shè)計(jì)優(yōu)化問題
6.3.1 編碼方式的優(yōu)化
6.3.2 利用無關(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在開關(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é)束語
10.1 本書的主要工作
10.2 后續(xù)工作與展望
參考文獻(xiàn)
附錄1 class標(biāo)準(zhǔn)單元庫相應(yīng)的glift邏輯庫
附錄2 軟件工具和測(cè)試基準(zhǔn)集
附錄3 modelsim仿真工具參考腳本
附錄4 designcompiler綜合工具參考腳本
附錄5 縮略詞表
附錄6 符號(hào)對(duì)照表
展開全部
門級(jí)信息流分析理論及應(yīng)用 作者簡(jiǎn)介
胡偉，男，1982年10月生，分別于2005年、2008年和2012年獲得西北工業(yè)大學(xué)“信息對(duì)抗技術(shù)”專業(yè)學(xué)士、“模式識(shí)別與智能系統(tǒng)”專業(yè)碩士和“控制科學(xué)與工程”專業(yè)博士學(xué)位，2009年9月-2011年9月赴加州大學(xué)圣迭戈分校計(jì)算機(jī)科學(xué)與工程系學(xué)習(xí)，2012年7月入西北工業(yè)大學(xué)“計(jì)算機(jī)科學(xué)與技術(shù)”博士后流動(dòng)站，主要從事硬件安全、高可靠系統(tǒng)安全、嵌入式安全、可重構(gòu)計(jì)算等方面的研究。 慕德俊，男，1963年6月生，西北工業(yè)大學(xué)自動(dòng)化學(xué)院教授、博士生導(dǎo)師，主要研究方向包括網(wǎng)絡(luò)與信息安全、控制理論與應(yīng)用、網(wǎng)絡(luò)化控制、無線傳感器網(wǎng)絡(luò)等。
書友推薦
- >
小考拉的故事-套裝共3冊(cè)
- >
羅曼·羅蘭讀書隨筆-精裝
- >
伯納黛特,你要去哪(2021新版)
- >
月亮與六便士
- >
新文學(xué)天穹兩巨星--魯迅與胡適/紅燭學(xué)術(shù)叢書(紅燭學(xué)術(shù)叢書)
- >
羅庸西南聯(lián)大授課錄
- >
經(jīng)典常談
- >
大紅狗在馬戲團(tuán)-大紅狗克里弗-助人
本類暢銷
