【大纪元2019年01月27日讯】（大纪元记者郭曜荣台湾台北报导）全世界越来越多国家掀起抵制华为的风潮，和沛科技创办人翟本乔近日在脸书（Facebook）撰文表示，只要华为愿意把所有原始码，包括作业系统和编译器等资料交出来，检查六个月后都找不出问题，“那我就接受”。
翟本乔指出，看到很多人认为资安要把关只要做好检测就好，这是对电脑科学的基本原理认识不足。他提到，除了“形式验证”（formal verification）之外，没有任何检测能测出软体（包括韧体和作业系统）“完全没有问题”。
这些检测都是测试产品“有没有做该做的事”，以及一小部分“在某些情形下没有做不该做的事”；不可能测出“永远不会做不该做的事”。华为的产品绝对不可能通过“形式验证”。至少两个基本原因：只要有物件导向程式，就不可能通过；只要有自我修改（包括升级）的能力，也就不可能通过。他说，这方面可以去请教成功大学资工系助理教授黄敬群。
翟本乔谈到，电脑科学有一个非常重要的基本定理，叫作“停机问题”（Halting Problem）。它的意思大致上是：没有一个程式可以判断出“任何程式在任何情形下是否能执行到完成”；连“判断是否完成”都做不到，那更不可能“判断是否做坏事”了。
对于外界质疑华为产品为什么不能用，而其它美国公司产品就可以用？翟本乔表示，“道理不在科学，在于商业模式”。一般公司的目的是赚钱，一旦被发现做了坏事它就赚不了钱了，所以它不会去做。而中资的公司很多都有政治目的，它们不一定要赚消费者的钱，而是可以为政治服务。如果是一般民生产品也就罢了，但资讯网路骨干就是这种设施，“我是绝对反对使用中资公司的产品的”。
他说，至于工研院禁止华为手机连上内网，大部分是宣示意义，但也有一小部分实质意义，就是减少间谍设备刺探的机会。但要达到这个目的，还应该完全禁止在院内使用中国设备才对。“为什么不禁？因为会造成同仁不便，就这么简单。”
不过，翟本乔也说，只要华为愿意把所有原始码（包括作业系统和编译器）、电路图（包括Gerber）、生产程序，以及维护工具（包括升级服务器）交出来，交给台湾骇客协会（HITCON）的团队、黄敬群和电脑技术鬼才陈盈豪检查六个月，都找不出问题，那他就接受。“这应该很合理吧？外国公司去中国营业，不是也都要把技术交出来吗？”#
责任编辑：王愉悦
