|
|||||
|
|
| 基于携带证明代码的IP核安全性验证方法 | |
| 引用本文： | 王丽娟,张荣,周昱,魏敬和.基于携带证明代码的IP核安全性验证方法[J].电子设计工程,2019,27(5). |
| 作者姓名： | 王丽娟 张荣 周昱 魏敬和 |
| 作者单位： | 中国电子科技集团公司第五十八研究所 江苏无锡214063;中国电子科技集团公司第五十八研究所 江苏无锡214063;中国电子科技集团公司第五十八研究所 江苏无锡214063;中国电子科技集团公司第五十八研究所 江苏无锡214063 |
| 摘 要： | |
| 关 键 词： | 第三方IP核 硬件木马 携带证明的代码 形式化验证 |
| 本文献已被 万方数据 等数据库收录！ | |