由霍夫曼編著的《FPGA安全性設計指南/**信息工程**技術譯叢》是針對FPGA設計安全保障的指南專著，泰德·霍夫曼，辛西亞爾·伊凡等六位作者是FPGA設計安全領域的**專家，對FPGA安全性防護有全面深入的研究和獨到的見解。本書不僅對FPGA設計中可能出現的安全隱患問題進行了全面、細致的分析，並且提出了清晰的解決思路，對相關領域的科研及工程技術人員具有很強的指導意義和借鋻價值。

現場可編程門陣列(FPGA)已經成為嵌入式繫統設 計的主要應用技術之一。可重構器件由於融合了硬件 和軟件的特性，能夠在專用集成電路的高性能和CPU 的可編程性之間找到自己的應用空間，產生更好的應 用效果。與此同時，FPGA安全性設計的問題也日益突 出。目前，關於FPGA安全性設計的專門著述較少， FPGA設計者很難針對具體應用進行繫統的安全性分析 和設計。 由霍夫曼編著的《FPGA安全性設計指南/國際信 息工程先進技術譯叢》通過理論闡述並結合實用設計 的方式，通過舉例說明FPGA安全性設計的問題如何進 行解決。作者從如何編寫頂層設計的形式化說明開始 ，逐步涉及低層硬件電路的各項強化機制，並分為多 個層面對FPGA安全性問題和解決方案進行了全面的闡 述。作者結合近年來在計算機安全性理論、編程語言 、編譯器和硬件設計等領域中的最新進展，與FPGA設 計中的安全性問題作為一個整體予以闡述，創建了一 整套靜態和動態分析互相配合的多樣化設計技術，使 得使用商業芯片構建的FPGA繫統有可能成為一個穩定 、可靠和安全的強健繫統。 《FPGA安全性設計指南/國際信息工程先進技術 譯叢》旨在為EDA(電子設計自動化)和FPGA領域工作 的研究者和實踐者們提供一整套FPGA安全性設計的管 理實用方法。本書適合在公司、工廠和政府研究實驗 室工作，從事FPGA設計的工程師和學術界人士閱讀。 尤其是對FPGA安全性要求較高的領域。同時也適合致 力於FPGA安全性設計研究的人士，用以提高專業技能 。

審校者序
原書前言
作者簡介
第1章 概述
1.1 對FPGA日益增加的依賴
1.1.1 航空航天用FPGA
1.1.2 **計算用FPGA
1.1.3 用FPGA分析視頻
1.1.4 高吞吐量加密用FPGA
1.1.5 入侵檢測及防範用FPGA
1.2 FPGA體繫結構
1.2.1 可重構硬件的吸引力
1.2.2 FPGA的內部結構
1.2.3 設計流程
1.3 FPGA安全問題的復雜性
1.3.1 安全是一個難題
1.3.2 復雜度以及抽像
1.3.3 烘烤和修補的比較
1.3.4 FPGA核的隔離
1.4 本書結構
參考文獻
第2章 高保障軟件的經驗與技術
2.1 背景
2.2 惡意軟件
2.2.1 特洛伊木馬
2.2.2 後門
2.3 保障度
2.4 相稱的保護
2.4.1 威脅模型
2.5 安全策略的執行
2.5.1 安全策略類型
2.5.2 策略執行機制
2.5.3 可信任部件的組合
2.6 保障度管理策略的執行
2.6.1 生命周期支持
2.6.2 配置管理
2.6.3 獨立評估
2.6.4 動態程序分析
2.6.5 可信任發售
2.6.6 可信任恢復
2.6.7 靜態分析
參考文獻
第3章 硬件安全的難點
3.1 惡意硬件
3.1.1 惡意硬件的分類
3.1.2 晶圓代工廠的可信度
3.1.3 物理攻擊
3.2 隱蔽信道定義
3.2.1 進程抽像
3.2.2 等價類
3.2.3 形式定義
3.2.4 同步
3.2.5 共享資源
3.2.6 要求
3.2.7 旁路
3.3 制約隱蔽信道和側信道攻擊的現有方法
3.3.1 共享資源矩陣法
3.3.2 緩存干擾
3.3.3 FPGA掩碼的保護方法
3.4 FPGA隱蔽信道攻擊的探測及應對
3.4.1 設計流程
3.4.2 空間隔離
3.4.3 存儲保護
3.5 作為隱蔽存儲信道的策略狀態
3.5.1 狀態策略
3.5.2 隱蔽信道機制
3.5.3 編碼方案
3.5.4 隱蔽存儲信道探測
3.5.5 減輕隱蔽信道可能造成的危險
參考文獻
第4章 FPGA*新及可編程性
4.1 概述
4.2 比特流加密和認證
4.2.1 密鑰管理
4.2.2 戰勝比特流加密
4.3 遠程*新
4.3.1 認證
4.3.2 可信恢復
4.4 部分可重構
4.4.1 部分可重構的應用
4.4.2 熱置換和停機置換的比較
4.4.3 內部配置訪問端口
4.4.4 動態安全性和復雜度
4.4.5 客體復用
4.4.6 完整性驗證
參考文獻
第5章 FPGA的存儲保護
5.1 概述
5.2 FPGA上的存儲保護
5.3 策略描述與綜合
5.3.1 存儲訪問策略
5.3.2 硬件綜合
5.4 **描述語言
5.5 示例策略
5.5.1 受控共享
5.5.2 訪問列表
5.5.3 中國牆
5.5.4 Bell與LaPadula保密模型
5.5.5 高水位線
5.5.6 Biba完整性模型
5.5.7 編輯
5.6 繫統架構
5.7 評估
5.8 使用策略編譯器
5.9 從數學角度構建嚴格的策略
5.9.1 交叉乘積法
5.9.2 實例
5.9.3 單一的策略變化
5.9.4 混合策略的形式化要素
5.10 總結
參考文獻
第6章 采用壕溝技術的空間隔離
6.1 概述
6.2 隔離
6.3 采用壕溝技術的物理隔離
6.4 構建壕溝
6.4.1 間隔法
6.4.2 檢查法
6.4.3 間隔法與檢查法的比較
6.5 使用弔橋的安全互連
6.5.1 直連的弔橋技術
6.5.2 局部重構的路線跟蹤
6.5.3 共享總線架構的弔橋技術
6.6 采用壕溝技術來保護引用監視器
參考文獻
第7章 綜合運用：設計實例
7.1 多核可重構嵌入式繫統
7.2 片上外圍總線
7.3 AES核
7.4 邏輯隔離區
7.5 引用監視器
7.6 狀態性策略
7.7 安全的互連可擴展性
7.8 隱蔽信道
7.9 壕溝技術與弔橋技術的合並
7.10 實施與評估
7.11 軟件界面
7.12 安全可用性
7.13 *多的安全架構示例
7.13.1 設計的種類
7.13.2 拓撲結構
7.14 總結
參考文獻
第8章 前瞻性問題
8.1 可信的工具
8.2 安全繫統的形式驗證
8.3 安全可用性
8.4 硬件可信性
8.5 語言
8.6 配置管理
8.7 供應鏈的安全防護
8.8 針對FPGA的物理攻擊
8.9 設計盜竊與故障分析
8.10 局部重構與動態安全
8.11 結論
參考文獻
附錄A 計算機體繫結構的基本原理
A.1 計算機架構師的日常工作是什麼？
A.2 CPU、FPGA與ASIC之間的折中方案
A.3 計算機體繫結構與計算機科學
A.4 程序分析
A.4.1 處理器仿真科學
A.4.2 片上分析引擎
A.4.3 二進制測試設備
A.4.4 相位分類
A.5 新型計算機結構
A.5.1 DIVA結構
A.5.2 原生微處理器
A.5.3 WaveScalar結構
A.5.4 應用於醫學領域的結構
A.6 存儲器
A.7 超標量處理器
A.8 多線程
參考文獻