一种用于板级木马基准测试自动化框架

经济与运营优势使得印刷电路板（PCB）的供应链引入了各类不可信实体。任一不可信实体均能够在现场运行期间引入恶意篡改，以引发功能失效或秘密信息泄露。尽管研究者已在单个微电子组件尺度上调查恶意修改的威胁，但板级恶意操纵的可能性基本上未被探索。在缺乏标准基准测试方案的情况下，用于PCB可信保障的潜在对策可能利用自研的攻击表征，这会削弱其评估效果且无法提供与其他技术比较的空间。本文中，我们开发了首个基准测试方案，以促进适用于PCB可信保障的对策进行公正且可比较的评估。基于为PCB级篡改量身制定的分类法，我们开发了高层木马模型。从这些模型出发，我们生成了具有不同复杂度与功能的板级木马设计自定义库。我们还开发了将此类木马自动插入各种PCB设计并生成木马基准（即含木马的PCB设计）的工具流。基于工具的木马插入有助于针对大量多样化木马实现进行全面评估，并应用数据挖掘进行可信验证。最后，通过 fabricated PCB的实验测量，我们分析了木马设计的隐蔽性。