基于有限状态机的硬件木马设计和插入; Design and Insertion of Hardware Trojan Based on Finite State Machine | |
李蕾 ; 尚子靖 ; 冯建华 ; 张兴 ; 安辉耀 | |
刊名 | 北京大学学报 自然科学版
![]() |
2013 | |
关键词 | 硬件木马 木马插入 硬件安全 路径延时检测 hardware Trojan Trojan insertion hardware security path delay detection |
英文摘要 | 针对集成电路设计和制造中存在的硬件木马问题,提出一种新的模型来提高木马检测能力.该模型基于有限状态机,比组合电路型木马难于触发和检测.同时,木马电路插入位置的选择也可以有效规避路径延时检测方法.实验选择ISCAS'89基准电路中的S349作为目标电路,对功能和延时信息进行仿真.实验结果表明,这种类型的木马难于激活,并且选择合适的插入位置可以有效隐藏延时信息.; 国家自然科学基金; 中文核心期刊要目总览(PKU); 中国科技核心期刊(ISTIC); 中国科学引文数据库(CSCD); 0; 6; 1105-1110; 49 |
语种 | 中文 |
内容类型 | 期刊论文 |
源URL | [http://ir.pku.edu.cn/handle/20.500.11897/23844] ![]() |
专题 | 信息科学技术学院 |
推荐引用方式 GB/T 7714 | 李蕾,尚子靖,冯建华,等. 基于有限状态机的硬件木马设计和插入, Design and Insertion of Hardware Trojan Based on Finite State Machine[J]. 北京大学学报 自然科学版,2013. |
APA | 李蕾,尚子靖,冯建华,张兴,&安辉耀.(2013).基于有限状态机的硬件木马设计和插入.北京大学学报 自然科学版. |
MLA | 李蕾,et al."基于有限状态机的硬件木马设计和插入".北京大学学报 自然科学版 (2013). |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论