硬件木马旁路检测方法的影响因素研究

旁路检测方法通过采集电路功耗、延迟、电磁场等物理参数特性筛查硬件木马电路,但其检测性能会受到工艺波动的严重影响,且工艺的不确定性会随着芯片工艺尺寸缩小和亚阈值泄漏电流增大而增加。为此,研究硬件木马旁路检测的影响因素。通过构建旁路检测模型,在中芯国际130 nm和65 nm标准CMOS工艺下对ISCAS’85 c880基准和木马电路进行实验,结果表明,优化测试向量和适当降低电源电压能够降低工艺波动的影响,平均综合灵敏度分别提升5. 60%(130 nm)和0. 40%(65 nm)。同时,利用静/动态测试向量组的绝对差异比作为辅助判别依据,可降低测试向量筛选迭代次数。     

炮检距矢量道集非刚性匹配方位各向异性时差校正

随着勘探精度日益提高,宽方位地震资料的方位各向异性问题变得更加突出。介质的方位各向异性会导致地震成像道集中反射点的道间时差,且常规处理方法难以正确消除,影响成像结果的保真度和分辨率。基于"两宽一高"的实际地震数据,分析研究区方位各向异性在炮检距向量片(OVT)域偏移后形成的OVG道集上的表现特征,采用非刚性匹配(NRM)时差校正方法获得时空变的校正量,消除方位各向异性对成像的影响,实现了整体数据的方位各向异性时差校正。与常规处理结果相比,该方法改善了成像品质,频带展宽7 Hz左右,有助于提高储层描述精度。     

面向二进制程序的导向性模糊测试方法

为了解决当前模糊测试技术中变异存在一定的盲目性以及变异生成的样本大多经过相同的高频路径的问题，提出并实现了一种基于轻量级程序分析技术的二进制程序模糊测试方法。首先对目标二进制程序进行静态分析来筛选在模糊测试过程中阻碍样本文件深入程序内部的比较指令；随后对目标文件进行插桩来获取比较指令中操作数的具体值，并根据该具体值为比较指令建立实时的比较进度信息，通过比较进度衡量样本的重要程度；然后基于模糊测试过程中实时的路径覆盖信息为经过稀有路径的样本增加其被挑选进行变异的概率；最后根据比较进度信息并结合启发式策略有针对性地对样本文件进行变异，通过变异引导提高模糊测试中生成能够绕过程序规约检查的有效样本的效率。实验结果表明，所提方法发现crash及发现新路径的能力均优于模糊测试工具AFL-Dyninst。