基于电磁和延迟的硬件木马侧信道检测方法与流程

文档序号:12714556阅读:来源:国知局

技术特征:

1.一种基于电磁和延迟的硬件木马侧信道检测方法,其特征是,步骤如下:

(1)对所有待测芯片进行侧信道测试,采集待测芯片的侧信道信息:利用侧信道采集平台多次采集电路在工作状态下泄露的电磁信息和某条路径的延迟信息;

(2)对所有待测芯片的侧信道信息进行预处理:将所有待测芯片多次采集的电磁信息和延迟信息进行平滑滤波处理,得到平滑的电磁信息和延迟信息,将待测芯片的电磁信息和延迟信息分割成n个区间段,且对每个区间的电磁信息进行求导处理;

(3)确定所有待测芯片的电磁导数信息与泄露的延迟信息的比例系数矩阵R1×n:求解步骤2得到的多个区间电磁信息的导数信息与之对应的延迟信息的比例系数,构建比例系数矩阵R1×n

(4)部分待测芯片的比例系数矩阵的差异判别:利用聚类分析算法或者距离判别算法对比例系数矩阵R1×n进行分析,分析待测芯片之间的差异,根据待测芯片的差异值的大小将待测芯片分为两类,并确定差异阈值rth

(5)待测芯片的硬件木马芯片判别:抽取两类芯片中的部分芯片,利用反向解剖技术将芯片进行逆向工程分析,分析电路的结构,辨识硬件木马类和非硬件木马类;

(6)硬件木马的在线差异识别:利用步骤4得到的聚类分析算法或者距离判别算法对所有待测芯片的比例系数矩阵进行分析,计算所有待测芯片的比例系数矩阵的差异值r′th,如果r′th<rth,则认定该芯片是非木马芯片,否则认定该芯片为硬件木马芯片。

2.如权利要求1所述的基于电磁和延迟的硬件木马侧信道检测方法,其特征是,具体地:设晶体管的开启电流Ig可以用式1表示:

Ig=kg(VDD-Vth)a (1)

其中VDD为供电电压,Vth为晶体管的阈值电压,a为速度饱和指数,且1≤a≤2,kg为门级常数,考虑到工艺偏差的影响,片间的工艺偏差引起的阈值电压变化值为ΔVTi,片内的工艺偏差引起的阈值电压变化值为ΔVTg,因此得到式2:

<mrow> <msub> <mi>I</mi> <mi>g</mi> </msub> <mo>=</mo> <msub> <mi>k</mi> <mi>g</mi> </msub> <msup> <mrow> <mo>(</mo> <msub> <mi>V</mi> <mrow> <mi>D</mi> <mi>D</mi> </mrow> </msub> <mo>-</mo> <msub> <mi>V</mi> <mrow> <mi>t</mi> <mi>h</mi> </mrow> </msub> <mo>-</mo> <msub> <mi>&Delta;V</mi> <mrow> <mi>T</mi> <mi>i</mi> </mrow> </msub> <mo>-</mo> <msub> <mi>&Delta;V</mi> <mrow> <mi>T</mi> <mi>g</mi> </mrow> </msub> <mo>)</mo> </mrow> <mi>a</mi> </msup> <mo>=</mo> <msub> <mi>k</mi> <mi>g</mi> </msub> <msup> <mrow> <mo>(</mo> <msub> <mi>V</mi> <mrow> <mi>D</mi> <mi>D</mi> </mrow> </msub> <mo>-</mo> <msub> <mi>V</mi> <mrow> <mi>t</mi> <mi>h</mi> </mrow> </msub> <mo>-</mo> <msub> <mi>&Delta;V</mi> <mrow> <mi>T</mi> <mi>i</mi> </mrow> </msub> <mo>)</mo> </mrow> <mi>a</mi> </msup> <msup> <mrow> <mo>&lsqb;</mo> <mn>1</mn> <mo>-</mo> <mfrac> <mrow> <msub> <mi>&Delta;V</mi> <mrow> <mi>T</mi> <mi>g</mi> </mrow> </msub> </mrow> <mrow> <msub> <mi>V</mi> <mrow> <mi>D</mi> <mi>D</mi> </mrow> </msub> <mo>-</mo> <msub> <mi>V</mi> <mrow> <mi>t</mi> <mi>h</mi> </mrow> </msub> <mo>-</mo> <msub> <mi>&Delta;V</mi> <mrow> <mi>T</mi> <mi>i</mi> </mrow> </msub> </mrow> </mfrac> <mo>&rsqb;</mo> </mrow> <mi>a</mi> </msup> <mo>-</mo> <mo>-</mo> <mo>-</mo> <mrow> <mo>(</mo> <mn>2</mn> <mo>)</mo> </mrow> </mrow>

片内的工艺偏差符合标准正态分布,又由于ΔVTg<<VDD-Vth-ΔVTi,则式2似得到式3:

<mrow> <msub> <mi>I</mi> <mi>g</mi> </msub> <mo>&ap;</mo> <msub> <mi>k</mi> <mi>g</mi> </msub> <msup> <mrow> <mo>(</mo> <msub> <mi>V</mi> <mrow> <mi>D</mi> <mi>D</mi> </mrow> </msub> <mo>-</mo> <msub> <mi>V</mi> <mrow> <mi>t</mi> <mi>h</mi> </mrow> </msub> <mo>-</mo> <msub> <mi>&Delta;V</mi> <mrow> <mi>T</mi> <mi>i</mi> </mrow> </msub> <mo>)</mo> </mrow> <mi>a</mi> </msup> <mo>&lsqb;</mo> <mn>1</mn> <mo>-</mo> <mfrac> <mrow> <msub> <mi>a&Delta;V</mi> <mrow> <mi>T</mi> <mi>g</mi> </mrow> </msub> </mrow> <mrow> <msub> <mi>V</mi> <mrow> <mi>D</mi> <mi>D</mi> </mrow> </msub> <mo>-</mo> <msub> <mi>V</mi> <mrow> <mi>t</mi> <mi>h</mi> </mrow> </msub> <mo>-</mo> <msub> <mi>&Delta;V</mi> <mrow> <mi>T</mi> <mi>i</mi> </mrow> </msub> </mrow> </mfrac> <mo>&rsqb;</mo> <mo>&ap;</mo> <msub> <mi>k</mi> <mi>g</mi> </msub> <msup> <mrow> <mo>(</mo> <msub> <mi>V</mi> <mrow> <mi>D</mi> <mi>D</mi> </mrow> </msub> <mo>-</mo> <msub> <mi>V</mi> <mrow> <mi>t</mi> <mi>h</mi> </mrow> </msub> <mo>-</mo> <msub> <mi>&Delta;V</mi> <mrow> <mi>T</mi> <mi>i</mi> </mrow> </msub> <mo>)</mo> </mrow> <mi>a</mi> </msup> <mo>-</mo> <mo>-</mo> <mo>-</mo> <mrow> <mo>(</mo> <mn>3</mn> <mo>)</mo> </mrow> </mrow>

假设某时刻,芯片有ntot,g个开关管处于工作状态,则芯片此时的电流为Itot,g,如式4所示:

<mrow> <msub> <mi>I</mi> <mrow> <mi>t</mi> <mi>o</mi> <mi>t</mi> <mo>,</mo> <mi>g</mi> </mrow> </msub> <mo>=</mo> <munderover> <mo>&Sigma;</mo> <mrow> <mi>i</mi> <mo>=</mo> <mn>1</mn> </mrow> <msub> <mi>n</mi> <mrow> <mi>t</mi> <mi>o</mi> <mi>t</mi> <mo>,</mo> <mi>g</mi> </mrow> </msub> </munderover> <msub> <mi>I</mi> <mi>g</mi> </msub> <mo>&ap;</mo> <msub> <mi>n</mi> <mrow> <mi>t</mi> <mi>o</mi> <mi>t</mi> <mo>,</mo> <mi>g</mi> </mrow> </msub> <msub> <mi>k</mi> <mi>g</mi> </msub> <msup> <mrow> <mo>(</mo> <msub> <mi>V</mi> <mrow> <mi>D</mi> <mi>D</mi> </mrow> </msub> <mo>-</mo> <msub> <mi>V</mi> <mrow> <mi>t</mi> <mi>h</mi> </mrow> </msub> <mo>-</mo> <msub> <mi>&Delta;V</mi> <mrow> <mi>T</mi> <mi>i</mi> </mrow> </msub> <mo>)</mo> </mrow> <mi>a</mi> </msup> <mo>-</mo> <mo>-</mo> <mo>-</mo> <mrow> <mo>(</mo> <mn>4</mn> <mo>)</mo> </mrow> </mrow>

类一个门级延迟表示为如式5,其中βg为门级延迟常数;

Ig=βg(VDD-Vth)-a (5)

按照上述的近似等效,式5近似变换如式6:

Tg≈kg(VDD-Vth-ΔVTi)-a (6)

假设某条路径有ncri,g个开关管,则某条路径的最大工作频率fmax,g如式7所示:

<mrow> <msub> <mi>f</mi> <mrow> <mi>m</mi> <mi>a</mi> <mi>x</mi> <mo>,</mo> <mi>g</mi> </mrow> </msub> <mo>=</mo> <msub> <mfrac> <mn>1</mn> <mi>T</mi> </mfrac> <mi>g</mi> </msub> <mo>&ap;</mo> <mfrac> <mn>1</mn> <mrow> <msub> <mi>&beta;</mi> <mi>g</mi> </msub> <msub> <mi>n</mi> <mrow> <mi>c</mi> <mi>r</mi> <mi>i</mi> <mo>,</mo> <mi>g</mi> </mrow> </msub> </mrow> </mfrac> <msup> <mrow> <mo>(</mo> <msub> <mi>V</mi> <mrow> <mi>D</mi> <mi>D</mi> </mrow> </msub> <mo>-</mo> <msub> <mi>V</mi> <mrow> <mi>t</mi> <mi>h</mi> </mrow> </msub> <mo>-</mo> <msub> <mi>&Delta;V</mi> <mrow> <mi>T</mi> <mi>i</mi> </mrow> </msub> <mo>)</mo> </mrow> <mi>a</mi> </msup> <mo>-</mo> <mo>-</mo> <mo>-</mo> <mrow> <mo>(</mo> <mn>7</mn> <mo>)</mo> </mrow> </mrow>

联合式4和7可知,芯片的开启电流Itot,g和某条路径的最大工作频率fmax,g成正比关系,比例系数如式8所示:

<mrow> <mfrac> <msub> <mi>I</mi> <mrow> <mi>t</mi> <mi>o</mi> <mi>t</mi> <mo>,</mo> <mi>g</mi> </mrow> </msub> <msub> <mi>f</mi> <mrow> <mi>m</mi> <mi>a</mi> <mi>x</mi> <mo>,</mo> <mi>g</mi> </mrow> </msub> </mfrac> <mo>&ap;</mo> <msub> <mi>n</mi> <mrow> <mi>t</mi> <mi>o</mi> <mi>t</mi> <mo>,</mo> <mi>g</mi> </mrow> </msub> <msub> <mi>k</mi> <mi>g</mi> </msub> <msub> <mi>n</mi> <mrow> <mi>c</mi> <mi>r</mi> <mi>i</mi> <mo>,</mo> <mi>g</mi> </mrow> </msub> <msub> <mi>&beta;</mi> <mi>g</mi> </msub> <mo>-</mo> <mo>-</mo> <mo>-</mo> <mrow> <mo>(</mo> <mn>8</mn> <mo>)</mo> </mrow> </mrow>

而木马芯片m消耗的电流Itot,m和某条路径的最大工作频率fmax,m,二者对应的比例关系如式9所示,其中某条路径有ncri,m个开关管,此刻有ntot,m个开关管处于工作状态,且ntot,m≥ntot,g,如果硬件木马插入在当前路径上,则ncri,m≥ncri,g,否则二者相等,木马植入在该路径上,则最大工作频率fmax,m与消耗的电流Itot,m成比例关系:

<mrow> <mfrac> <msub> <mi>I</mi> <mrow> <mi>t</mi> <mi>o</mi> <mi>t</mi> <mo>,</mo> <mi>m</mi> </mrow> </msub> <msub> <mi>f</mi> <mrow> <mi>max</mi> <mo>,</mo> <mi>m</mi> </mrow> </msub> </mfrac> <mo>&ap;</mo> <msub> <mi>n</mi> <mrow> <mi>t</mi> <mi>o</mi> <mi>t</mi> <mo>,</mo> <mi>m</mi> </mrow> </msub> <msub> <mi>k</mi> <mi>g</mi> </msub> <msub> <mi>n</mi> <mrow> <mi>c</mi> <mi>r</mi> <mi>i</mi> <mo>,</mo> <mi>m</mi> </mrow> </msub> <msub> <mi>&beta;</mi> <mi>g</mi> </msub> <mo>-</mo> <mo>-</mo> <mo>-</mo> <mrow> <mo>(</mo> <mn>9</mn> <mo>)</mo> </mrow> </mrow>

经过降噪处理和工艺偏差校准后的母本芯片和木马芯片在电流信息和延迟信息上存在差异,通过差异来实现硬件木马的识别,母本芯片与木马芯片消耗电流和延迟并不一致,则母本芯片和木马芯片的电流波形的导数也完全不一致。

3.如权利要求1所述的基于电磁和延迟的硬件木马侧信道检测方法,其特征是,由于芯片的电流的导数与电磁探头感应的感生电动势成比例关系,同时芯片的电流与芯片的最大工作频率成比例关系,则芯片的最大工作频率fmax的导数与电磁探头感应的感生电动势ε成比例关系,即ε∝diff(fmax),则对于母本芯片k和木马芯片m来说,对应的最大工作频率的导数diff(fmax)与感生电动势ε的比例系数分别为rk和rm,如式10,11所示,

<mrow> <msub> <mi>r</mi> <mi>k</mi> </msub> <mo>=</mo> <mfrac> <msub> <mi>&epsiv;</mi> <mi>k</mi> </msub> <msub> <mi>f</mi> <mrow> <mi>m</mi> <mi>a</mi> <mi>x</mi> <mo>,</mo> <mi>k</mi> </mrow> </msub> </mfrac> <mo>&Proportional;</mo> <mfrac> <mrow> <mi>d</mi> <mi>i</mi> <mi>f</mi> <mi>f</mi> <mrow> <mo>(</mo> <msub> <mi>f</mi> <mrow> <mi>m</mi> <mi>a</mi> <mi>x</mi> <mo>,</mo> <mi>k</mi> </mrow> </msub> <mo>)</mo> </mrow> </mrow> <msub> <mi>f</mi> <mrow> <mi>m</mi> <mi>a</mi> <mi>x</mi> <mo>,</mo> <mi>k</mi> </mrow> </msub> </mfrac> <mo>-</mo> <mo>-</mo> <mo>-</mo> <mrow> <mo>(</mo> <mn>10</mn> <mo>)</mo> </mrow> </mrow>

<mrow> <msub> <mi>r</mi> <mi>m</mi> </msub> <mo>=</mo> <mfrac> <msub> <mi>&epsiv;</mi> <mi>m</mi> </msub> <msub> <mi>f</mi> <mrow> <mi>m</mi> <mi>a</mi> <mi>x</mi> <mo>,</mo> <mi>m</mi> </mrow> </msub> </mfrac> <mo>&Proportional;</mo> <mfrac> <mrow> <mi>d</mi> <mi>i</mi> <mi>f</mi> <mi>f</mi> <mrow> <mo>(</mo> <msub> <mi>f</mi> <mrow> <mi>m</mi> <mi>a</mi> <mi>x</mi> <mo>,</mo> <mi>m</mi> </mrow> </msub> <mo>)</mo> </mrow> </mrow> <msub> <mi>f</mi> <mrow> <mi>m</mi> <mi>a</mi> <mi>x</mi> <mo>,</mo> <mi>m</mi> </mrow> </msub> </mfrac> <mo>-</mo> <mo>-</mo> <mo>-</mo> <mrow> <mo>(</mo> <mn>11</mn> <mo>)</mo> </mrow> </mrow>

其中母本芯片k和木马芯片m的最大工作频率为fmax,k,fmax,m,电磁探头输出的感生电动势分别为εk和εm,由于母本芯片与木马芯片的最大工作频率不一致,则感生电动势对最大工作频率的导数也并不相等,即rk≠rm,所以借助于模式识别或者统计分析算法识别两者之间的差异,从而实现硬件木马的检测。

当前第2页1 2 3 
网友询问留言 已有0条留言
  • 还没有人留言评论。精彩留言会获得点赞!
1