基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
针对集成电路设计和制造中存在的硬件木马问题,提出一种新的模型来提高木马检测能力.该模型基于有限状态机,比组合电路型木马难于触发和检测.同时,木马电路插入位置的选择也可以有效规避路径延时检测方法.实验选择ISCAS'89基准电路中的S349作为目标电路,对功能和延时信息进行仿真.实验结果表明,这种类型的木马难于激活,并且选择合适的插入位置可以有效隐藏延时信息.
推荐文章
基于FPGA和有限状态机的守时系统设计
守时系统
FPGA
有限状态机
驯服控制
基于VHDL有限状态机控制器的设计方法
VHDL
有限状态机
循环控制器
基于有限状态机的网络协议状态机制检测方法
网络稳定性
有限状态机
协议状态机制
状态转移图
有限状态机的Verilog设计与研究
Verilog
有限状态机
综合
状态编码
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 基于有限状态机的硬件木马设计和插入
来源期刊 北京大学学报(自然科学版) 学科 工学
关键词 硬件木马 木马插入 硬件安全 路径延时检测
年,卷(期) 2013,(6) 所属期刊栏目 研究论文
研究方向 页码范围 1105-1110
页数 6页 分类号 TN407
字数 语种 中文
DOI
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 张兴 北京大学信息科学技术学院 120 618 12.0 20.0
2 李蕾 北京大学信息科学技术学院 49 665 10.0 25.0
3 安辉耀 北京大学信息科学技术学院 18 105 5.0 10.0
4 冯建华 北京大学信息科学技术学院 14 77 5.0 8.0
5 尚子靖 北京大学信息科学技术学院 1 3 1.0 1.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (0)
共引文献  (0)
参考文献  (2)
节点文献
引证文献  (3)
同被引文献  (4)
二级引证文献  (12)
2008(1)
  • 参考文献(1)
  • 二级参考文献(0)
2010(1)
  • 参考文献(1)
  • 二级参考文献(0)
2013(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2016(1)
  • 引证文献(1)
  • 二级引证文献(0)
2017(1)
  • 引证文献(1)
  • 二级引证文献(0)
2018(1)
  • 引证文献(0)
  • 二级引证文献(1)
2019(11)
  • 引证文献(1)
  • 二级引证文献(10)
2020(1)
  • 引证文献(0)
  • 二级引证文献(1)
研究主题发展历程
节点文献
硬件木马
木马插入
硬件安全
路径延时检测
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
北京大学学报(自然科学版)
双月刊
0479-8023
11-2442/N
16开
北京海淀北京大学校内
2-89
1955
chi
出版文献量(篇)
3152
总下载数(次)
8
总被引数(次)
52842
相关基金
国家自然科学基金
英文译名:the National Natural Science Foundation of China
官方网址:http://www.nsfc.gov.cn/
项目类型:青年科学基金项目(面上项目)
学科类型:数理科学
  • 期刊分类
  • 期刊(年)
  • 期刊(期)
  • 期刊推荐
论文1v1指导