[發(fā)明專利]一種面向FPGA硬件木馬植入的邏輯網(wǎng)表分析方法在審
| 申請?zhí)枺?/td> | 201710857815.5 | 申請日： | 2017-09-21 |
| 公開（公告）號： | CN107609287A | 公開（公告）日： | 2018-01-19 |
| 發(fā)明（設(shè)計）人： | 王堅;陳哲;龍云璐;李桓;楊鍊 | 申請（專利權(quán)）人： | 電子科技大學(xué) |
| 主分類號： | G06F17/50 | 分類號： | G06F17/50;G06F21/55 |
| 代理公司： | 成都正華專利代理事務(wù)所(普通合伙)51229 | 代理人： | 何凡,李林合 |
| 地址： | 611731 四川省成*** | 國省代碼： | 四川;51 |
| 權(quán)利要求書： | 查看更多 | 說明書： | 查看更多 |
| 摘要： | |||
| 搜索關(guān)鍵詞： | 一種 面向 fpga 硬件 木馬 植入 邏輯 分析 方法 | ||
1.一種面向FPGA硬件木馬植入的邏輯網(wǎng)表分析方法，其特征在于，包括以下步驟：
S1、對給定FPGA邏輯網(wǎng)表進(jìn)行預(yù)處理，并對FPGA邏輯網(wǎng)表電路中的各節(jié)點(diǎn)進(jìn)行編號；
S2、建立FPGA邏輯網(wǎng)表中各常用元件的信號概率計算模型；
S3、根據(jù)步驟S1中的節(jié)點(diǎn)編號結(jié)果以及步驟S2中的信號概率計算模型，計算FPGA邏輯網(wǎng)表電路中各節(jié)點(diǎn)的信號概率；
S4、根據(jù)各節(jié)點(diǎn)的信號概率計算FPGA邏輯網(wǎng)表電路中各節(jié)點(diǎn)的信號翻轉(zhuǎn)概率；
S5、選擇信號翻轉(zhuǎn)概率最小的節(jié)點(diǎn)作為可利用的木馬植入節(jié)點(diǎn)。
2.根據(jù)權(quán)利要求1所述的邏輯網(wǎng)表分析方法，其特征在于，所述步驟S1具體包括以下分步驟：
S11、將給定FPGA邏輯網(wǎng)表的xdl形式的網(wǎng)表文件轉(zhuǎn)換為txt文本形式，并使用matlab對txt文本進(jìn)行讀取；
S12、將FPGA邏輯網(wǎng)表電路中的各節(jié)點(diǎn)從1到N依次進(jìn)行編號；N為FPGA邏輯網(wǎng)表電路中的節(jié)點(diǎn)總數(shù)；
S13、將FPGA邏輯網(wǎng)表電路的拓?fù)湫畔⑥D(zhuǎn)換為用鄰接矩陣結(jié)構(gòu)表示。
3.根據(jù)權(quán)利要求1所述的邏輯網(wǎng)表分析方法，其特征在于，所述步驟S2中的常用元件包括LUT、F7MUX、D觸發(fā)器以及鎖存器。
4.根據(jù)權(quán)利要求3所述的邏輯網(wǎng)表分析方法，其特征在于，所述LUT的信號概率計算模型包括LUT中與/或門的輸出信號概率計算公式以及各輸出信號相關(guān)系數(shù)計算公式；
與門的輸出信號概率計算公式為：
p(land)＝p(iand)p(jand)C(iand,jand)(1)
其中p(land)表示與門輸出信號land為1的概率，p(iand)和p(jand)分別表示與門輸入信號iand和jand為1的概率，C(iand,jand)表示iand和jand的相關(guān)系數(shù)；
或門的輸出信號概率計算公式為：
p(lor)＝p(ior)+p(jor)-p(ior)p(jor)C(ior,jor) (2)
其中p(lor)表示或門輸出信號lor為1的概率，p(ior)和p(jor)分別表示或門輸入信號ior和jor為1的概率，C(ior,jor)表示ior和jor的相關(guān)系數(shù)；
扇出節(jié)點(diǎn)的輸出信號相關(guān)系數(shù)計算公式為：
C(lf1,lf2)＝1/p(if)(3)
其中C(lf1,lf2)表示扇出節(jié)點(diǎn)的輸出信號lf1和lf2的相關(guān)系數(shù)，p(if)表示扇出節(jié)點(diǎn)的輸入信號if為1的概率；
非門的輸出信號相關(guān)系數(shù)計算公式為：
C(ln,m)＝[1-p(in)C(in,m)]/[1-p(in)] (4)
其中C(ln,m)表示非門輸出信號ln和任意其他信號m的相關(guān)系數(shù)，p(in)表示非門輸入信號in為1的概率，C(in,m)表示非門輸入信號in和m的相關(guān)系數(shù)；
與門的輸出信號相關(guān)系數(shù)計算公式為：
C(land,m)＝C(iand,m)C(jand,m)(5)
其中C(land,m)表示與門輸出信號land和m的相關(guān)系數(shù)，C(iand,m)表示與門輸入信號iand和m的相關(guān)系數(shù)，C(jand,m)表示與門輸入信號jand和m的相關(guān)系數(shù)；
或門的輸出信號相關(guān)系數(shù)計算公式為：
其中C(lor,m)表示或門輸出信號lor和m的相關(guān)系數(shù)，C(ior,m)表示或門輸入信號ior和m的相關(guān)系數(shù)，C(jor,m)表示與門輸入信號jor和m的相關(guān)系數(shù)。
該專利技術(shù)資料僅供研究查看技術(shù)是否侵權(quán)等信息，商用須獲得專利權(quán)人授權(quán)。該專利全部權(quán)利屬于電子科技大學(xué)，未經(jīng)電子科技大學(xué)許可，擅自商用是侵權(quán)行為。如果您想購買此專利、獲得商業(yè)授權(quán)和技術(shù)合作，請聯(lián)系【客服】
本文鏈接：http://www.szxzyx.cn/pat/books/201710857815.5/1.html，轉(zhuǎn)載請聲明來源鉆瓜專利網(wǎng)。
