期刊文献+

故障攻击硬件仿真中低成本电路状态控制方法

Low-cost state control method for hardware emulation of fault attack
下载PDF
导出
摘要 为了解决基于FPGA的故障注入攻击仿真中,由于使用全扫描方法处理待测电路造成的逻辑资源消耗大的问题,提出一种用部分扫描电路实现电路状态完全可控的方法,即在任何时刻都可以改变电路中所有触发器的值,模拟故障注入攻击,进而在设计阶段对集成电路的安全性进行早期评估。将电路抽象为图,扩展平衡结构部分扫描测试方法,通过扫描触发器选择和触发器使能添加实现对所有触发器的同时控制。采用SAT可满足性算法,基于电路逻辑产生故障测试矢量集,实现故障注入仿真。结果表明,相较于全扫描电路,部分扫描方法以新增少量输入端口为代价,平均减少28.04%的扫描触发器,进而降低故障注入攻击硬件仿真的逻辑资源消耗。 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.
作者 刘强 李博超 LIU Qiang;LI Bochao(School of Microelectronics,Tianjin University,Tianjin 300072,China;Tianjin Key Laboratory of Imaging and Sensing Microelectronic Technology,Tianjin University,Tianjin 300072,China)
出处 《河海大学学报(自然科学版)》 CAS CSCD 北大核心 2019年第6期555-559,共5页 Journal of Hohai University(Natural Sciences)
基金 国家自然科学基金(61574099)
关键词 计算机辅助技术 部分扫描 故障注入攻击 硬件仿真 状态控制 可满足性问题 computer aided technology partial scan fault injection attack hardware emulation state control satisfiability problem
  • 相关文献

参考文献2

二级参考文献11

  • 1郭炜,魏继增,郭筝,等.SoC设计方法与实现[M].2版北京:电子工业出版社,2011.
  • 2Foster H. Prologue: the 2010 wilson research group functi-onalverification study[OL]. [2015-06-19]. https://blogs.mentor.com/verificationhorizons/blog/2011/03/30/prologue-the-2010-wilsonresearch-group-functional-verification-study/.
  • 3Sikand S. IP reuse-design and verification report 2013 designreuse, verification reuse, and dependency management[OL].[2015-06-19]. http://icmanage.com/component/technicalpapers/technicalpapers.html-id=18&Itemid=185.
  • 4Xilinx Inc. PlanAhead tutorial: debugging with chipscope[OL].[2015-06-19]. http://www.xilinx.com/support/documentation/sw_manuals/xilinx14_7/PlanAhead_Tutorial_Debugging_w_Chip-Scope.pdf.
  • 5Altera Inc. Signal tap user's guide[OL]. [2015-06-19]. https://www.altera.com/content/dam/altera-www/global/en_US/pdfs/literature/ug/signal.pdf.
  • 6Hutchings B L, Keeley J. Rapid post-map insertion of embeddedlogic analyzers for Xilinx FPGAs[C] //Proceedings of the22nd IEEE Annual International Symposium on Field -ProgrammableCustom Computing Machines. Los Alamitos: IEEE ComputerSociety Press, 2014: 72-79.
  • 7Wheeler T, Graham P, Nelson B, et al. Using design-level scanto improve design observability and controllability for functionalverification of FPGAs[C] //Proceedings of the 11th InternationalConference on Field Programmable Logic and Applications.Los Alamitos: IEEE Computer Society Press, 2001:483-492.
  • 8Mavroidis I, Mavroidis I, Papaefstathiou I. Accelerating emulationand providing full chip observability and controllability[J].IEEE Design & Test of Computers, 2009, 26(6): 84-94.
  • 9Chuang C L, Cheng W H, Liu C N J. Hybrid approach to fasterfunctional verification with full visibility[J]. IEEE Design &Test of Computers, 2007, 24(2): 154-162.
  • 10Corno F, Reorda M S, Squillero G. RT-level ITC 99 benchmarksand first ATPG results[J]. IEEE Design &Test of Computers,2000, 17(3): 44-53.

共引文献4

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部