翟本乔指出，看到很多人认为资安要把关只要做好检测就好，这是对电脑科学的基本原理认识不足。他提到，除了“形式验证”（formal verification）之外，没有任何检测能测出软体（包括韧体和作业系统）“完全没有问题”。

这些检测都是测试产品“有没有做该做的事”，以及一小部分“在某些情形下没有做不该做的事”；不可能测出“永远不会做不该做的事”。华为的产品绝对不可能通过“形式验证”。至少两个基本原因：只要有物件导向程式，就不可能通过；只要有自我修改（包括升级）的能力，也就不可能通过。他说，这方面可以去请教成功大学资工系助理教授黄敬群。

翟本乔谈到，电脑科学有一个非常重要的基本定理，叫作“停机问题”（Halting Problem）。它的意思大致上是：没有一个程式可以判断出“任何程式在任何情形下是否能执行到完成”；连“判断是否完成”都做不到，那更不可能“判断是否做坏事”了。

对于外界质疑华为产品为什么不能用，而其它美国公司产品就可以用？翟本乔表示，“道理不在科学，在于商业模式”。一般公司的目的是赚钱，一旦被发现做了坏事它就赚不了钱了，所以它不会去做。而中资的公司很多都有政治目的，它们不一定要赚消费者的钱，而是可以为政治服务。如果是一般民生产品也就罢了，但资讯网路骨干就是这种设施，“我是绝对反对使用中资公司的产品的”。

他说，至于工研院禁止华为手机连上内网，大部分是宣示意义，但也有一小部分实质意义，就是减少间谍设备刺探的机会。但要达到这个目的，还应该完全禁止在院内使用中国设备才对。“为什么不禁？因为会造成同仁不便，就这么简单。”

返回首页