机读格式显示(MARC)

• 000 01848nam0 2200325 450

• 001 0000424174

• 005 20171227102000.0

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

• 100 __ |a 20170314d2016 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 = Intergrated circuit authentication |e hardware trojans and counterfeit detection |f (美) Mohammad Tehranipoor, Hassan Salmani, Xuehui Zhang著 |g 李雄伟 ... [等] 译 |z eng

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

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

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

• 314 __ |a Tehranipoor规范汉译姓: 特朗普 Salmani规范汉译姓: 塞马尼

• 320 __ |a 有书目

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

• 500 10 |a Intergrated circuit authentication : hardware trojans and counterfeit detection |A Intergrated 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 认证

• 690 __ |a TN407 |v 5

• 701 _1 |a 特朗普 |A te lang pu |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 译

• 801 _0 |a CN |b 安徽时代 |c 20170314

• 905 __ |a LIB |d TN407/3