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

论文摘要

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

论文目录

• 0 引 言
• 1 稀有节点筛选方法
•   1.1 节点的翻转概率分析
•   1.2 节点的可测性分析
•   1.3 稀有节点的筛选
• 2 基于抗SAT的逻辑加密方法
•   2.1 密钥门插入分析
•   2.2 基于树形加密模型的逻辑加密
• 3 改进型逻辑加密技术
•   3.1 消除稀有节点分析
•   3.2 改进型逻辑加密算法
• 4 实验及结果
• 5 结 语

文章来源

类型: 期刊论文

作者: 张艺伦,严迎建,李军伟

关键词: 硬件木马,稀有度,逻辑加密,树形加密结构,可满足性攻击

来源: 计算机应用与软件 2019年12期

年度: 2019

分类: 信息科技

专业: 计算机软件及计算机应用

单位: 信息工程大学

分类号: TP309.7

页码: 321-328

总页数: 8

文件大小: 781K

下载量: 55