最近参加了一个会，讨论这方面的信息安全技术，包括怎样通过formal来查可被利用的设计漏洞，查设计和网表的不一致，以及版图流片后有没有硬件后门等。但所有这些措施都只属于必要条件而不能构成充分条件。这种事情不发生就不知道到底能否实现，但也不能排除无法实现，即使发生了，肯定也很难获取十足的证据。

【 在 SSJ100 的大作中提到: 】
: 怎么实现？
--
FROM 39.144.85.*