期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到77篇文章
< 1 2 … 4 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
IP软核硬件木马图谱特征分析检测方法
1
作者 倪林 李霖 +2 位作者 张帅 童思程 钱杨 《电子与信息学报》 EI CAS CSCD 北大核心 2024年第11期4151-4160,共10页
随着集成电路技术的飞速发展,芯片在设计、生产和封装过程中,很容易被恶意植入硬件木马逻辑,当前IP软核的安全检测方法逻辑复杂、容易错漏且无法对加密IP软核进行检测。该文利用非可控IP软核与硬件木马寄存器传输级(RTL)代码灰度图谱的... 随着集成电路技术的飞速发展,芯片在设计、生产和封装过程中,很容易被恶意植入硬件木马逻辑,当前IP软核的安全检测方法逻辑复杂、容易错漏且无法对加密IP软核进行检测。该文利用非可控IP软核与硬件木马寄存器传输级(RTL)代码灰度图谱的特征差异,提出一种基于图谱特征分析的IP软核硬件木马检测方法,通过图谱转换和图谱增强得到标准图谱,利用纹理特征提取匹配算法实现硬件木马检测。实验使用设计阶段被植入7类典型木马的功能逻辑单元为实验对象,检测结果显示7类典型硬件木马的检测正确率均达到了90%以上,图像增强后特征点匹配成功数量的平均增长率达到了13.24%,有效提高了硬件木马检测的效率。 展开更多
关键词 IP软核 硬件木马 灰度图谱 纹理特征 检测算法
在线阅读 下载PDF
基于安全风险的RTL级硬件木马验证研究
2
作者 赵剑锋 史岗 《信息安全学报》 CSCD 2024年第1期111-122,共12页
信息时代使得信息安全变得日益重要。攻击方为了获取想要的信息,除了使用软件方面的手段,如病毒、蠕虫、软件木马等,也使用硬件手段来威胁设备、系统和数据的安全,如在芯片中植入硬件木马等。如果将硬件木马植入信息处理的核心--处理器... 信息时代使得信息安全变得日益重要。攻击方为了获取想要的信息,除了使用软件方面的手段,如病毒、蠕虫、软件木马等,也使用硬件手段来威胁设备、系统和数据的安全,如在芯片中植入硬件木马等。如果将硬件木马植入信息处理的核心--处理器,那将风险更高、危害更大。然而,硬件木马位于信息系统底层核心的层面,难以被检测和发现出来。硬件木马是国内外学术界研究的热点课题,尤其是在设计阶段结合源代码的硬件木马检测问题,是新问题,也是有实际需要的问题。在上述背景下,围绕源代码中硬件木马的检测和验证展开了研究。基于硬件木马危害结果属性,在学术上提出基于安全风险的模型和验证规则,给出相应的描述形式,从理论上说明安全验证规则在减少验证盲目性、缩小可疑代码范围、提高评估效率的作用,实验表明,基于安全风险规则的验证,可以避免验证的盲目性和测试空间向量膨胀的问题,有效验证疑似硬件木马的存在和危害,对源代码安全评估是有一定效果的。 展开更多
关键词 芯片 RTL级硬件木马 安全风险 验证规则
在线阅读 下载PDF
硬件木马检测方法与防护技术研究
3
作者 肖超恩 昌湘泽 +1 位作者 王建新 张磊 《北京电子科技学院学报》 2024年第3期21-39,共19页
随着集成电路技术的高速发展,芯片设计和制造越来越容易受到恶意行为的影响。在微电子系统中,硬件安全起着至关重要的作用。硬件安全作为一门学科起源于密码学,涉及硬件设计和安全的多方计算。硬件木马(HT)是硬件安全的主要威胁,因为一... 随着集成电路技术的高速发展,芯片设计和制造越来越容易受到恶意行为的影响。在微电子系统中,硬件安全起着至关重要的作用。硬件安全作为一门学科起源于密码学,涉及硬件设计和安全的多方计算。硬件木马(HT)是硬件安全的主要威胁,因为一旦激活,HT会改变电路的行为并泄露信息。本文对现有的硬件木马检测方法与防护技术进行了系统的综述。首先,介绍了硬件木马的基本概念、类型及其对系统安全的威胁。然后,详细评述了流片前和流片后硬件木马检测技术,包括形式化验证、功能验证、侧信道分析、逻辑测试等方法,以及这些方法的优缺点和适用场景。进一步,探讨了在设计、制造和供应链等环节的防护技术,如第三方知识产权可信设计策略、数字签名和加密技术等。最后,本文总结了当前硬件木马检测和防护技术的研究现状,指出了现存的挑战和未来的发展方向。本文旨在为硬件木马研究提供全面的参考,以提高数字基础设施的安全性。 展开更多
关键词 集成电路 硬件木马 防护技术 形式化验证 加密技术
在线阅读 下载PDF
芯片对抗(硬件木马)的研究进展
4
作者 范明钰 胡文强 +1 位作者 廖星宇 石昊 《电子信息对抗技术》 北大核心 2021年第6期34-42,共9页
芯片已不再安全,可能被植入木马,这颠覆了人们长久以来的认知。鉴于其带来的可怕后果,十几年来,学术界、相关行业,和政府都对HT问题给予了极大的关注,提出了许多方法对策进行防御,但是又被更加复杂的HT设计所规避。分别从攻击技术如何... 芯片已不再安全,可能被植入木马,这颠覆了人们长久以来的认知。鉴于其带来的可怕后果,十几年来,学术界、相关行业,和政府都对HT问题给予了极大的关注,提出了许多方法对策进行防御,但是又被更加复杂的HT设计所规避。分别从攻击技术如何做到藏得住、出得来;防御技术如何防止HT插入、能够检测其存在的同时与其共处,但使其失去功能,这两个方面分析HT的研究进展情况。 展开更多
关键词 芯片对抗 硬件木马设计 硬件木马检测
在线阅读 下载PDF
硬件木马技术研究综述 被引量：10
5
作者 牛小鹏 李清宝 +1 位作者 王炜 张丹 《信息工程大学学报》 2012年第6期740-748,共9页
集成电路芯片在设计、制造及使用过程中都可能会被植入硬件木马,电子设备的安全受到极大威胁。近年来,硬件木马的设计和检测技术逐渐受到重视,已成为研究热点。首先分析了硬件木马的特性和概念,然后在介绍硬件木马主要分类方法的基础上... 集成电路芯片在设计、制造及使用过程中都可能会被植入硬件木马,电子设备的安全受到极大威胁。近年来,硬件木马的设计和检测技术逐渐受到重视,已成为研究热点。首先分析了硬件木马的特性和概念,然后在介绍硬件木马主要分类方法的基础上,提出了用于评价硬件木马隐藏特性的功能分散粒度、激活概率和阈值功耗等衡量指标。探讨了几种典型硬件木马的设计思路和检测方法,分析了硬件木马检测方法存在的问题与面临的挑战,最后对硬件木马相关技术的研究与发展提出建议。 展开更多
关键词 集成电路 硬件木马 旁路型木马 硬件木马检测 状态驱动
在线阅读 下载PDF
一种基于核最大间距准则的硬件木马检测新方法 被引量：7
6
作者 李雄伟 王晓晗 +2 位作者 张阳 陈开颜 徐璐 《电子学报》 EI CAS CSCD 北大核心 2017年第3期656-661,共6页
在功耗旁路信号统计模型的基础上,提出了一种基于核最大间距准则的硬件木马检测方法及改进的检测方法.将原始功耗旁路信号映射到高维空间,使其具有更高的可分性,然后再投影到低维子空间,从而发现原始数据中的非线性差异特征,实现功耗旁... 在功耗旁路信号统计模型的基础上,提出了一种基于核最大间距准则的硬件木马检测方法及改进的检测方法.将原始功耗旁路信号映射到高维空间,使其具有更高的可分性,然后再投影到低维子空间,从而发现原始数据中的非线性差异特征,实现功耗旁路信号的非线性特征提取与识别.针对AES加密电路中木马电路的检测实验表明,该方法测得超出检测边界的样本数(792)多于Karhunen-Loève变换(400),取得更好的检测效果. 展开更多
关键词 集成电路 硬件木马 旁路分析 核函数 最大间距准则
在线阅读 下载PDF
旁路信号主成分分析的欧式距离硬件木马检测 被引量：13
7
作者 苏静 赵毅强 +1 位作者 何家骥 刘沈丰 《微电子学与计算机》 CSCD 北大核心 2015年第1期1-4,10,共5页
针对集成电路中的硬件木马问题,利用旁路信号分析技术,设计了一种基于集成电路芯片的硬件木马检测模型.在对提取出的旁路信号进行主成分分析降维基础上,运用欧式距离分类法进行硬件木马的分类识别和检测.最后运用功耗分析的方法进行了... 针对集成电路中的硬件木马问题,利用旁路信号分析技术,设计了一种基于集成电路芯片的硬件木马检测模型.在对提取出的旁路信号进行主成分分析降维基础上,运用欧式距离分类法进行硬件木马的分类识别和检测.最后运用功耗分析的方法进行了算法有效性验证. 展开更多
关键词 硬件木马 主成分分析 欧式距离 旁路分析 木马检测
在线阅读 下载PDF
基于子空间域特征提取的硬件木马检测方法 被引量：5
8
作者 薛明富 胡爱群 +1 位作者 刘威 王有东 《东南大学学报（自然科学版）》 EI CAS CSCD 北大核心 2014年第3期457-461,共5页
为了解决制造变异和噪声对已有硬件木马检测方法的挑战和干扰,提出了一种新的微弱木马信号检测技术,能够在较大的制造变异和噪声的背景下提取出木马特征信号.首先,将木马检测问题建模为特征提取模型,然后提出了一个基于时域约束估计器... 为了解决制造变异和噪声对已有硬件木马检测方法的挑战和干扰,提出了一种新的微弱木马信号检测技术,能够在较大的制造变异和噪声的背景下提取出木马特征信号.首先,将木马检测问题建模为特征提取模型,然后提出了一个基于时域约束估计器和主成分投影的统一子空间木马检测方法.并通过特定的子空间投影或重构信号分析,证实弱小的木马信号可以与各种噪声和干扰区分开来.该方法为已有的硬件木马检测方法提供了一种通用的消除制造变异和噪声影响的方法.设计实现了2个时序硬件木马,在ISCAS89基准电路上进行了仿真实验验证,并在FPGA上进行了硬件实物验证,实验结果均表明了所提方法的有效性和高检测精度. 展开更多
关键词 硬件木马检测 硬件安全 信息安全 子空间域
在线阅读 下载PDF
基于探索式分区和测试向量生成的硬件木马检测方法 被引量：6
9
作者 薛明富 胡爱群 王箭 《电子学报》 EI CAS CSCD 北大核心 2016年第5期1132-1138,共7页
本文提出基于分区和最优测试向量生成的硬件木马检测方法.首先,采用基于扫描细胞分布的分区算法将电路划分为多个区域.然后,提出测试向量重组算法,对各区域依据其自身结构生成近似最优的测试向量.最后,进行分区激活和功耗分析以检测木马... 本文提出基于分区和最优测试向量生成的硬件木马检测方法.首先,采用基于扫描细胞分布的分区算法将电路划分为多个区域.然后,提出测试向量重组算法,对各区域依据其自身结构生成近似最优的测试向量.最后,进行分区激活和功耗分析以检测木马,并采用信号校正技术消减制造变异和噪声的影响.优点是成倍提高了检测精度,克服了制造变异的影响,解决了面对大电路的扩展性问题,并可以定位木马.在基准电路上的验证实验表明检测性能有较大的提升. 展开更多
关键词 硬件安全 硬件木马检测 探索式分区 最优测试向量生成
在线阅读 下载PDF
SVM算法在硬件木马旁路分析检测中的应用 被引量：5
10
作者 佟鑫 李莹 陈岚 《电子与信息学报》 EI CSCD 北大核心 2020年第7期1643-1651,共9页
集成电路(ICs)面临着硬件木马(HTs)造成的严峻威胁。传统的旁路检测手段中黄金模型不易获得,且隐秘的木马可以利用固硬件联合操作将恶意行为隐藏在常规的芯片运行中,更难以检测。针对这种情况,该文提出利用机器学习支持向量机(SVM)算法... 集成电路(ICs)面临着硬件木马(HTs)造成的严峻威胁。传统的旁路检测手段中黄金模型不易获得,且隐秘的木马可以利用固硬件联合操作将恶意行为隐藏在常规的芯片运行中,更难以检测。针对这种情况,该文提出利用机器学习支持向量机(SVM)算法从系统操作层次对旁路分析检测方法进行改进。使用现场可编程门阵列(FPGA)验证的实验结果表明,存在黄金模型时,有监督SVM可得到86.8%的训练及测试综合的平均检测准确率,进一步采用分组和归一化去离群点方法可将检测率提升4%。若黄金模型无法获得,则可使用半监督SVM方法进行检测,平均检测率为52.9%~79.5%。与现有同类方法相比,验证了SVM算法在指令级木马检测中的有效性,明确了分类学习条件与检测性能的关系。 展开更多
关键词 硬件木马 旁路检测 支持向量机 有监督学习 半监督学习
在线阅读 下载PDF
基于旁路分析的硬件木马检测方法 被引量：8
11
作者 王力纬 罗宏伟 姚若河 《华南理工大学学报（自然科学版）》 EI CAS CSCD 北大核心 2012年第6期6-10,共5页
集成电路芯片在不受控的制造过程中可能会被嵌入恶意电路结构,形成硬件木马,这给集成电路芯片的可靠性和可信度带来了极大的隐患,而利用传统的测试技术很难发现这些硬件木马.针对这一问题,文中提出了一种非破坏性的、基于旁路分析的硬... 集成电路芯片在不受控的制造过程中可能会被嵌入恶意电路结构,形成硬件木马,这给集成电路芯片的可靠性和可信度带来了极大的隐患,而利用传统的测试技术很难发现这些硬件木马.针对这一问题,文中提出了一种非破坏性的、基于旁路分析的硬件木马检测方法,它通过对芯片功耗瞬态变化情况的分析,采用奇异值分解算法对功耗进行统计处理来检测芯片中的硬件木马.在FPGA芯片上的硬件验证结果表明,即使在测量噪声和工艺扰动较大的环境中,文中方法也能检测出面积比原始电路小2个数量级的硬件木马. 展开更多
关键词 硬件木马 旁路分析 奇异值分解
在线阅读 下载PDF
硬件木马研究动态综述 被引量：10
12
作者 赵剑锋 史岗 《信息安全学报》 CSCD 2017年第1期74-90,共17页
由于集成电路的设计制造技术越来越复杂,使得芯片在设计及生产过程中充满潜在的威胁,即有可能被加入硬件木马。硬件木马有可能改变系统功能,泄漏重要信息,毁坏系统或造成拒绝服务等危害。文章系统的介绍了硬件木马的产生背景、概念及性... 由于集成电路的设计制造技术越来越复杂,使得芯片在设计及生产过程中充满潜在的威胁,即有可能被加入硬件木马。硬件木马有可能改变系统功能,泄漏重要信息,毁坏系统或造成拒绝服务等危害。文章系统的介绍了硬件木马的产生背景、概念及性质、国内外研究现状,对国内外研究现状进行了分析比较;介绍了硬件木马的常见分类方式,并结合实例加以说明;常用的检测方法分类,并结合案例,说明各种检测方法的优缺点;介绍了硬件木马的安全防范措施,结合案例说明各种防范措施的特点;最后总结全文,指出现有研究存在的问题,并展望了硬件木马的研究方向与重点。 展开更多
关键词 硬件木马 设计 检测 安全措施
在线阅读 下载PDF
基于XGBoost的混合模式门级硬件木马检测方法 被引量：5
13
作者 张颖 李森 +2 位作者 陈鑫 姚嘉祺 毛志明 《电子与信息学报》 EI CSCD 北大核心 2021年第10期3050-3057,共8页
针对恶意的第三方厂商在电路设计阶段中植入硬件木马的问题,该文提出一种基于XGBoost的混合模式门级硬件木马检测方法。该检测方法将电路的每个线网类型作为节点,采用混合模式3层级的检测方式。首先,基于提取的电路静态特征,利用XGBoos... 针对恶意的第三方厂商在电路设计阶段中植入硬件木马的问题,该文提出一种基于XGBoost的混合模式门级硬件木马检测方法。该检测方法将电路的每个线网类型作为节点,采用混合模式3层级的检测方式。首先,基于提取的电路静态特征,利用XGBoost算法实现第1层级的检测。继而,通过分析扫描链的结构特征,对第1层级分离得到的正常电路继续进行第2层级的面向扫描链中存在木马电路的静态检测。最后,在第3层级采用动态检测方法进一步提升检测的准确性。Trust-Hub基准测试集的实测结果表明,该方法与现有的其他检测方法相比具有较优的木马检测率,可达到94.0%的平均真阳率(TPR)和99.3%的平均真阴率(TNR)。 展开更多
关键词 硬件木马检测 XGBoost算法 门级网表 静态检测 动态检测
在线阅读 下载PDF
基于路径特征和支持向量机算法的硬件木马检测技术 被引量：4
14
作者 冯燕 陈岚 《电子与信息学报》 EI CSCD 北大核心 2023年第6期1921-1932,共12页
硬件木马攻击成为当前集成电路(IC)面临的严重威胁。针对硬件木马电路具有隐蔽、不易触发以及数据集不均衡等特点,该文提出对门级网表进行静态分析的硬件木马检测技术。基于电路可测性原理建立涵盖节点扇入数、逻辑门距离、路径数、节... 硬件木马攻击成为当前集成电路(IC)面临的严重威胁。针对硬件木马电路具有隐蔽、不易触发以及数据集不均衡等特点,该文提出对门级网表进行静态分析的硬件木马检测技术。基于电路可测性原理建立涵盖节点扇入数、逻辑门距离、路径数、节点扇出数的硬件木马路径特征,简化特征分析流程;基于提取的路径特征,使用支持向量机(SVM)算法区分电路中的木马节点和正常节点。提出训练集双重加权技术,解决数据集不均衡问题,提升分类器的性能。实验结果表明,分类器可以用于电路中的可疑节点检测,准确率(ACC)达到99.85%;训练集静态加权有效提升分类器性能,准确率(ACC)提升5.58%;与现有文献相比,以36%的特征量,真阳性率(TPR)降低1.07%,真阴性率(TNR)提升2.74%,准确率(ACC)提升2.92%。该文验证了路径特征和SVM算法在硬件木马检测中的有效性,明确了数据集均衡性与检测性能的关系。 展开更多
关键词 硬件木马 路径特征 支持向量机 静态加权
在线阅读 下载PDF
基于随机森林的硬件木马检测方法 被引量：2
15
作者 张磊 殷梦婕 +4 位作者 王建新 董有恒 肖超恩 刘东阳 赵成 《微电子学与计算机》 北大核心 2019年第2期83-87,共5页
针对BP神经网络和SVM这两种机器学习算法中存在参数选择困难和时间开销较大的问题,本文提出了一种基于随机森林的硬件木马分类方法.首先,将硬件木马检测转化为二元分类问题,对芯片的能量消耗进行多次采样,再通过PCA对功耗曲线进行特征提... 针对BP神经网络和SVM这两种机器学习算法中存在参数选择困难和时间开销较大的问题,本文提出了一种基于随机森林的硬件木马分类方法.首先,将硬件木马检测转化为二元分类问题,对芯片的能量消耗进行多次采样,再通过PCA对功耗曲线进行特征提取,最后利用随机森林分类模型对特征向量进行分类,达到检测硬件木马芯片的目的.实验结果表明,经PCA处理的相同硬件木马数据,随机森林的判别准确率与BP神经网络相比提高了9.13%,与SVM方法相比判别准确率提高了15.96%.而相比其他两种方法,时间开销也降低了8倍左右. 展开更多
关键词 侧信道分析 硬件木马 分类器 随机森林
在线阅读 下载PDF
基于多维结构特征的硬件木马检测技术 被引量：8
16
作者 严迎建 赵聪慧 刘燕江 《电子与信息学报》 EI CSCD 北大核心 2021年第8期2128-2139,共12页
硬件木马是第三方知识产权(IP)核的主要安全威胁,现有的安全性分析方法提取的特征过于单一,导致特征分布不够均衡,极易出现较高的误识别率。该文提出了基于有向图的门级网表抽象化建模算法,建立了门级网表的有向图模型,简化了电路分析流... 硬件木马是第三方知识产权(IP)核的主要安全威胁,现有的安全性分析方法提取的特征过于单一,导致特征分布不够均衡,极易出现较高的误识别率。该文提出了基于有向图的门级网表抽象化建模算法,建立了门级网表的有向图模型,简化了电路分析流程;分析了硬件木马共性特征,基于有向图建立了涵盖扇入单元数、扇入触发器数、扇出触发器数、输入拓扑深度、输出拓扑深度、多路选择器和反相器数量等多维度硬件木马结构特征;提出了基于最近邻不平衡数据分类(SMOTEENN)算法的硬件木马特征扩展算法,有效解决了样本特征集较少的问题,利用支持向量机建立硬件木马检测模型并识别出硬件木马的特征。该文基于Trust_Hub硬件木马库开展方法验证实验,准确率高达97.02%,与现有文献相比真正类率(TPR)提高了13.80%,真负类率(TNR)和分类准确率(ACC)分别提高了0.92%和2.48%,在保证低假阳性率的基础上有效识别硬件木马。 展开更多
关键词 硬件木马检测 IP核 有向图 结构特征 支持向量机
在线阅读 下载PDF
基于图神经网络的门级硬件木马检测方法 被引量：1
17
作者 史江义 温聪 +4 位作者 刘鸿瑾 王泽坤 张绍林 马佩军 李康 《电子与信息学报》 EI CSCD 北大核心 2023年第9期3253-3262,共10页
集成电路(IC)供应链的全球化已经将大多数设计、制造和测试过程从单一的可信实体转移到世界各处各种不可信的第三方实体。使用不可信的第三方知识产权(3PIP)可能面临着设计被对手植入硬件特洛伊木马(HTs)的巨大风险。这些硬件木马可能... 集成电路(IC)供应链的全球化已经将大多数设计、制造和测试过程从单一的可信实体转移到世界各处各种不可信的第三方实体。使用不可信的第三方知识产权(3PIP)可能面临着设计被对手植入硬件特洛伊木马(HTs)的巨大风险。这些硬件木马可能会使原有设计出现性能降低、信息泄露甚至发生物理层面不可逆的破坏,严重危害消费者的隐私、安全和公司的信誉。现有文献中提出的多种硬件木马检测方法,具有以下缺陷:对黄金参考电路的依赖、测试向量覆盖率的要求甚至是手动代码审查的需要,同时随着集成电路规模的增大,低触发率的硬件木马更加难以被检测。因此针对上述问题,该文提出一种基于图神经网络硬件木马的检测方法,在无需黄金参考电路以及逻辑测试的情况下实现了对门级硬件木马的检测。该方法利用图采样聚合算法(GraphSAGE)学习门级网表中的高维图特征以及相应节点特征,并采用有监督学习进行检测模型的训练。该方法探索了不同聚合方式以及数据平衡方法下的模型的检测能力。该模型在信任库(Trust-Hub)中基于新思90 nm通用库(SAED)的基准训练集的评估下,实现了92.9%的平均召回率以及86.2%的平均F1分数(平均聚合,权重平衡),相比目前最先进的学习模型F1分数提高了8.4%。而应用于基于系统250 nm库(LEDA)的数据量更大的数据集时,分别在组合逻辑类型硬件木马检测中获得平均83.6%的召回率、70.8%的F1,在时序逻辑类型硬件木马检测工作中获得平均95.0%的召回率以及92.8%的F1分数。 展开更多
关键词 硬件木马检测 深度学习 门级网表 图神经网络
在线阅读 下载PDF
一种面向粗粒度可重构阵列的硬件木马检测算法的设计与实现 被引量：1
18
作者 严迎建 刘敏 邱钊洋 《电子与信息学报》 EI CSCD 北大核心 2019年第5期1257-1264,共8页
硬件木马检测已成为当前芯片安全领域的研究热点,现有检测算法大多面向ASIC电路和FPGA电路,且依赖于未感染硬件木马的黄金芯片,难以适应于由大规模可重构单元组成的粗粒度可重构阵列电路。因此,该文针对粗粒度可重构密码阵列的结构特点... 硬件木马检测已成为当前芯片安全领域的研究热点,现有检测算法大多面向ASIC电路和FPGA电路,且依赖于未感染硬件木马的黄金芯片,难以适应于由大规模可重构单元组成的粗粒度可重构阵列电路。因此,该文针对粗粒度可重构密码阵列的结构特点,提出基于分区和多变体逻辑指纹的硬件木马检测算法。该算法将电路划分为多个区域,采用逻辑指纹特征作为区域的标识符,通过在时空两个维度上比较分区的多变体逻辑指纹,实现了无黄金芯片的硬件木马检测和诊断。实验结果表明,所提检测算法对硬件木马检测有较高的检测成功率和较低的误判率。 展开更多
关键词 硬件木马检测 粗粒度可重构密码阵列 逻辑指纹 多变体
在线阅读 下载PDF
载波泄漏型硬件木马芯片设计 被引量：1
19
作者 孙海涛 刘洁 《兵工自动化》 2012年第4期65-68,共4页
针对集成电路在初始设计和后续生产等环节中存在的安全隐患,设计一种泄密型硬件木马芯片,使芯片能够在进行加密的同时将密钥传送出来。研究芯片硬件木马实现的基本方法,在现有的商用FPGA平台上植入木马,通过载波的方式泄露密钥。结果表... 针对集成电路在初始设计和后续生产等环节中存在的安全隐患,设计一种泄密型硬件木马芯片,使芯片能够在进行加密的同时将密钥传送出来。研究芯片硬件木马实现的基本方法,在现有的商用FPGA平台上植入木马,通过载波的方式泄露密钥。结果表明:该设计能在使用者毫不知情的情况下,利用硬件攻击获取秘密信息。对于进一步认识芯片硬件木马攻击实现机理,警示集成电路芯片安全具有一定的作用。 展开更多
关键词 硬件木马 AM载波 FPGA
在线阅读 下载PDF
基于优化型支持向量机算法的硬件木马检测 被引量：1
20
作者 张磊 殷梦婕 +1 位作者 肖超恩 董有恒 《电子技术应用》 2018年第11期17-20,共4页
目前基于侧信道的分析方法是硬件木马检测的主要研究方向。为提高侧信道分析时的准确率和检测速度,提出了基于优化型支持向量机的分类方法。首先利用主成分分析技术对功耗数据进行处理,降低数据特征相关性;然后通过遗传算法提高惩罚系... 目前基于侧信道的分析方法是硬件木马检测的主要研究方向。为提高侧信道分析时的准确率和检测速度,提出了基于优化型支持向量机的分类方法。首先利用主成分分析技术对功耗数据进行处理,降低数据特征相关性;然后通过遗传算法提高惩罚系数和核函数参数的选择;最后进行硬件木马分类器的构建。实验结果表明,优化型SVM方法提高了硬件木马分类器的检测速度和准确率,可以有效检测出面积为0. 1%的硬件木马,准确率最高可以提升15.6%,时间消耗减少98.1%。 展开更多
关键词 硬件木马 支持向量机 主成分分析 遗传算法 木马分类器
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 4 下一页 到第 页
关于我们 | 版权声明 | 联系我们 | 帮助中心| 意见反馈
主办单位：上海市教育委员会
技术支持：重庆维普资讯有限公司
渝公网安备 50019002500403号
使用帮助 返回顶部