首页 | 本学科首页   官方微博 | 高级检索  
     

故障攻击硬件仿真中低成本电路状态控制方法
引用本文:刘强,李博超. 故障攻击硬件仿真中低成本电路状态控制方法[J]. 河海大学学报(自然科学版), 2019, 47(6): 555-559
作者姓名:刘强  李博超
作者单位:天津大学微电子学院,天津 300072;天津市成像与感知微电子技术重点实验室,天津 300072;天津大学微电子学院,天津 300072;天津市成像与感知微电子技术重点实验室,天津 300072
基金项目:国家自然科学基金(61574099)
摘    要:为了解决基于FPGA的故障注入攻击仿真中,由于使用全扫描方法处理待测电路造成的逻辑资源消耗大的问题,提出一种用部分扫描电路实现电路状态完全可控的方法,即在任何时刻都可以改变电路中所有触发器的值,模拟故障注入攻击,进而在设计阶段对集成电路的安全性进行早期评估。将电路抽象为图,扩展平衡结构部分扫描测试方法,通过扫描触发器选择和触发器使能添加实现对所有触发器的同时控制。采用SAT可满足性算法,基于电路逻辑产生故障测试矢量集,实现故障注入仿真。结果表明,相较于全扫描电路,部分扫描方法以新增少量输入端口为代价,平均减少28.04%的扫描触发器,进而降低故障注入攻击硬件仿真的逻辑资源消耗。

关 键 词:计算机辅助技术  部分扫描  故障注入攻击  硬件仿真  状态控制  可满足性问题

Low-cost state control method for hardware emulation of fault attack
LIU Qiang and LI Bochao. Low-cost state control method for hardware emulation of fault attack[J]. Journal of Hohai University (Natural Sciences ), 2019, 47(6): 555-559
Authors:LIU Qiang and LI Bochao
Affiliation:School of Microelectronics, Tianjin University, Tianjin 300072, China; Tianjin Key Laboratory of Imaging and Sensing Microelectronic Technology, Tianjin University, Tianjin 300072, China and School of Microelectronics, Tianjin University, Tianjin 300072, China; Tianjin Key Laboratory of Imaging and Sensing Microelectronic Technology, Tianjin University, Tianjin 300072, China
Abstract:In order to reduce the logic overhead caused by the full scan method in the FPGA-based fault injection attack emulation, this study proposes a partial scan based method for the simultaneous control of circuit states, i. e. , setting the values of all flip-flops in the circuit at any time, to emulate the fault injection attack. This emulation allows the early security assessment of integrated circuits during the design phase. Meanwhile, the method abstracts the circuit as a graph, extends the balanced-structure based partial scan method to select flip-flops, and then adds enable signals to achieve simultaneous control of all flip-flops. In addition, based on circuit logic, the SAT satisfiability algorithm is used to generate fault test vectors to be injected. The experimental results show that compared with the full scan, the proposed method reduces the number of scanning flip-flops by 28. 04% on average, which reduces the logic overhead in the hardware emulation of fault injection attack at the cost of adding a small number of input ports.
Keywords:computer aided technology   partial scan   fault injection attack   hardware emulation   state control   satisfiability problem
本文献已被 CNKI 万方数据 等数据库收录!
点击此处可从《河海大学学报(自然科学版)》浏览原始摘要信息
点击此处可从《河海大学学报(自然科学版)》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号