幫助中心 | 我的帳號 | 關於我們

集成電路非侵入式逆向分析(精)

  • 作者:李清寶//張平|責編:王鑫
  • 出版社:國防工業
  • ISBN:9787118105261
  • 出版日期:2016/06/01
  • 裝幀:精裝
  • 頁數:272
人民幣:RMB 98 元      售價:
放入購物車
加入收藏夾

內容大鋼
    本書共分7章。第1章和第2章主要論述可編程邏輯器件、固件和微控制器等數字加密器件的內部結構、加密方法和逆向分析技術。第3章和第4章論述了離線式逆向分析技術原理和離線採集數據邏輯逆向綜合處理的方法。第5章和第6章主要論述了在線式逆向分析的方法和離散數據邏輯逆向綜合處理的方法。第7章論述了直讀式提取片內程序代碼的方法和代碼逆向分析的相關技術。

作者介紹
李清寶//張平|責編:王鑫

目錄
第1章  概述
  1.1  伴隨集成電路發展的逆向工程
  1.2  集成電路逆向工程
    1.2.1  逆向工程的作用
    1.2.2  逆向分析方法
  1.3  侵入式逆向分析
    1.3.1  去晶元封裝
    1.3.2  逆向分析流程
    1.3.3  侵入式逆向分析工具
  1.4  非侵入式逆向分析方法
    1.4.1  雜訊式逆向分析法
    1.4.2  離線式「黑箱」逆向分析法
    1.4.3  在線式逆向分析法
    1.4.4  直讀式逆向分析法
    1.4.5  電磁輻射式逆向分析法
  參考文獻
第2章  加密器件內部結構
  2.1  加密可編程邏輯器件的基本結構
    2.1.1  基於「與/或」陣列的結構
    2.1.2  PLD的時鐘結構
    2.1.3  基於乘積項的CPLD結構
    2.1.4  基於門陣列的FPGA結構
  2.2  MCU結構及加密機制
    2.2.1  MCU結構
    2.2.2  MCU加密機制
  2.3  固件結構與加密方法
    2.3.1  固件結構
    2.3.2  訪問操作
    2.3.3  操作時序
  2.4  加密器件在系統中的工作模式
    2.4.1  可編程邏輯器件工作模式
    2.4.2  固件工作模式
    2.4.3  微控制器工作模式
  參考文獻
第3章  離線式逆向分析
  3.1  邏輯器件離線式逆向分析模型
    3.1.1  組合邏輯離線逆向分析模型
    3.1.2  時序邏輯離線式逆向分析模型
    3.1.3  邏輯器件離線式逆向分析過程
  3.2  離線式逆向分析硬體平台
    3.2.1  輸入激勵控制電路
    3.2.2  逆向分析晶元輸出響應回收電路
    3.2.3  分析晶元電源控制電路
  3.3  引腳屬性判別
    3.3.1  引腳判別原理
    3.3.2  邏輯器件引腳屬性判別
    3.3.3  I/O引腳編程類型判別
  3.4  狀態數據採集
    3.4.1  邏輯逆向分析數據採集的理論
    3.4.2  傳統採集方法

    3.4.3  同步時序電路狀態驅動
    3.4.4  UDSD狀態轉移路徑記錄與存儲
  參考文獻
第4章  離線採集數據邏輯逆向綜合
  4.1  邏輯綜合基礎理論
    4.1.1  邏輯綜合基本概念
    4.1.2  立方體基本運算
    4.1.3  二級邏輯綜合關鍵演算法
  4.2  超大規模數據分塊處理
    4.2.1  分塊串列處理模式
    4.2.2  分塊並行處理模式
  4.3  超大規模PI集求解
    4.3.1  組合類型數據的PI集求解
    4.3.2  時序類型數據的PI集求解
  4.4  最小覆蓋求解
    4.4.1  選拔法求解最小覆蓋
    4.4.2  近似最小覆蓋迭代搜索法
參考文獻
第5章  在線式逆向分析
  5.1  在線式逆向分析組成結構與採集設備性能要求
    5.1.1  在線逆向分析組成結構
    5.1.2  在線採集設備性能要求
    5.1.3  採集設備遠程控制
  5.2  在線式無縫採集
    5.2.1  無縫採集的引入
    5.2.2  續采機制與觸發模式
    5.2.3  無縫採集的程序實現
    5.2.4  採集波形數據格式
  5.3  信號間邏輯對應關係提取
    5.3.1  電路邏輯特徵判別
    5.3.2  判別思路與方法
    5.3.3  波形快速還原
    5.3.4  波形的抽象描述
    5.3.5  電路邏輯特徵判別方法
    5.3.6  引腳判別錯誤修正
  5.4  在線真值表數據提取
    5.4.1  真值表數據格式要求
    5.4.2  邏輯對應關係提取
  參考文獻
第6章  在線採集數據邏輯逆向綜合
  6.1  在線採集數據的特點
    6.1.1  在線式和離線式採集的異同
    6.1.2  在線式採集數據的主要特點
  6.2  在線採集數據邏輯逆向綜合演算法選擇
    6.2.1  BOOM演算法
    6.2.2  改進BOOM演算法
    6.2.3  Es—ImpBOOM演算法
  6.3  多輸出函數優化覆蓋求解
    6.3.1  多輸出函數優化問題描述
    6.3.2  基於解耦合的多輸出EspressoⅡ演算法

    6.3.3  FC—Min演算法
  參考文獻
第7章  直讀式逆向分析
  7.1  直讀式逆向分析過程
    7.1.1  固件代碼提取
    7.1.2  代碼還原
    7.1.3  指令歸一化
    7.1.4  逆向分析
    7.1.5  驗證測試
  7.2  晶元內部結構與加密方法分析
    7.2.1  晶元內部結構分析
    7.2.2  晶元加密機制分析
    7.2.3  工作機制與最佳的非侵入式解析方法
  7.3  直讀式固件代碼提取
    7.3.1  直讀式代碼提取面臨的問題
    7.3.2  直讀式代碼提取技術
  7.4  代碼去擾
    7.4.1  目標代碼的加殼識別與脫殼處理
    7.4.2  代碼去擾技術
  7.5  代碼逆向分析
    7.5.1  代碼逆向分析基本思路
    7.5.2  VISA設計
    7.5.3  固件代碼控制流恢復
  7.6  分析結果可視化
    7.6.1  存儲結構
    7.6.2  繪製實現
參考文獻

  • 商品搜索:
  • | 高級搜索
首頁新手上路客服中心關於我們聯絡我們Top↑
Copyrightc 1999~2008 美商天龍國際圖書股份有限公司 臺灣分公司. All rights reserved.
營業地址:臺北市中正區重慶南路一段103號1F 105號1F-2F
讀者服務部電話:02-2381-2033 02-2381-1863 時間:週一-週五 10:00-17:00
 服務信箱:bookuu@69book.com 客戶、意見信箱:cs@69book.com
ICP證:浙B2-20060032