阿波罗新闻网新闻 > 港台 > 正文

台专家:华为须交原始码供查否则不可接受

全世界越来越多国家掀起抵制华为的风潮,和沛科技创办人翟本乔近日在脸书(Facebook)撰文表示,只要华为愿意把所有原始码,包括作业系统和编译器等资料交出来,检查六个月后都找不出问题,“那我就接受”。

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

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

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

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

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

不过,翟本乔也说,只要华为愿意把所有原始码(包括作业系统和编译器)、电路图(包括Gerber)、生产程序,以及维护工具(包括升级服务器)交出来,交给台湾骇客协会(HITCON)的团队、黄敬群和电脑技术鬼才陈盈豪检查六个月,都找不出问题,那他就接受。“这应该很合理吧?外国公司去中国营业,不是也都要把技术交出来吗?”

阿波罗网责任编辑:秦瑞 来源:大纪元记者郭曜荣台湾台北报道 转载请注明作者、出处並保持完整。

港台热门

相关新闻

➕ 更多同类相关新闻