FPGA硬件安全分析方法引论/新一代信息科学与技术丛书豆瓣PDF电子书bt网盘迅雷下载电子书下载-霍普软件下载网

网站首页   软件下载   游戏下载   翻译软件   电子书下载   电影下载   电视剧下载   教程攻略   音乐专区

请输入您要查询的图书:

霍普软件下载网电子书栏目提供海量电子书在线免费阅读及下载。

电子书 FPGA硬件安全分析方法引论/新一代信息科学与技术丛书
分类 电子书下载
作者
出版社 高等教育出版社
下载 暂无下载
介绍
内容推荐
本书从FPGA的硬件脆弱性出发,全面系统地介绍了FPGA硬件安全领域的相关知识,内容涵盖了FPGA硬件安全基础、FPGA硬件木马检测技术以及FPGA逻辑漏洞挖掘策略。全书共分为7章,分别为FPGA硬件基础知识、FPGA硬件脆弱性概述、FPGA代码层硬件木马检测技术、FPGA网表层硬件木马检测技术、FPGA电路层硬件木马检测技术、FPGA逻辑漏洞挖掘方法以及FPGA逻辑漏洞攻击路径生成。每章末均提供了相关的参考文献,有兴趣的读者可进一步深入了解背景知识。
本书可作为普通高等院校电子科学与技术、信息与通信工程、计算机科学与技术、集成电路等专业高年级本科生和研究生的教学参考书,也可供从事FPGA设计开发和硬件安全分析的研究人员和专业技术人员参考使用。
目录
第1章 FPGA硬件基础知识
1.1 FPGA系统架构
1.2 FPGA开发流程
1.3 本章小结
参考文献
第2章 FPGA硬件脆弱性概述
2.1 FPGA硬件木马
2.1.1 硬件木马的结构
2.1.2 硬件木马的分类
2.2 FPGA逻辑漏洞
2.2.1 FPGA中的FSM
2.2.2 FSM中的逻辑漏洞
2.2.3 FSM中的逻辑漏洞传播模型
2.3 其他脆弱性源
2.3.1 旁路泄露
2.3.2 电路闩锁
2.4 本章小结
参考文献
第3章 FPGA代码层硬件木马检测技术
3.1 逻辑功能检测法
3.2 覆盖率检测法
3.3 无用电路分析法
3.4 本章小结
参考文献
第4章 FPGA网表层硬件木马检测技术
4.1 基于网表特征的硬件木马检测技术
4.1.1 有向图模型及木马特征提取
4.1.2 木马特征聚类划分
4.1.3 硬件木马电路修复
4.1.4 验证实验与结果
4.2 基于信息流跟踪的硬件木马检测技术
4.2.1 基本原理
4.2.2 基于信息流跟踪的硬件木马检测方法
4.2.3 硬件木马触发序列反推策略
4.3 本章小结
参考文献
第5章 FPGA电路层硬件木马检测技术
5.1 基于时钟树电磁辐射的硬件木马检测技术
5.1.1 硬件木马对FPGA时钟树的影响
5.1.2 基于时钟树电磁旁路的木马检测
5.1.3 验证实验与结果
5.2 基于芯片温度场特征的硬件木马监控方法
5.2.1 环形振荡器设计
5.2.2 传感网络布局策略
5.2.3 硬件木马监控策略
5.2.4 硬件木马定位方法
5.2.5 硬件木马防御措施
5.3 本章小结
参考文献
第6章 FPGA逻辑漏洞挖掘方法
6.1 HDL代码的FSM提取技术
6.1.1 FSM结构识别
6.1.2 FSM初步提取
6.1.3 FSM完全提取
6.2 FSM逻辑漏洞挖掘方法
6.3 FSM逻辑漏洞传播性分析
6.3.1 寄存器分级
6.3.2 漏洞传播
6.4 验证实验与结果
6.4.1 FSM提取的实验结果
6.4.2 FSM逻辑漏洞挖掘实验结果
6.5 本章小结
参考文献
第7章 FPGA逻辑漏洞攻击路径生成
7.1 FSM漏洞攻击路径概况
7.2 FSM漏洞攻击路径生成
7.2.1 建立回溯模型
7.2.2 设计回溯策略
7.2.3 攻击路径生成
7.3 验证实验与结果
7.4 本章小结
参考文献
截图
随便看

免责声明
本网站所展示的内容均来源于互联网,本站自身不存储、不制作、不上传任何内容,仅对网络上已公开的信息进行整理与展示。
本站不对所转载内容的真实性、完整性和合法性负责,所有内容仅供学习与参考使用。
若您认为本站展示的内容可能存在侵权或违规情形,请您提供相关权属证明与联系方式,我们将在收到有效通知后第一时间予以删除或屏蔽。
本网站对因使用或依赖本站信息所造成的任何直接或间接损失概不承担责任。联系邮箱:101bt@pm.me