【摘 要】
:
近年来,由于半导体设计和制造过程的全球化以及第三方知识产权核(Intellectual Property cores,IP cores)的广泛使用,电路越来越容易受到硬件木马的攻击.硬件木马能够使得电
【机 构】
:
南京航空航天大学计算机科学与技术学院,软件新技术与产业化协同创新中心.南京210023,东南大学信息科学与工程学院
【基金项目】
:
国家自然科学基金青年基金(61602241);江苏省自然科学基金青年基金(BK20150758);CCF-启明星辰鸿雁科研计划(CCF-VenustechRP2016005);CCF-绿盟科技鲲鹏基金(CCF-NSFocus2017003);中国博士后科学基金面上资助(2014M561644);江苏省博士后基金科研资助(1402034C);中国民航信息技术科研基地开放课题基金(CAAC-ITR
论文部分内容阅读
近年来,由于半导体设计和制造过程的全球化以及第三方知识产权核(Intellectual Property cores,IP cores)的广泛使用,电路越来越容易受到硬件木马的攻击.硬件木马能够使得电路功能故障、泄露机密信息或者导致其他一些灾难性的后果,因此已经引起了许多关键部门的密切关注.大多数已有的硬件木马检测工作需要参考芯片去提供参考信息.然而,获得参考芯片是极其困难的.参考芯片通常是假设通过可信的工厂生产出来或者通过很严苛的逆向工程检测验证为不含木马,两种方式的代价都是极其昂贵的.在一些情景下,参考芯片甚至是不存在的,比如掩膜在工厂被修改过.该文提出了一种自适应优化的二元分类型硬件木马检测方法,消除了对生产后的参考芯片的依赖.在电路设计过程中,通常可以假设通过详尽的硅前检测或者经过严格的设计流程,使得原电路的仿真芯片是不含木马的.该文工作尤其适用于检测在设计之后的步骤中插入的木马,比如工厂生产阶段.首先,将木马检测问题建模为二元分类问题,采用电路设计流程中的仿真信息(瞬时功耗)对算法进行训练.经过训练的算法将会生成一个分类器,该分类器能够在芯片生产后测试时自动识别不含木马的和含木马的电路.有许多代表性的分类算法,该文建模了不同的算法并分析评估了哪个算法更适合木马检测.采用的评估指标包括正确分类率、混淆矩阵和查全率.评估了不同工艺偏差下多种算法的性能,给出了在较高水平的工艺偏差下合适的算法设置.更进一步地,考虑到在电路仿真和实际的硅生产之间可能会产生一定的偏差,从而导致该方法的检测性能在实际检测中有所下降,该文提出了一些优化方法来增强这一技术:(1)分析了各分类算法错误分类的芯片编号,提出了匹配算法对的工作方式,用来提供互补的检测性能;(2)提出了关注于检测错误的算法自适应迭代优化,权重调整是基于该算法在上一轮迭代中的分类错误;(3)由于将含木马的电路判定为不含木马的代价高于将不含木马的电路判定为含木马的代价,该文引入了不同检测判决的代价,提出了代价敏感型检测.在ISCAS89基准电路上进行的验证实验结果表明,所提出的方法能够检测已知的和未知的木马,检测精度和查全率均在90%以上.该方法没有添加额外的电路到原电路设计,因此没有引入硬件开销.
其他文献
伴随着在线旅游市场的迅猛发展,带来了旅游管理部门如何从传统的行业管理转向在线旅游市场监管的现实问题。本文通过对国内主流旅游网站的调研,对在线旅游市场的经营现状进行
<正>2006年2月财政部发布《企业会计准则第9号-职工薪酬》(简称"新准则"),对各种类型的职工薪酬的会计处理进行了明确规定,新准则更具有针对性和可操作性。下面对职工薪酬的
生命是一切事物的根本和起源。以生命的视角为基点,将其融入到小学班级文化建设之中,对当代学校教育具有特别的意义。小学班级文化作为学校文化的基本组合因素,是加强学校整
<正>百年大计,教育为本。黔西南经济要实现跨越式发展,必须优先保证教育的跨越发展。鉴于职业教育具有鲜明的地方特色,与地方经济的发展是相互制约、相互促进的互动关系。一
在顾城的诗歌世界里,到处呈现着生命的纯真质朴,意象的清新美丽,灵性的剔透晶莹,对生命的礼赞与解读。本文拟从家园、灵性、死亡三个方面解读顾城诗歌的潜意识表现。
随着生活水平的提高,人们对生活品质特别是对视觉类产品的追求也越来越高。同时,数字多媒体技术的飞速发展使数字系统比模拟系统更加具有优势,但数字化的过程不可避免地引入了噪
数学是职业中专学校教学的一门基础文化学科和应用学科。《义务教育数学课程标准》对职业中专学校的数学教学提出了新的要求:满足未来公民的基本数学需要,为学生进一步的学习
自2013年开始,国家多个政府部门一直积极推进PPP项目落地,但由于社会资本无法在短期内收回投资,导致社会资本参与积极性不高。2016年12月12日,国家发展改革委、中国证监会正
针对硬件木马旁路检测中投影变换等方法可能造成的多点关联信息丢失问题,从旁路信号的点特征分析入手,对旁路信号轨迹多元正态分布特征的检验方法进行了分析和验证,采用多元
高校创业教育是开发和提高学生创业的基本素质、培养有开创个性的高等人才的教育,它以培养创业意识、创业心理品质、创业能力为基本目标。创业教育课程可以设置为学科课程、