首页|基于可满足性无关项的硬件木马设计与检测

基于可满足性无关项的硬件木马设计与检测

Design and detection of hardware Trojan based on satisfiability don't cares

扫码查看
原文链接
  • 国家科技期刊平台
  • NETL
  • NSTL
  • 维普
  • 万方数据
硬件木马是集成电路中隐含的恶意设计修改,被激活后可用于发起高效的底层攻击.由此,展示了一种新的利用可满足性无关项的轻量级高隐蔽性硬件木马安全威胁.该木马设计方法将轻量级木马设计隐藏于电路正常工作条件下无法覆盖到的可满足性无关项中,使插入木马后的电路设计与原始设计完全功能等价.攻击者只需利用简单的故障注入攻击手段即可激活木马.基于1024位RSA密码核的实验结果显示,所给出的木马设计能够逃避逻辑综合优化,通过故障注入攻击能够有效恢复RSA密码核的私钥.在此基础上,提出了一种能够有效检测该高隐蔽性木马设计的防御手段.

武玲娟、朱嘉诚、唐时博、谭静、胡伟

展开 >

西北工业大学网络空间安全学院,陕西西安710072

华中农业大学信息学院,湖北武汉430070

硬件安全 硬件木马 可满足性无关项 故障注入 木马检测

国家自然科学基金湖北省自然科学基金

620741312020CFB190

2021

10.11959/j.issn.2096-109x.2021025

网络与信息安全学报
人民邮电出版社

网络与信息安全学报

CSTPCD
ISSN：2096-109X
年,卷(期)：2021.7(2)
  • 1
  • 23