基于稀有度与逻辑加密的硬件木马防护方法

HARDWARE TROJAN PROTECTION METHOD BASED ON RARITY AND LOGIC ENCRYPTION

为了进一步加强基于逻辑加密的硬件木马防护技术,针对稀有节点筛选与基于逻辑加密的硬件木马防护方法,提出基于稀有度的指标检测潜在的触发器节点。结合树形加密结构提出改进型逻辑加密技术,从而能够减小木马节点的误判率,有效防止硬件木马插入并提高对可满足性攻击的防护能力。通过对典型电路的实验分析,该方法可以有效提高对潜在触发器节点的筛选效率,在保证消除稀有节点的前提下进一步提升安全性。

In order to further strengthen the hardware Trojan protection technology based on logic encryption,this paper proposes an index based on rarity so as to detect potential trigger nodes aiming at the rare node screening and the protection method of hardware Trojan based on logical encryption.With tree-encrypted structure,we presented an improved logic encryption technology so as to reduce the false positive rate of Trojan nodes detection,effectively prevent hardware Trojan insertion and improve the security performance of satisfiability attacks.Through the experimental analysis of typical circuits,this method can effectively improve the screening efficiency of potential trigger nodes,and further improve security under the premise of eliminating rare nodes.