PTT數位生活區 / MobileComm (行動通訊)

[討論] 翟本喬 FaceBook: 華為/資安

看板MobileComm (行動通訊)作者 (XXX)時間7年前 (2019/01/27 02:10), 編輯推噓76(84推 8噓 75→)
留言167則, 97人參與, 7年前最新討論串1/7 (看更多)
Ben Jai 18小時 · 看到很多人認為資安要把關只要做好檢測就好，這是對電腦科學的基本原理認識不足。 除了「formal verification」（請查維基）之外，沒有任何檢測能測出軟體（包括韌體和作業系統）「完全沒有問題」。這些檢測都是測試產品「有沒有做該做的事」，以及一小部份「在某些情形下沒有做不該做的事」；不可能測出「永遠不會做不該做的事」。華為的產品絕對不可能通過 formal verification。至少兩個基本原因：只要有物件導向程式，就不可能通過；只要有自我修改（包括升級）的能力，也就不可能通過。這方面可以去請教 jserv。 關於理論基礎，電腦科學有一個非常重要的基本定理，叫作 Halting problem。它的意思大致上是：沒有一個程式可以判斷出「任何程式在任何情形下是否能執行到完成」。連「判斷是否完成」都做不到，那更不可能「判斷是否做壞事」了。 要談實戰經驗嗎？我1999-2003在 Lucent Bell Labs 寫電信交換機軟體。這方面我懂。 那你會問：為什麼華為產品不能用，其他美國公司產品就可以用？道理不在科學，在於商業模式。一般公司的目的是賺錢，一旦被發現做了壞事它就賺不了錢了，所以它不會去做。而中資的公司很多都有政治目的，它們不一定要賺消費者的錢，而是可以為政治服務。如果是一般民生產品也就罷了，但資訊網路骨幹這種設施，我是絕對反對使用中資公司的產品的。 至於工研院禁止華為手機連上內網，大部分是宣示意義，但也有一小部分實質意義，就是減少間諜設備刺探的機會。但要達到這個目的，還應該完全禁止在院內使用中國設備才對。為什麼不禁？因為會造成同仁不便，就這麼簡單。 對一些其他人的不正確評論，我就不一一反駁了。任何人還要說華為設備可以用的，請先把 halting problem 的證明寫一遍，再把 formal verification 的定義寫一遍，再來跟我說。 萬一還是想用華為設備呢？只要華為願意把所有原始碼（包括作業系統和編譯器）、電路圖（包括 Gerber）、生產程序、以及維護工具（包括升級伺服器）交出來，交給台灣的 HITCON 團隊 +jserv +CIH 去檢查六個月，都找不出問題，那我就接受。這應該很合理吧？外國公司去中國營業，不是也都要把技術交出來嗎？ 來源： https://www.facebook.com/ben.jai/posts/10157386156769113 其實近幾個月的西方國家群起反華為等中企資訊通訊業， 先不論是否只是為了防堵他們的 5G 技術， 就算是也無可厚非，畢竟民主世界的通訊， 不應該被制約在帶有共產主義國家控制的企業下， 甚至是廣泛以他們的設備技術當作基底國家通訊， 光在這一點，作為民主世界的公民就應該有自覺。 不過市井小老百姓拿手機倒是還好啦， 就算真有什麼事，近幾年應該也看不太出來。 -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 218.161.47.131 ※ 文章網址: https://www.ptt.cc/bbs/MobileComm/M.1548526256.A.EF4.html
推
01/27 02:23, 7年前 , 1F
垃圾中國
01/27 02:23, 1F
推
01/27 02:26, 7年前 , 2F
講得很好啊 可惜一堆人通信設備跟手機傻傻不清楚
01/27 02:26, 2F
→
01/27 02:26, 7年前 , 3F
設備因為牽涉群眾利益 但買手機個人問題可以扯在
01/27 02:26, 3F
→
01/27 02:26, 7年前 , 4F
一起也是蠻好笑的
01/27 02:26, 4F
推
01/27 02:38, 7年前 , 5F
完爆某成教授新聞該報的是這位吧
01/27 02:38, 5F
推
01/27 02:39, 7年前 , 6F
合理
01/27 02:39, 6F
→
01/27 02:39, 7年前 , 7F
（怎麼這裡也看的到我大c52）
01/27 02:39, 7F
推
01/27 02:40, 7年前 , 8F
一支手機是個人問題，一堆有後門的手機絕對不是個人
01/27 02:40, 8F
→
01/27 02:41, 7年前 , 9F
問題
01/27 02:41, 9F
推
01/27 02:44, 7年前 , 10F
意思就是要人家證明沒有問題嗎
01/27 02:44, 10F
→
01/27 02:44, 7年前 , 11F
他說美國沒問題 也只是一種動機論
01/27 02:44, 11F
→
01/27 02:45, 7年前 , 12F
被發現做了壞事它就賺不了錢了，所以它不會去做
01/27 02:45, 12F
噓
01/27 02:46, 7年前 , 13F
所以證明有問題啊
01/27 02:46, 13F
→
01/27 02:47, 7年前 , 14F
不是自稱民主啊，那拿出證明啊
01/27 02:47, 14F
推
01/27 03:04, 7年前 , 15F
民主跟拿出證明有什麼關系？樓上的邏輯死掉了？
01/27 03:04, 15F
推
01/27 03:13, 7年前 , 16F
那就用民主的手段來指控
01/27 03:13, 16F
噓
01/27 03:15, 7年前 , 17F
拿jserv出來幫他背書? ...
01/27 03:15, 17F
推
01/27 03:20, 7年前 , 18F
有人邏輯掉了......？
01/27 03:20, 18F
推
01/27 03:38, 7年前 , 19F
華為也可以拿習近平出來背書說絕對沒問題啊
01/27 03:38, 19F
推
01/27 03:51, 7年前 , 20F
推
01/27 03:51, 20F
推
01/27 03:57, 7年前 , 21F
其實真正的問題是 中國這個政權本身就不可信賴
01/27 03:57, 21F
推
01/27 03:58, 7年前 , 22F
重點：中資公司目的在政治用途，拜託那些北七不要再
01/27 03:58, 22F
→
01/27 03:58, 7年前 , 23F
傻下去用中國品牌了好嗎!?
01/27 03:58, 23F
→
01/27 03:58, 7年前 , 24F
要證明它有問題做的到 但是要證明它"沒問題"做不到
01/27 03:58, 24F
→
01/27 03:59, 7年前 , 25F
理論面上說起來是這樣, 所以說到底就會變成信任問題
01/27 03:59, 25F
→
01/27 03:59, 7年前 , 26F
中國在全世界搞了一堆國家，居然還有人以為中國政府
01/27 03:59, 26F
→
01/27 03:59, 7年前 , 27F
可以相信??
01/27 03:59, 27F
→
01/27 03:59, 7年前 , 28F
上面某些人顯然是沒看懂
01/27 03:59, 28F
→
01/27 04:00, 7年前 , 29F
正常經營的企業不會犯險做這種事 國家也不可能利用
01/27 04:00, 29F
→
01/27 04:01, 7年前 , 30F
政治力要求企業去做壞事 但在中國這都不是問題
01/27 04:01, 30F
推
01/27 04:09, 7年前 , 31F
推
01/27 04:09, 31F
→
01/27 04:14, 7年前 , 32F
理論上就算把上面那些東西全都公開仍然無法驗證
01/27 04:14, 32F
→
01/27 04:14, 7年前 , 33F
前面就有人提過, 要埋洞連硬體裡都可以埋, 本身是個
01/27 04:14, 33F
→
01/27 04:15, 7年前 , 34F
黑盒子, 後門藏在裡面, 沒被拿來用以前誰找的到?
01/27 04:15, 34F
推
01/27 04:20, 7年前 , 35F
鄉民繼續打泥巴戰 不管啦歐美還不是有監控
01/27 04:20, 35F
推
01/27 04:33, 7年前 , 36F
疑而不用，用而存疑，小心駛得萬年船，很簡單，有
01/27 04:33, 36F
→
01/27 04:33, 7年前 , 37F
風險就不要用了，又不只它一家在做
01/27 04:33, 37F
推
01/27 04:37, 7年前 , 38F
推這篇！
01/27 04:37, 38F
推
01/27 05:25, 7年前 , 39F
http://bit.ly/2AZFl8H 勿忘聯想後面事件。藏了13
01/27 05:25, 39F
還有 88 則推文
推
01/27 15:18, 7年前 , 128F
Jserv 要出來了嗎？
01/27 15:18, 128F
推
01/27 16:14, 7年前 , 129F
推
01/27 16:14, 129F
推
01/27 16:18, 7年前 , 130F
Voda phone 也禁華為了
01/27 16:18, 130F
推
01/27 17:43, 7年前 , 131F
推
01/27 17:43, 131F
推
01/27 18:12, 7年前 , 132F
Jserv也在成大當教授啊
01/27 18:12, 132F
推
01/27 18:36, 7年前 , 133F
推
01/27 18:36, 133F
→
01/27 20:22, 7年前 , 134F
本來就是事實網通設備不買中資產品，手機誰理你花
01/27 20:22, 134F
→
01/27 20:22, 7年前 , 135F
黑，偷你額度幾萬的信用卡或者監視你為錢早八晚九
01/27 20:22, 135F
→
01/27 20:22, 7年前 , 136F
的生活是要欉啥小…
01/27 20:22, 136F
→
01/27 21:57, 7年前 , 137F
重點是買華為.是等於送錢給中國造飛彈打台灣
01/27 21:57, 137F
→
01/27 22:32, 7年前 , 138F
人家是為了賺錢，中國是為了蒐情資
01/27 22:32, 138F
推
01/27 22:55, 7年前 , 139F
驗證華為後門的時間能讓 Jserv 開發一個新 Andori
01/27 22:55, 139F
→
01/27 22:55, 7年前 , 140F
d 了lol
01/27 22:55, 140F
推
01/27 22:59, 7年前 , 141F
其實所有的東西都有後門，要不然修屁啊，報載智商高
01/27 22:59, 141F
→
01/27 22:59, 7年前 , 142F
的都很低能，每家都有後門，每家的政府也都會介入，
01/27 22:59, 142F
→
01/27 22:59, 7年前 , 143F
要不然發展花大錢玩基楚建設的是白吃，想用別人的，
01/27 22:59, 143F
→
01/27 22:59, 7年前 , 144F
就不用嫌
01/27 22:59, 144F
→
01/27 23:02, 7年前 , 145F
沒後門，碰上白吃，自己把自己鎖死了，難道幾百萬的
01/27 23:02, 145F
→
01/27 23:02, 7年前 , 146F
機器就丟了？
01/27 23:02, 146F
→
01/27 23:03, 7年前 , 147F
只是看你要給誰看，喜歡給誰看，科技扯政治，難怪公
01/27 23:03, 147F
→
01/27 23:03, 7年前 , 148F
司會倒
01/27 23:03, 148F
→
01/28 00:06, 7年前 , 149F
大設備上自己把自己鎖死了 會有正式的reset方法
01/28 00:06, 149F
→
01/28 00:07, 7年前 , 150F
前提是一定要能實體去操作設備, 這種不叫後門
01/28 00:07, 150F
→
01/28 00:07, 7年前 , 151F
手機上標準會比這個更高, 像 iphone 解鎖要購買憑證
01/28 00:07, 151F
→
01/28 00:08, 7年前 , 152F
還不是實體碰的到手機就能解
01/28 00:08, 152F
噓
01/28 01:35, 7年前 , 153F
這個喬什麼的誰？很懂通訊？我兒子國外唸書也都買華
01/28 01:35, 153F
→
01/28 01:36, 7年前 , 154F
為還不是沒事
01/28 01:36, 154F
推
01/28 01:44, 7年前 , 155F
哈哈哈……說得挺有道理的，請華為通通交出來……!!
01/28 01:44, 155F
→
01/28 01:45, 7年前 , 156F
說買華為沒事的，真是太傻了~
01/28 01:45, 156F
→
01/28 01:45, 7年前 , 157F
等真的有事時，你確定還能在這裡發文嗎？別傻了，孩
01/28 01:45, 157F
→
01/28 01:45, 7年前 , 158F
子的爸~!!
01/28 01:45, 158F
推
01/28 09:51, 7年前 , 159F
台灣蠻多無知又自以為聰明的消費者愛舔共...
01/28 09:51, 159F
推
01/28 12:59, 7年前 , 160F
國外唸書很厲害？沒事是真的沒事？還是還沒開始有
01/28 12:59, 160F
→
01/28 12:59, 7年前 , 161F
事
01/28 12:59, 161F
推
01/28 13:15, 7年前 , 162F
跟各位不是支那賤畜的說一下 這傢伙政治傾向是淺
01/28 13:15, 162F
→
01/28 13:15, 7年前 , 163F
藍的
01/28 13:15, 163F
推
01/28 13:23, 7年前 , 164F
推
01/28 13:23, 164F
推
01/28 16:02, 7年前 , 165F
推
01/28 16:02, 165F
推
01/28 18:40, 7年前 , 166F
一堆人連文章理解都有問題就開噴
01/28 18:40, 166F
推
01/29 09:18, 7年前 , 167F
公開原始碼等於要華為的命啊
01/29 09:18, 167F
‣ 更多 kouta 的文章
文章代碼(AID): #1SJAAmxq (MobileComm)
討論串 (同標題文章)
以下文章回應了本文：
完整討論串 (本文為第 1 之 7 篇)：
排序： 最新先 | 最舊先 | 留言數
在新視窗開啟完整討論串 (共7篇)
MobileComm 近期熱門文章
更多 近期熱門文章 >>
PTT數位生活區 即時熱門文章
更多 即時熱門文章 >>
‣ 更多 kouta 的文章
文章代碼(AID): #1SJAAmxq (MobileComm)