[发明专利]基于多参数相关性的硬件木马检测方法在审

专利信息
申请号: 201710062807.1 申请日: 2017-01-25
公开(公告)号: CN106845287A 公开(公告)日: 2017-06-13
发明(设计)人: 赵毅强;刘燕江;解啸天;高翔;刘阿强 申请(专利权)人: 天津大学
主分类号: G06F21/76 分类号: G06F21/76;G06F21/56
代理公司: 天津市北洋有限责任专利代理事务所12201 代理人: 刘国威
地址: 300072*** 国省代码: 天津;12
权利要求书: 查看更多 说明书: 查看更多
摘要:
搜索关键词: 基于 参数 相关性 硬件 木马 检测 方法
【权利要求书】:

1.一种基于多参数相关性的硬件木马检测方法,其特征是,步骤如下:

(1)旁路信息采集:利用旁路信息采集平台对所有待测芯片进行旁路测试,采集所有待测芯片在工作状态下泄露的多个旁路信息;

(2)对待测芯片的旁路参数进行相关性分析,构建多参数相关性矩阵:对部分待测芯片的旁路信息进行预处理,消除测试过程中存在的环境噪声和测量噪声,提取待测芯片的两个或者多个旁路参数,利用相关性分析,分别计算多参数间的相关性,得到多参数间的相关性矩阵;

(3)部分芯片的相关性矩阵的差异判别:在步骤2的基础上,抽取部分芯片的相关性矩阵利用利用统计分析或者模式识别算法来分析多个待测芯片对应的相关性矩阵的差异,提取彼此之间的差异特征,利用距离判别算法或者聚类分析算法来判别差异,将差异较大的样本芯片筛选出来,并设定相关性差异阈值rth

(4)硬件木马芯片辨识:将差异较大的样本芯片进行解剖分析,快速辨识硬件木马芯片和非硬件木马芯片;

(5)硬件木马在线识别:利用步骤3所使用的统计分析或者模式识别算法计算由步骤4得到的非木马芯片与其它待测芯片的相关性矩阵差异值r′th,如果r′th<rth,则认定该芯片属于非木马芯片,否则认定该芯片为硬件木马芯片。

2.如权利要求1所述的基于多参数相关性的硬件木马检测方法,其特征是,判别算法为马氏距离、欧式距离、夹角余弦距离或者Tanimoto测度中的一种,聚类分析算法为层次聚类、动态聚类和模拟退火聚类中的一种。

3.如权利要求1所述的基于多参数相关性的硬件木马检测方法,其特征是,根据如下公式1,2,3:

<mrow><msubsup><mi>r</mi><mrow><mi>I</mi><mi>E</mi></mrow><mo>&prime;</mo></msubsup><mo>=</mo><mfrac><mrow><munderover><mo>&Sigma;</mo><mrow><mi>i</mi><mo>=</mo><mn>1</mn></mrow><mi>n</mi></munderover><mrow><mo>(</mo><msub><mi>I</mi><mrow><mi>m</mi><mi>i</mi></mrow></msub><mo>-</mo><msub><mover><mi>I</mi><mo>&OverBar;</mo></mover><mi>m</mi></msub><mo>)</mo></mrow><mrow><mo>(</mo><msub><mi>E</mi><mrow><mi>m</mi><mi>i</mi></mrow></msub><mo>-</mo><msub><mover><mi>E</mi><mo>&OverBar;</mo></mover><mi>m</mi></msub><mo>)</mo></mrow></mrow><mrow><msqrt><mrow><munderover><mo>&Sigma;</mo><mrow><mi>i</mi><mo>=</mo><mn>1</mn></mrow><mi>n</mi></munderover><msup><mrow><mo>(</mo><msub><mi>I</mi><mrow><mi>m</mi><mi>i</mi></mrow></msub><mo>-</mo><msub><mover><mi>I</mi><mo>&OverBar;</mo></mover><mi>m</mi></msub><mo>)</mo></mrow><mn>2</mn></msup></mrow></msqrt><msqrt><mrow><munderover><mo>&Sigma;</mo><mrow><mi>i</mi><mo>=</mo><mn>1</mn></mrow><mi>n</mi></munderover><msup><mrow><mo>(</mo><msub><mi>E</mi><mrow><mi>m</mi><mi>i</mi></mrow></msub><mo>-</mo><msub><mover><mi>E</mi><mo>&OverBar;</mo></mover><mi>m</mi></msub><mo>)</mo></mrow><mn>2</mn></msup></mrow></msqrt></mrow></mfrac><mo>&NotEqual;</mo><mfrac><mrow><munderover><mo>&Sigma;</mo><mrow><mi>i</mi><mo>=</mo><mn>1</mn></mrow><mi>n</mi></munderover><mrow><mo>(</mo><msub><mi>I</mi><mrow><mi>k</mi><mi>i</mi></mrow></msub><mo>-</mo><msub><mover><mi>I</mi><mo>&OverBar;</mo></mover><mi>k</mi></msub><mo>)</mo></mrow><mrow><mo>(</mo><msub><mi>E</mi><mrow><mi>k</mi><mi>i</mi></mrow></msub><mo>-</mo><msub><mover><mi>E</mi><mo>&OverBar;</mo></mover><mi>k</mi></msub><mo>)</mo></mrow></mrow><mrow><msqrt><mrow><munderover><mo>&Sigma;</mo><mrow><mi>i</mi><mo>=</mo><mn>1</mn></mrow><mi>n</mi></munderover><msup><mrow><mo>(</mo><msub><mi>I</mi><mrow><mi>k</mi><mi>i</mi></mrow></msub><mo>-</mo><msub><mover><mi>I</mi><mo>&OverBar;</mo></mover><mi>k</mi></msub><mo>)</mo></mrow><mn>2</mn></msup></mrow></msqrt><msqrt><mrow><munderover><mo>&Sigma;</mo><mrow><mi>i</mi><mo>=</mo><mn>1</mn></mrow><mi>n</mi></munderover><msup><mrow><mo>(</mo><msub><mi>E</mi><mrow><mi>k</mi><mi>i</mi></mrow></msub><mo>-</mo><msub><mover><mi>E</mi><mo>&OverBar;</mo></mover><mi>k</mi></msub><mo>)</mo></mrow><mn>2</mn></msup></mrow></msqrt></mrow></mfrac><mo>&NotEqual;</mo><msub><mi>r</mi><mrow><mi>I</mi><mi>E</mi></mrow></msub><mo>-</mo><mo>-</mo><mo>-</mo><mrow><mo>(</mo><mn>1</mn><mo>)</mo></mrow></mrow>

<mrow><msubsup><mi>r</mi><mrow><mi>I</mi><mi>H</mi></mrow><mo>&prime;</mo></msubsup><mo>=</mo><mfrac><mrow><munderover><mo>&Sigma;</mo><mrow><mi>i</mi><mo>=</mo><mn>1</mn></mrow><mi>n</mi></munderover><mrow><mo>(</mo><msub><mi>I</mi><mrow><mi>m</mi><mi>i</mi></mrow></msub><mo>-</mo><msub><mover><mi>I</mi><mo>&OverBar;</mo></mover><mi>m</mi></msub><mo>)</mo></mrow><mrow><mo>(</mo><msub><mi>H</mi><mrow><mi>m</mi><mi>i</mi></mrow></msub><mo>-</mo><msub><mover><mi>H</mi><mo>&OverBar;</mo></mover><mi>m</mi></msub><mo>)</mo></mrow></mrow><mrow><msqrt><mrow><munderover><mo>&Sigma;</mo><mrow><mi>i</mi><mo>=</mo><mn>1</mn></mrow><mi>n</mi></munderover><msup><mrow><mo>(</mo><msub><mi>I</mi><mrow><mi>m</mi><mi>i</mi></mrow></msub><mo>-</mo><msub><mover><mi>I</mi><mo>&OverBar;</mo></mover><mi>m</mi></msub><mo>)</mo></mrow><mn>2</mn></msup></mrow></msqrt><msqrt><mrow><munderover><mo>&Sigma;</mo><mrow><mi>i</mi><mo>=</mo><mn>1</mn></mrow><mi>n</mi></munderover><msup><mrow><mo>(</mo><msub><mi>H</mi><mrow><mi>m</mi><mi>i</mi></mrow></msub><mo>-</mo><msub><mover><mi>H</mi><mo>&OverBar;</mo></mover><mi>m</mi></msub><mo>)</mo></mrow><mn>2</mn></msup></mrow></msqrt></mrow></mfrac><mo>&NotEqual;</mo><mfrac><mrow><munderover><mo>&Sigma;</mo><mrow><mi>i</mi><mo>=</mo><mn>1</mn></mrow><mi>n</mi></munderover><mrow><mo>(</mo><msub><mi>I</mi><mrow><mi>k</mi><mi>i</mi></mrow></msub><mo>-</mo><msub><mover><mi>I</mi><mo>&OverBar;</mo></mover><mi>k</mi></msub><mo>)</mo></mrow><mrow><mo>(</mo><msub><mi>H</mi><mrow><mi>k</mi><mi>i</mi></mrow></msub><mo>-</mo><msub><mover><mi>H</mi><mo>&OverBar;</mo></mover><mi>k</mi></msub><mo>)</mo></mrow></mrow><mrow><msqrt><mrow><munderover><mo>&Sigma;</mo><mrow><mi>i</mi><mo>=</mo><mn>1</mn></mrow><mi>n</mi></munderover><msup><mrow><mo>(</mo><msub><mi>I</mi><mrow><mi>k</mi><mi>i</mi></mrow></msub><mo>-</mo><msub><mover><mi>I</mi><mo>&OverBar;</mo></mover><mi>k</mi></msub><mo>)</mo></mrow><mn>2</mn></msup></mrow></msqrt><msqrt><mrow><munderover><mo>&Sigma;</mo><mrow><mi>i</mi><mo>=</mo><mn>1</mn></mrow><mi>n</mi></munderover><msup><mrow><mo>(</mo><msub><mi>H</mi><mrow><mi>k</mi><mi>i</mi></mrow></msub><mo>-</mo><msub><mover><mi>H</mi><mo>&OverBar;</mo></mover><mi>k</mi></msub><mo>)</mo></mrow><mn>2</mn></msup></mrow></msqrt></mrow></mfrac><mo>&NotEqual;</mo><msub><mi>r</mi><mrow><mi>I</mi><mi>H</mi></mrow></msub><mo>-</mo><mo>-</mo><mo>-</mo><mrow><mo>(</mo><mn>2</mn><mo>)</mo></mrow></mrow>

<mrow><msubsup><mi>r</mi><mrow><mi>H</mi><mi>E</mi></mrow><mo>&prime;</mo></msubsup><mo>=</mo><mfrac><mrow><munderover><mo>&Sigma;</mo><mrow><mi>i</mi><mo>=</mo><mn>1</mn></mrow><mi>n</mi></munderover><mrow><mo>(</mo><msub><mi>H</mi><mrow><mi>m</mi><mi>i</mi></mrow></msub><mo>-</mo><msub><mover><mi>H</mi><mo>&OverBar;</mo></mover><mi>m</mi></msub><mo>)</mo></mrow><mrow><mo>(</mo><msub><mi>E</mi><mrow><mi>m</mi><mi>i</mi></mrow></msub><mo>-</mo><msub><mover><mi>E</mi><mo>&OverBar;</mo></mover><mi>m</mi></msub><mo>)</mo></mrow></mrow><mrow><msqrt><mrow><munderover><mo>&Sigma;</mo><mrow><mi>i</mi><mo>=</mo><mn>1</mn></mrow><mi>n</mi></munderover><msup><mrow><mo>(</mo><msub><mi>H</mi><mrow><mi>m</mi><mi>i</mi></mrow></msub><mo>-</mo><msub><mover><mi>H</mi><mo>&OverBar;</mo></mover><mi>m</mi></msub><mo>)</mo></mrow><mn>2</mn></msup></mrow></msqrt><msqrt><mrow><munderover><mo>&Sigma;</mo><mrow><mi>i</mi><mo>=</mo><mn>1</mn></mrow><mi>n</mi></munderover><msup><mrow><mo>(</mo><msub><mi>E</mi><mrow><mi>m</mi><mi>i</mi></mrow></msub><mo>-</mo><msub><mover><mi>E</mi><mo>&OverBar;</mo></mover><mi>m</mi></msub><mo>)</mo></mrow><mn>2</mn></msup></mrow></msqrt></mrow></mfrac><mo>&NotEqual;</mo><mfrac><mrow><munderover><mo>&Sigma;</mo><mrow><mi>i</mi><mo>=</mo><mn>1</mn></mrow><mi>n</mi></munderover><mrow><mo>(</mo><msub><mi>H</mi><mrow><mi>k</mi><mi>i</mi></mrow></msub><mo>-</mo><msub><mover><mi>H</mi><mo>&OverBar;</mo></mover><mi>k</mi></msub><mo>)</mo></mrow><mrow><mo>(</mo><msub><mi>E</mi><mrow><mi>k</mi><mi>i</mi></mrow></msub><mo>-</mo><msub><mover><mi>E</mi><mo>&OverBar;</mo></mover><mi>k</mi></msub><mo>)</mo></mrow></mrow><mrow><msqrt><mrow><munderover><mo>&Sigma;</mo><mrow><mi>i</mi><mo>=</mo><mn>1</mn></mrow><mi>n</mi></munderover><msup><mrow><mo>(</mo><msub><mi>H</mi><mrow><mi>k</mi><mi>i</mi></mrow></msub><mo>-</mo><msub><mover><mi>H</mi><mo>&OverBar;</mo></mover><mi>k</mi></msub><mo>)</mo></mrow><mn>2</mn></msup></mrow></msqrt><msqrt><mrow><munderover><mo>&Sigma;</mo><mrow><mi>i</mi><mo>=</mo><mn>1</mn></mrow><mi>n</mi></munderover><msup><mrow><mo>(</mo><msub><mi>E</mi><mrow><mi>k</mi><mi>i</mi></mrow></msub><mo>-</mo><msub><mover><mi>E</mi><mo>&OverBar;</mo></mover><mi>k</mi></msub><mo>)</mo></mrow><mn>2</mn></msup></mrow></msqrt></mrow></mfrac><mo>&NotEqual;</mo><msub><mi>r</mi><mrow><mi>I</mi><mi>H</mi></mrow></msub><mo>-</mo><mo>-</mo><mo>-</mo><mrow><mo>(</mo><mn>3</mn><mo>)</mo></mrow></mrow>

其中,n为芯片采集的次数,Iki为非木马芯片k第i次测量的电流值,非木马芯片k所有测量的平均电流值,Eki为非木马芯片k第i次测量的电场强度,非木马芯片k所有测量的平均电场强度,Hki为非木马芯片k第i次测量的磁场强度,非木马芯片k所有测量的平均磁场强度,Imi为非木马芯片m第i次测量的电流值,非木马芯片m所有测量的平均电流值,Emi为非木马芯片m第i次测量的电场强度,非木马芯片m所有测量的平均电场强度,Hmi为非木马芯片m第i次测量的磁场强度,非木马芯片m所有测量的平均磁场强度,木马芯片m的电流与电场强度的pearson相关系数为r′IE,木马芯片m的电流与磁场强度的pearson相关系数为r′IH,木马芯片m的磁场强度与电场强度的pearson相关系数为r′HE,芯片消耗电流与发射电场强度的Pearson系数为rIE,且|rIE|≤1,芯片消耗电流与发射磁场场强度的Pearson系数为rIH,且|rIH|≤1,发射电场强度与磁场强度的Pearson系数为rHE,且|rHE|≤1;

由于木马芯片和非木马芯片对应的旁路参数彼此之间存在相关性的差异,借助于差异判别算法提取出这种特征差异,从而实现硬件木马的识别。

下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。

该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于天津大学,未经天津大学许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服

本文链接:http://www.vipzhuanli.com/pat/books/201710062807.1/1.html,转载请声明来源钻瓜专利网。

×

专利文献下载

说明:

1、专利原文基于中国国家知识产权局专利说明书;

2、支持发明专利 、实用新型专利、外观设计专利(升级中);

3、专利数据每周两次同步更新,支持Adobe PDF格式;

4、内容包括专利技术的结构示意图流程工艺图技术构造图

5、已全新升级为极速版,下载速度显著提升!欢迎使用!

请您登陆后,进行下载,点击【登陆】 【注册】

关于我们 寻求报道 投稿须知 广告合作 版权声明 网站地图 友情链接 企业标识 联系我们

钻瓜专利网在线咨询

周一至周五 9:00-18:00

咨询在线客服咨询在线客服
tel code back_top