-
题名RTL级硬件木马问题研究
被引量：1
- 1
-
-
作者
赵剑锋
史岗
-
机构
中国科学院大学网络空间安全学院
中国科学院信息工程研究所第五实验室
-
出处
《信息安全学报》
CSCD
2023年第4期139-152,共14页
-
基金
国家“核高基”科技重大专项基金项目(No.2013ZX01029003-001)
国家“八六三”高技术研究发展计划基金项目(No.2012AA01A401)资助。
-
文摘
信息时代使得信息安全变得日益重要。信息安全可以分为两类:软件安全和硬件安全。攻击方为了获取想要的信息,除了使用软件方面的手段,如病毒、蠕虫、软件木马等,同样也使用硬件手段来威胁设备、系统和数据的安全,如在芯片中植入硬件木马等。如果将硬件木马植入信息处理的核心——处理器,那将风险更高、危害更大。然而,硬件木马位于信息系统底层核心的层面,难以被检测和发现出来。硬件木马是国内外学术界研究的热点课题,尤其是在设计阶段结合源代码的硬件木马检测问题,是新问题,也是有实际需要的问题。在上述背景并结合国内对芯片RTL源代码安全风险评估的实际需求展开了相关工作,围绕RTL源代码中硬件木马的问题展开了研究。主要贡献:针对RTL级硬件木马尚未在学术上给出一般属性的问题,给出硬件木马的属性描述形式,在形成硬件木马属性的基础上,以模块端口信号为源,提出了一种基于信号流向的多叉树分层递归搜索方法,实验结果表明,该方法对于依附在端口上的硬件木马的检测是有效的。
-
关键词
芯片
rtl级硬件木马
属性描述
搜索方法
-
Keywords
chip
rtl level hardware trojan
attribute description
search method
-
分类号
TP309.2
[自动化与计算机技术—计算机系统结构]
-
-
题名文安和古冶2次M_(S)5.1地震活动特征对比
- 2
-
-
作者
宋程
张永仙
夏彩韵
孙路强
-
机构
天津市地震局
中国地震局地震预测研究所
辽宁省地震局
-
出处
《华北地震科学》
2024年第3期83-90,共8页
-
基金
天津市自然科学基金青年项目(22JCQNJC01070)
天津市地震局科研项目(Zd202402,Zd202304)。
-
文摘
对2006年文安M_(S)5.1地震和2020年古冶M_(S)5.1地震前的异常平静图像、区域-时间-长度(RTL)曲线、地震图像信息(PI)热点进行了对比分析。研究结果表明:①2次M_(S)5.1地震前存在不同程度的时空平静异常图像;②RTL方法显示,文安地震前半年存在显著平静异常,古冶地震前半年内未出现平静异常;③PI方法显示,在3年预测窗长和0.1°×0.1°网格尺度下,2次地震的震中附近皆存在热点,文安地震的有效热点相比于古冶地震对地点指示意义更好,发震风险性更高。该研究对华北地区M_(S)5.0以上地震活动特征总结和地震危险性评估具有一定的参考意义。
-
关键词
文安M_(S)5.1地震
古冶M_(S)5.1地震
平静异常
rtl方法
PI方法
-
Keywords
Wen'an M_(S)5.1 earthquake
Guye M_(S)5.1 earthquake
quiescence abnormality
rtl method
PI method
-
分类号
P315.6
[天文地球—地震学]
-
-
题名强烈地震前阿拉木图试验场地震平静期研究
- 3
-
-
作者
Н.Б.乌兹别科夫
O.M.别洛斯柳采夫
-
机构
哈萨克斯坦共和国科学教育部地震研究所
-
出处
《内陆地震》
2007年第3期275-280,共6页
-
文摘
对强震孕育和发震期阿拉木图预报试验场弱震活动性进行了动力学分析,发现弱震活动性变化明显地表现出时空平静异常。研讨了北天山地震平静异常表现的形态和幅度特性。
-
关键词
阿拉木图试验场
地震活动平静
rtl方法
-
Keywords
Almaty Experiment Field
Earthquake
Quiescence of Seismic Activity
rtl method.
-
分类号
P315.7
[天文地球—地震学]
-
