集成电路安全

"随着人们对集成电路供应链的日益重视以及对软、硬件协同开发的日益深入，有关集成电路安全方面的研究工作越来越受到重视。本书首先简要介绍集成电路安全这一概念的提出以及集成电路安全与当前的软件安全、密码芯片等的区别，然后重点讲解硬件木马、旁路攻击、错误注入攻击、硬件安全性的形式化验证、分块制造及其在电路防护中的应用、通过逻辑混淆实现硬件IP保护和供应链安全、防止IC伪造的检测技术、集成电路网表级逆向工程、物联网（IOT）的硬件安全、基于硬件的软件安全、基于体系架构支持的系统及软件安全策略等。 本书既可作为集成电路安全领域科研人员的技术参考书，也可作为高等院校相关专业高年级本科生和研究生的教材。"

随着人们对集成电路供应链的日益重视以及对软、硬件协同开发的日益深入，有关集成电路安全方面的研究工作越来越受到重视。本书首先简要介绍集成电路安全这一概念的提出以及集成电路安全与当前的软件安全、密码芯片等的区别，然后重点讲解硬件木马、旁路攻击、错误注入攻击、硬件安全性的形式化验证、分块制造及其在电路防护中的应用、通过逻辑混淆实现硬件IP保护和供应链安全、防止IC伪造的检测技术、集成电路网表级逆向工程、物联网（IOT）的硬件安全、基于硬件的软件安全、基于体系架构支持的系统及软件安全策略等。本书既可作为集成电路安全领域科研人员的技术参考书，也可作为高等院校相关专业高年级本科生和研究生的教材。

第1章概述
1.1硬件安全简介
1.2硬件木马检测
1.2.1芯片部署前的硬件木马检测
1.2.2芯片部署后的硬件木马检测
1.3形式化验证
1.3.1基于硬件IP核的携带证明硬件框架
1.3.2基于SAT求解器的形式化验证方法
1.4芯片防伪与IC保护
1.5物理不可克隆函数
1.6基于新型器件的硬件安全
1.7硬件辅助计算机安全
1.7.1ARMTrustZone
1.7.2英特尔SGX
1.7.3CHERI扩展
1.7.4开放硬件平台lowRISC
1.8结论
参考文献
第2章硬件木马
2.1硬件木马攻击模型与硬件木马分类
2.1.1易受攻击的IC供应链
2.1.2攻击模型类别
2.1.3硬件木马分类
2.2硬件木马设计
2.3硬件木马防护对策
2.3.1木马检测
2.3.2可信设计
2.3.3可信分块制造
2.3.4运行时硬件木马检测方法
2.3.5基于EM侧信道信息的分析方法
2.4挑战
2.4.1木马防范
2.4.2利用模拟和混合信号实现的模拟硬件木马
2.4.3黄金模型依赖
2.5总结
参考文献
第3章旁路攻击
3.1旁路攻击基础
3.1.1旁路信息泄露的起源
3.1.2旁路信息泄露模型
3.1.3旁路攻击的原理
3.2旁路分析模型
3.2.1简单功耗分析
3.2.2差分功耗分析
3.2.3相关功耗分析
3.3现有旁路攻击
3.3.1时序旁路分析攻击
3.3.2功耗旁路攻击
3.3.3电磁旁路攻击
3.3.4声音旁路攻击
3.3.5可见光旁路攻击
3.3.6热量旁路攻击
3.3.7故障旁路攻击
3.3.8缓存旁路攻击
3.4针对旁路攻击的策略
3.4.1隐藏策略
3.4.2掩码策略
3.4.3旁路漏洞评估
3.5结论
参考文献
第4章错误注入攻击
4.1错误注入攻击模型
4.1.1错误注入攻击模型概述
4.1.2错误注入攻击的前提条件
……
第5章硬件安全性的形式化验证
第6章分块制造及其在电路防护中的应用
第7章通过逻辑混淆实现硬件IP保护和供应链安全
第8章防止IC伪造的检测技术
第9章集成电路网表级逆向工程
第10章物联网（IoT）的硬件安全
第11章基于硬件的软件安全
第12章基于体系架构支持的系统及软件安全策略