[发明专利]基于HMM的硬件木马检测方法在审
申请号: | 201811266738.7 | 申请日: | 2018-10-29 |
公开(公告)号: | CN109472170A | 公开(公告)日: | 2019-03-15 |
发明(设计)人: | 高振斌;郭晓轩 | 申请(专利权)人: | 河北工业大学 |
主分类号: | G06F21/76 | 分类号: | G06F21/76 |
代理公司: | 天津翰林知识产权代理事务所(普通合伙) 12210 | 代理人: | 赵凤英 |
地址: | 300130 天津市红桥区*** | 国省代码: | 天津;12 |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | |||
搜索关键词: | 木马检测 木马 电路 母本 待测电路 电流数据 电路模型 方法使用 前向算法 实验验证 阈值分析 数据处理 功耗 匹配 检测 学习 研究 | ||
1.一种基于HMM的硬件木马检测方法,其特征为该方法通过电流探头采集芯片工作时产生的电流,并将其存储在示波器中,最后采集到的数据传送到PC机进行数据处理;
包括如下步骤:
步骤1,设计载体电路和面积较小的硬件木马电路,将多个硬件木马电路载入到载体电路中,为每个硬件木马都设置触发信号;
步骤2,将载体电路与硬件木马电路接入到FPGA芯片中,搭建检测平台,同时设置示波器的工作模式,工作模式设置为平均模式,平均次数设为512,此采样深度为1M,电流探头绕线圈数为1圈,采样率为100M次/秒;
所述的检测平台包括FPGA板、直流电源、信号探头、示波器和PC机;连接关系为:直流电源、FPGA板、信号探头、示波器和PC机依次相连;
步骤3,在不激活硬件木马的条件下,利用示波器检测和存储FPGA芯片运行过程中产生的电流信息,根据需要检测的硬件木马的面积的大小来激活载体电路中不同个数的木马,再次利用示波器检测和存储FPGA芯片运行过程中产生的电流信息;
步骤4,使用单次采样的方法保存数据,通过采集母本电路数据八组,每组九个,硬件木马电路数据三组,每组九个,保存数据,并将数据导入PC中;
步骤5,提取母本数据特征参数,采用训练问题中的Baum-Welch算法对母本数据的特征参数进行训练得到母本数据模型;
(1)初始模型λ0=(A,B,π),参数设置如下:
a.状态空间,设置状态空间为q={1},1表示母本电路,状态数N=1;
b.初始分布π={1},表示在一般的情况下初始时刻的数据是母本电路数据;
c.因为只有母本电路,所以不可见状态转移矩阵A=1;
d.可见符号的概率分布B={bj(k)},它表示在母本电路状态下,不同电流出现的概率,本次采用K均值聚类算法;
(2)初始模型λ0经过Baum-Welch重估计算后得到新的模型λ;
(3)比较P(O|λ0)和P(O|λ):如果P(O|λ0)>P(O|λ),表明达到收敛点,结束参数调整过程,否则用λ代替λ0,继续进行参数调整直到模型收敛;
步骤6,提取待测数据的特征参数,采用评估方法中的前向算法将母本数据和待测数据的特征参数均与上述模型进行匹配,得到母本数据和待测数据在此正常模型下发生的概率,具体步骤为第一步初始化α1(i)=πibi(O1);其中1≤i≤N;第二步递归其中1≤t≤T-1,1≤j≤N;第三步终结其中,P(O|λ)反映了观察序列与模型匹配的程度,P(O|λ)越大,表明观测数据与正常数据匹配性越高,所对应的数据是母本数据的概率就越大,P(O|λ)越小,表明观测数据与正常数据匹配性越低,所对应的观测数据是木马数据的概率就越大;
比较阈值K和概率P(O|λ),如果P(O|λ)>K,则为正常的数据,否则是木马数据,如果被测电路测试了n次,被判为木马电路的次数大于n/2,那么认为此电路为含有木马的电路,否则为正常电路;
经过以上步骤,对采集到的母本电路数据和待测电路数据分别进行处理,完成基于HMM的硬件木马的检测。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于河北工业大学,未经河北工业大学许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/pat/books/201811266738.7/1.html,转载请声明来源钻瓜专利网。