翟本喬 FaceBook: 華為/資安 - 手機討論

Adele avatar
By Adele
at 2019-01-27T02:10

Table of Contents

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 技術,
就算是也無可厚非,畢竟民主世界的通訊,
不應該被制約在帶有共產主義國家控制的企業下,
甚至是廣泛以他們的設備技術當作基底國家通訊,
光在這一點,作為民主世界的公民就應該有自覺。

不過市井小老百姓拿手機倒是還好啦,
就算真有什麼事,近幾年應該也看不太出來。

--
Tags: 手機

All Comments

Iris avatar
By Iris
at 2019-01-30T20:16
垃圾中國
Blanche avatar
By Blanche
at 2019-02-03T14:21
講得很好啊 可惜一堆人通信設備跟手機傻傻不清楚設備因為牽涉群眾利益 但買手機個人問題可以扯在一起也是蠻好笑的
Elma avatar
By Elma
at 2019-02-07T08:26
完爆某成教授新聞該報的是這位吧
Frederic avatar
By Frederic
at 2019-02-11T02:32
合理(怎麼這裡也看的到我大c52)
Freda avatar
By Freda
at 2019-02-14T20:37
一支手機是個人問題,一堆有後門的手機絕對不是個人
Annie avatar
By Annie
at 2019-02-18T14:42
問題
Xanthe avatar
By Xanthe
at 2019-02-22T08:47
意思就是要人家證明沒有問題嗎他說美國沒問題 也只是一種動機論
Yedda avatar
By Yedda
at 2019-02-26T02:53
被發現做了壞事它就賺不了錢了,所以它不會去做
Belly avatar
By Belly
at 2019-03-01T20:58
所以證明有問題啊
James avatar
By James
at 2019-03-05T15:03
不是自稱民主啊,那拿出證明啊
Aaliyah avatar
By Aaliyah
at 2019-03-09T09:09
民主跟拿出證明有什麼關系?樓上的邏輯死掉了?
Gary avatar
By Gary
at 2019-03-13T03:14
那就用民主的手段來指控
Doris avatar
By Doris
at 2019-03-16T21:19
拿jserv出來幫他背書? ...
Eden avatar
By Eden
at 2019-03-20T15:24
有人邏輯掉了......?
Hardy avatar
By Hardy
at 2019-03-24T09:30
華為也可以拿習近平出來背書說絕對沒問題啊
Enid avatar
By Enid
at 2019-03-28T03:35
Mary avatar
By Mary
at 2019-03-31T21:40
其實真正的問題是 中國這個政權本身就不可信賴
Oscar avatar
By Oscar
at 2019-04-04T15:46
重點:中資公司目的在政治用途,拜託那些北七不要再傻下去用中國品牌了好嗎!?
Blanche avatar
By Blanche
at 2019-04-08T09:51
要證明它有問題做的到 但是要證明它"沒問題"做不到
Anonymous avatar
By Anonymous
at 2019-04-12T03:56
理論面上說起來是這樣, 所以說到底就會變成信任問題上面某些人顯然是沒看懂
Bennie avatar
By Bennie
at 2019-04-15T22:01
中國在全世界搞了一堆國家,居然還有人以為中國政府可以相信??
Charlie avatar
By Charlie
at 2019-04-19T16:07
正常經營的企業不會犯險做這種事 國家也不可能利用
Kama avatar
By Kama
at 2019-04-23T10:12
政治力要求企業去做壞事 但在中國這都不是問題
Yuri avatar
By Yuri
at 2019-04-27T04:17
Joseph avatar
By Joseph
at 2019-04-30T22:22
理論上就算把上面那些東西全都公開仍然無法驗證前面就有人提過, 要埋洞連硬體裡都可以埋, 本身是個
Belly avatar
By Belly
at 2019-05-04T16:28
黑盒子, 後門藏在裡面, 沒被拿來用以前誰找的到?
Hazel avatar
By Hazel
at 2019-05-08T10:33
鄉民繼續打泥巴戰 不管啦歐美還不是有監控
Jacky avatar
By Jacky
at 2019-05-12T04:38
疑而不用,用而存疑,小心駛得萬年船,很簡單,有風險就不要用了,又不只它一家在做
David avatar
By David
at 2019-05-15T22:44
推這篇!
Tristan Cohan avatar
By Tristan Cohan
at 2019-05-19T16:49
http://bit.ly/2AZFl8H 勿忘聯想後面事件。藏了13年呢!呵呵
Victoria avatar
By Victoria
at 2019-05-23T10:54
後門事件
Eartha avatar
By Eartha
at 2019-05-27T04:59
不過這也可以套用在 不要買特斯拉美國之前也炒過特斯拉類似問題
Charlotte avatar
By Charlotte
at 2019-05-30T23:05
但我可以信賴特斯拉就是了
Charlie avatar
By Charlie
at 2019-06-03T17:10
國庫通黨庫,黨庫通權貴,權貴通私企
Olga avatar
By Olga
at 2019-06-07T11:15
幹嘛跟捅捅泥認真…
Catherine avatar
By Catherine
at 2019-06-11T05:21
說到底就是中共不可信任,跟它有關的企業也完全不可信任,這應該不用再證明了吧?
Mason avatar
By Mason
at 2019-06-14T23:26
但台灣已經有為數不少的一群人開始信仰偉大天朝中國
Frederic avatar
By Frederic
at 2019-06-18T17:31
就好像被神棍騙被網路帥哥騙的人一樣 感性大於理性
Mason avatar
By Mason
at 2019-06-22T11:36
那為什麼小米聯想跟oppo這些設備沒有禁止,而只針對華為這一家?
Edwina avatar
By Edwina
at 2019-06-26T05:42
就算被管制 被監控 歸順強大的天朝中國有什麼不好?
David avatar
By David
at 2019-06-29T23:47
Lydia avatar
By Lydia
at 2019-07-03T17:52
補貼補貼,為啥要補貼呢?
Quanna avatar
By Quanna
at 2019-07-07T11:58
禁電信設備合理啦,禁手機就太超過了~
James avatar
By James
at 2019-07-11T06:03
手機不算電信設備嗎
Enid avatar
By Enid
at 2019-07-15T00:08
推啊!國民黨粉一定不懂
Rachel avatar
By Rachel
at 2019-07-18T18:13
重點是大陸那邊是會偷開後門偷資料甚至攻擊。
Jake avatar
By Jake
at 2019-07-22T12:19
因為華為有做都會網路的骨幹設備,OPPO小米沒有
Jacob avatar
By Jacob
at 2019-07-26T06:24
手機只是民生產品又不是網路骨幹設備,大家買起來!
Kristin avatar
By Kristin
at 2019-07-30T00:29
最後一段就是講幹話了,首先他不可能給你code,再來就算給code你也檢查不出來,而且你本來就不想用他,上面的政治人物真的要好好學學不要一直講幹話
Rachel avatar
By Rachel
at 2019-08-02T18:35
市井小民的手機也會有問題,可以拿來當跳版
Regina avatar
By Regina
at 2019-08-06T12:40
簡單的翻譯就是每個產品都有後門。但我相信美國
Cara avatar
By Cara
at 2019-08-10T06:45
我怎麼沒看你在稜鏡門時出來談論。還是你認為監聽德國總理是必要之惡
Annie avatar
By Annie
at 2019-08-14T00:50
政府快點 用恐有危害國家安全法,把華為全面禁一禁
Gary avatar
By Gary
at 2019-08-17T18:56
快禁 本來華為就該禁光 笑死
Mason avatar
By Mason
at 2019-08-21T13:01
會亂拍的可能在91出現
Annie avatar
By Annie
at 2019-08-25T07:06
翟神(跪讀
Linda avatar
By Linda
at 2019-08-29T01:12
理組推,反觀某杜
Vanessa avatar
By Vanessa
at 2019-09-01T19:17
Valerie avatar
By Valerie
at 2019-09-05T13:22
跟9.2談邏輯 不要鬧啦
Elizabeth avatar
By Elizabeth
at 2019-09-09T07:27
屁了一堆,還是拿不出證據....
Tom avatar
By Tom
at 2019-09-13T01:33
護航華為的趕快出來啊 不是華為好棒棒? 真噁心
Barb Cronin avatar
By Barb Cronin
at 2019-09-16T19:38
很合理啊,一堆公司去中國設廠還要把技術交出來呢
Freda avatar
By Freda
at 2019-09-20T13:43
為什麼一堆人狂幫華為洗白?覺得自己資料不重要就安靜去旁邊用啊,其他人覺得自己資料重要不行?
Sarah avatar
By Sarah
at 2019-09-24T07:49
覺得重要也可以旁邊安靜重要 在那邊沒根據的黑xD
Eden avatar
By Eden
at 2019-09-28T01:54
這篇說的不錯
Carolina Franco avatar
By Carolina Franco
at 2019-10-01T19:59
9.25毛繼續洗白
Kama avatar
By Kama
at 2019-10-05T14:04
一個證明自己無罪的概念
Delia avatar
By Delia
at 2019-10-09T08:10
9問題是中國對外商甚麼都來啊?同等標準對華為啊!幹~
Elizabeth avatar
By Elizabeth
at 2019-10-13T02:15
邏輯正確
Wallis avatar
By Wallis
at 2019-10-16T20:20
推 原來如此 資安問題檢測不出來啊
Frederica avatar
By Frederica
at 2019-10-20T14:26
無法舉證他有後門,只好要他證明自己清白。這種老闆公司會倒不意外呀^O^
Liam avatar
By Liam
at 2019-10-24T08:31
就像路上警察攔你,找不到你的罪,只好要你證明自己沒犯罪,真荒謬。
Annie avatar
By Annie
at 2019-10-28T02:36
Agatha avatar
By Agatha
at 2019-10-31T20:41
4
Regina avatar
By Regina
at 2019-11-04T14:47
華為就真的好棒呀,HTC恨鐵不成鋼
Carolina Franco avatar
By Carolina Franco
at 2019-11-08T08:52
Yoyo大大通通繞過
Frederica avatar
By Frederica
at 2019-11-12T02:57
覺得可以信任誰就把資料給誰啊 我是比較信Google啦
Yuri avatar
By Yuri
at 2019-11-15T21:03
大學教授有些都做古了...
Necoo avatar
By Necoo
at 2019-11-19T15:08
華為連底層硬體都是自己全權掌控, 所以無從查起
Ivy avatar
By Ivy
at 2019-11-23T09:13
這篇合理啊 網路基礎建設不用華為跟手機不用華為是兩回事
Connor avatar
By Connor
at 2019-11-27T03:18
小米 OPPO 至少硬體方案是向高通三星MTK買來的
Belly avatar
By Belly
at 2019-11-30T21:24
有支那豬崩潰了
Xanthe avatar
By Xanthe
at 2019-12-04T15:29
理組推,翟神思路清晰邏輯正確
Annie avatar
By Annie
at 2019-12-08T09:34
要把技術交出來..........
Eartha avatar
By Eartha
at 2019-12-12T03:39
重點確實完全不在華為的手機上,那只是終端消費品,華為手機也沒什麼黑科技,只是其他廠商要不要也砸成本去堆那些料而已,其實大家都做得到,華為在手機上沒什麼實質的技術威脅性。重點是華為的5G網絡的佈置,這個就有很大的後續影響,所以禁用華為手機沒什麼實質的幫助,讓華為在5G基建取得領先地位才是真正的危機。
Olive avatar
By Olive
at 2019-12-15T21:45
中肯
Olive avatar
By Olive
at 2019-12-19T15:50
Agnes avatar
By Agnes
at 2019-12-23T09:55
,
Michael avatar
By Michael
at 2019-12-27T04:01
把一堆板上垃圾智障9.2和五毛的臉打歪了
Blanche avatar
By Blanche
at 2019-12-30T22:06
垃圾智障9.2和五毛繼續躲在推噓文裡崩潰,真是爽啊
George avatar
By George
at 2020-01-03T16:11
台肯,防毒軟體是管不了FW層的
Mia avatar
By Mia
at 2020-01-07T10:16
正確
Ula avatar
By Ula
at 2020-01-11T04:22
難怪他會被郭董火掉,因為他的思考模式沒辦法商業化。
Erin avatar
By Erin
at 2020-01-14T22:27
近年成大素質真的低落很多
Dorothy avatar
By Dorothy
at 2020-01-18T16:32
這是在釣嗎XDD
Emma avatar
By Emma
at 2020-01-22T10:38
現在沒問題不代表以後沒問題 線上更新裝木馬你能擋?
Oliver avatar
By Oliver
at 2020-01-26T04:43
推 華為有做交換機跟路由地位不一樣
Agnes avatar
By Agnes
at 2020-01-29T22:48
骨幹用不能信賴的軍企我是會怕啦
Caitlin avatar
By Caitlin
at 2020-02-02T16:53
推文是不是有些考不上成大的悲憤仔
Iris avatar
By Iris
at 2020-02-06T10:59
宅色夫老師:淦甘偶屁速
Hedy avatar
By Hedy
at 2020-02-10T05:04
Jserv 要出來了嗎?
Susan avatar
By Susan
at 2020-02-13T23:09
Gilbert avatar
By Gilbert
at 2020-02-17T17:15
Voda phone 也禁華為了
Madame avatar
By Madame
at 2020-02-21T11:20
Annie avatar
By Annie
at 2020-02-25T05:25
Jserv也在成大當教授啊
Wallis avatar
By Wallis
at 2020-02-28T23:30
Jack avatar
By Jack
at 2020-03-03T17:36
本來就是事實網通設備不買中資產品,手機誰理你花黑,偷你額度幾萬的信用卡或者監視你為錢早八晚九的生活是要欉啥小…
Audriana avatar
By Audriana
at 2020-03-07T11:41
重點是買華為.是等於送錢給中國造飛彈打台灣
Oscar avatar
By Oscar
at 2020-03-11T05:46
人家是為了賺錢,中國是為了蒐情資
Emily avatar
By Emily
at 2020-03-14T23:52
驗證華為後門的時間能讓 Jserv 開發一個新 Andorid 了lol
John avatar
By John
at 2020-03-18T17:57
其實所有的東西都有後門,要不然修屁啊,報載智商高的都很低能,每家都有後門,每家的政府也都會介入,要不然發展花大錢玩基楚建設的是白吃,想用別人的,就不用嫌
Kelly avatar
By Kelly
at 2020-03-22T12:02
沒後門,碰上白吃,自己把自己鎖死了,難道幾百萬的機器就丟了?
Doris avatar
By Doris
at 2020-03-26T06:07
只是看你要給誰看,喜歡給誰看,科技扯政治,難怪公司會倒
Caroline avatar
By Caroline
at 2020-03-30T00:13
大設備上自己把自己鎖死了 會有正式的reset方法
Valerie avatar
By Valerie
at 2020-04-02T18:18
前提是一定要能實體去操作設備, 這種不叫後門手機上標準會比這個更高, 像 iphone 解鎖要購買憑證
Isla avatar
By Isla
at 2020-04-06T12:23
還不是實體碰的到手機就能解
Freda avatar
By Freda
at 2020-04-10T06:29
這個喬什麼的誰?很懂通訊?我兒子國外唸書也都買華
Gary avatar
By Gary
at 2020-04-14T00:34
為還不是沒事
Sierra Rose avatar
By Sierra Rose
at 2020-04-17T18:39
哈哈哈……說得挺有道理的,請華為通通交出來……!!
Puput avatar
By Puput
at 2020-04-21T12:44
說買華為沒事的,真是太傻了~等真的有事時,你確定還能在這裡發文嗎?別傻了,孩子的爸~!!
Hazel avatar
By Hazel
at 2020-04-25T06:50
台灣蠻多無知又自以為聰明的消費者愛舔共...
Annie avatar
By Annie
at 2020-04-29T00:55
國外唸書很厲害?沒事是真的沒事?還是還沒開始有事
George avatar
By George
at 2020-05-02T19:00
跟各位不是支那賤畜的說一下 這傢伙政治傾向是淺藍的
Leila avatar
By Leila
at 2020-05-06T13:06
Necoo avatar
By Necoo
at 2020-05-10T07:11
Heather avatar
By Heather
at 2020-05-14T01:16
一堆人連文章理解都有問題就開噴
Jake avatar
By Jake
at 2020-05-17T19:21
公開原始碼等於要華為的命啊

xz1 -> xz3 / xr / ?

Ethan avatar
By Ethan
at 2019-01-27T01:54
請益 目前用xz1 之前用i7+ 之前是覺得i7上網慢,切換app慢,熱點麻煩,手機又會發燙 換xz1後上網速度大提升,熱點也方便, 輕薄也不發燙 唯一就是覺得拍照弱 快門慢成像也 差, 所以拍照的頻率比之前i7低非常非常多 目前有andriod的拍照體驗跟iphone接近的嗎 去看了xz3 還是覺得指紋在背 ...

小米2s可以玩寶可夢嗎

Selena avatar
By Selena
at 2019-01-27T01:43
家中老爸突然拿給我小米2s 叫我安裝寶可夢給我媽玩 作業系統停在miui4 電池也不太行螢幕也有暗點 打算說刷機到最新miui 看能不能安裝玩得起來 刷機時不管是線刷還是卡刷都各種卡關 頭昏腦脹乾脆先來睏 我是不是該放棄了啊 即便刷機成功 寶可夢也安裝 跑起來也會累格然後閃退吧 ----- Sent fro ...

選擇障礙 紅米Note5 PocophoneF1

Lily avatar
By Lily
at 2019-01-27T00:38
(一) 預算區間/已選擇之機種 (若為請版友選擇你考慮的機種,請填機種在這) 預算約1萬元 紅米Note5 (6GB/64GB) Pocophone F1 (二) 使用需求 (例如:螢幕尺寸、拍照、高續航、高效能...等等) 新手機就是想直衝6GB RAM! 拍照沒有很care 反正刷機後都能裝Gcam 續 ...

過保LG G4 申訴經驗

Yedda avatar
By Yedda
at 2019-01-27T00:34
※ 引述《a9202507 (先認真的就輸了。)》之銘言: : 標題: Re: [心得] 過保LG G4 申訴經驗 : 時間: Fri Sep 28 23:15:21 2018 : : 看到G4刷機後很好用的文,想到我之前申訴後免費換機版的事。 : : 更新一下後續。過半年了。 : 目前家裡的G4是長輩在用的 ...

htc10使用兩年多的心得與使用分享

Heather avatar
By Heather
at 2019-01-27T00:09
先簡單說我以前是用了s2跟note2(兩支都是別人用了兩年然後給我用的),然後10是第一支我自己買的智慧型手機,當時也曾考慮過s7e跟zf3d還有xz。(不過我要買的當時s7e在台灣只有32GB版) 我的使用需求是幾乎都是瀏覽網頁、line、youtube、拍照錄影、google相簿、地圖、聽音樂,現在 ...