机读格式显示(MARC)

• 000 02349 00409 450

• 001 0000273555

• 005 20191127152200.0

• 010 __ |a 978-7-118-11116-3 |d CNY68.00

• 099 __ |a CAL 012017055967

• 100 __ |a 20170411d2016 em y0chiy50 ea

• 101 1_ |a chi |c eng

• 102 __ |a CN |b 110000

• 105 __ |a ak a 000yy

• 106 __ |a r

• 200 1_ |a 集成电路认证 |A ji cheng dian lu ren zheng |e 硬件木马与伪芯片检测 |d = Integrated circuit authentication |e hardware trojans and counterfeit detection |f (美) Mohammad Tehranipoor, Hassan Salmani, Xuehui Zhang著 |g 李雄伟 ... [等] 译 |z eng

• 210 __ |a 北京 |c 国防工业出版社 |d 2016

• 215 __ |a X, 194页 |c 图 |d 24cm

• 300 __ |a 装备科技译著出版基金

• 304 __ |a 译者还有: 陈开颜, 张阳, 谢方方, 李艳等

• 305 __ |a 据2014年英文版译出

• 306 __ |a 本书简体中文版由由Springer International Publishing授权国防工业出版社独家出版

• 314 __ |a 责任者Tehranipoor规范汉译姓: 德黑兰尼普尔; 责任者Salmani汉译姓: 塞马尼取自在版编目

• 320 __ |a 有书目

• 330 __ |a 本书共分为8章。第1章介绍了VLSI系统集成。第2章利用形式化证明和代码覆盖分析对植入第三方IP核的硬件木马进行检测。第3章采用旁路信号分析技术检测非可信IC制造过程中植入的硬件木马。第4、5章描述了两种提高硬件木马检测率的可信硬件设计技术。这些技术能够更有效地激活木马, 增强由木马引起的旁路信号, 使得测试工程师更容易检测到木马。第6章提出了基于环形振荡器网络的片上结构, 从过程扰动引起的噪声信号中区分出硬件木马引起的噪声信号。第7章给出了脆弱性综合分析, 对激活木马的难度和各部分电路的可观察性进行量化分析。第8章介绍了内建自认证技术 (BISA) , 能够在GDSII开发和掩模生成阶段防止硬件木马的植入。

• 333 __ |a 本书适用于微电子、信息安全、计算机等专业的相关人员

• 500 10 |a Integrated circuit authentication : hardware trojans and counterfeit detection |A Integrated Circuit Authentication : Hardware Trojans And Counterfeit Detection |m Chinese

• 517 1_ |a 硬件木马与伪芯片检测 |A ying jian mu ma yu wei xin pian jian ce

• 606 0_ |a 集成电路 |A ji cheng dian lu |x 测试技术 |x 认证

• 690 __ |a TN407 |v 5

• 701 _1 |a 德黑兰尼普尔 |A de hei lan ni pu er |g (Tehranipoor, Mohammad) |4 著

• 701 _1 |a 塞马尼 |A sai ma ni |g (Salmani, Hassan) |4 著

• 701 _0 |a 张雪辉 |A zhang xue hui |4 著

• 702 _0 |a 李雄伟 |A li xiong wei |4 译

• 702 _0 |a 陈开颜 |A chen kai yan |4 译

• 702 _0 |a 张阳 |A zhang yang |4 译

• 801 _0 |a CN |b 湖北三新 |c 20170413

• 905 __ |a AUSTL |d TN407/D383