曝拒用中資產品的關鍵！　和沛科技創辦人翟本喬：多數公司都有政治目的

台灣即將開始擴大禁用中國科技產品消息一出，引發輿論譁然。對此，和沛科技創辦人翟本喬坦言拒用中資產品關鍵，在於「很多公司都有政治目的」。至於外界清一色認為華為所引爆的資安危機做好把關即可，翟直言「沒有任何檢測能證明軟體、韌體和作業『完全沒有問題』」

翟本喬日前於臉書表明「絕對反對使用中資公司產品」之餘，面對「華為產品為何不能用，其他美國公司產品就能使用」的相關聲浪四起，他說「道理不在科學，在於商業模式」，並說明「一般公司目的是賺錢，一旦被發現做了壞事，就賺不了錢，所以它不會去做。而中資公司很多都有政治目的，不一定要賺消費者的錢，『而是可以為政治服務』」

有鑑於工研院禁止華為手機連上內網。翟本喬透露「大部分是宣示意義」，但也有小部分實質意義，就是減少間諜設備刺探的機會。但要達到此目的，應該完全禁止在院內使用中國設備才對，「為什麼不禁？因為會造成同仁不便，就這麼簡單」。

針對資安把關一事，翟本喬說，除了「形式驗證」手段，沒有任何檢測能測出軟體，包括韌體和作業系統「完全沒有問題」，這些檢測都是測試產品「有沒有做該做的事」，以及少部份「在某些情形下沒有做不該做的事」，不可能測得出「永遠不會做不該做的事」。翟本喬列舉兩項基本原則證明華為產品絕無可能通過「形式驗證」。其一，有物件導向程式；其二，只要有自我修改，包括升級能力。翟本喬說，電腦科學有個重要基本定理叫「停機問題」，意即沒程式能夠判斷「任何程式在任何情形下是否能執行到完成」，因此連「判斷是否完成」都做不到，那更不可能「判斷是否做壞事」了。

對於想用華為設備的人，翟本喬表示「外國公司去中國營業，不是都要把技術交出來嗎？」他強調「只要華為願意把包括作業系統和編譯器在內的所有原始碼、電路圖、生產程序、以及包括升級伺服器的維護工具交出來，給台灣駭客協會團隊、黃敬群、電腦技術鬼才陳盈豪等人去檢查六個月「都找不出問題，那我就接受」。

（照片取自翟本喬臉書）