可信设计技术的脆弱性分析与防御

• 作者: 崔晓通 秦蔚蓉 程克非 吴渝
• 来源期刊: 电子与信息学报
• 关键词: 硬件木马 可信设计 检查点 序列提取
• 年，卷（期）: 2021,（9）
• 所属期刊栏目: 硬件安全专题|Special Issue on Hardware Security
• 页码范围: 2482-2488
• 页数: 7页
• 分类号: TP309.5|TN402
• 语种: 中文
• DOI: 10.11999/JEIT210624

摘要

片上系统(SoC)设计人员通常使用第三方知识产权(3PIP)核来实现特定功能.由于这些3PIP核不受信任,所搭建的SoC受到了硬件木马(HT)的威胁.作为可信设计技术的一个子集,多样性冗余机制在使用不可信3PIP建立可信计算方面具有较好的应用前景.然而,该文发现通过探索激活序列所设计的硬件木马能够破坏多样性冗余机制的安全性.鉴于此,该文提出一种改进的基于检查点的多样性冗余机制来防御此类攻击.