她破解哈希函數算法:堅持10年做一件事一定能做成
今年9月7日,2019未來科學大獎揭曉,這項設立4年的大獎迎來首位女性得主——密碼學家王小雲。在信息時代,金融服務、網絡安全等背後都離不開密碼系統的“護航”。在大眾眼中,密碼帶著神秘色彩,王小雲破解和設計密碼的經歷則更為傳奇。
MD5和SHA-1曾是最先進的國際通用密碼,被專家認為需要運算100萬年才有可能破解。2004年和2005年,這兩大“固若金湯”的算法被王小雲先後破解,在國際密碼學界引發強烈“地震”。
2005年,王小雲和國內專家設計了我國首個哈希函數算法標準SM3。如今,SM3已為我國多個行業保駕護航。
11月16日傍晚,梳著幹練短髮、帶著典型學者風采的王小雲出現在2019未來科學大獎週。問及此次獲獎的感受,這位低調的科學家表示,她非常感謝大家對她的支持和關愛,希望大家更多關注和支持密碼科技事業和這個領域年輕的人才。
王小雲在未來科學大獎週接受媒體採訪。新京報記者張璐攝
從小對數理化興趣濃厚
1966年,王小雲出生於山東諸城一個教師家庭。她的父親畢業於諸城師範學校的數學與化學班,受父親影響,王小雲從小就對數理化表現出濃厚的興趣。
由於高考數學成績優異,她報考了山大數學系。當時,山大數學系師資力量雄厚,授課的都是著名數學家潘承洞等專業上非常優秀的教授。
1987年,王小雲考上山東大學的研究生,跟潘承洞學習解析數論。一年多後,在導師的建議下,王小雲轉學密碼學。這個決定成為她科研生涯的一大轉折點。
獲得山東大學基礎數學專業博士學位後,王小雲留校任教。沒有科研經費,她就在僅有的一張小書桌上開始了她的密碼研究。
攻破國際兩大密碼城堡
2004年8月,在美國加州聖芭芭拉召開的國際密碼大會上,中國密碼學家王小雲的研究報告,引發會場掌聲雷動。她和研究團隊找出的“漏洞”,讓堅不可摧的密碼算法堡壘瞬間崩塌。
多年來,哈希函數MD5和SHA-1是國際上公認最先進、應用範圍最廣的兩大重要算法。廣泛應用於金融、證券等電子商務領域。按照常規方法,即使先進的計算機也需運算100萬年才有可能破解。
在國際密碼大會上,王小雲首次宣布了她及研究團隊的研究成果——對MD5等四個著名密碼算法的破解結果。現場學者驚嘆之後報以熱烈掌聲,一些學者甚至激動得站起來致敬,使報告不得不一度中斷。
2005年,王小雲再次宣布了破解SHA-1的消息。SHA-1在美國等國家有更加廣泛的應用,密碼算法被破解的消息再次引起強烈反響。
“密碼是一個攻防的過程,為何現在國際國內密碼設計水平這麼高?這取決於密碼分析的不斷進步,不斷發現密碼系統的漏洞,從而知道從哪方面防範。設計上要能防御所有攻擊的可能性,盡可能想到未來存在的攻擊,設計更好的密碼系統。”
王小雲破解了5個國際通用哈希函數算法,那她成功的密碼又是什麼?王小雲歸因於“堅持”,“一個人能夠堅持10年做一件事,一定能做成。”
王小雲坦言,她做哈希函數的分析差不多做了10年。“一開始我沒有很大的理想,現在看來,哈希函數是區塊鏈的基礎技術;在當時,它是很多密碼都離不開的關鍵技術。支撐密碼系統的就是兩大哈希函數算法,MD5和SHA-1。我當時想一定要分析這些算法的安全性。”
密碼在很多人眼中是枯燥艱難的,王小雲說,由於她是學基礎數學出身的,對數學感覺比較好,在分析過程當中,她把這些算法看成特別的數學函數,憑感覺發現了好多規律。隨著密碼算法分析難度的增加,完備的一套密碼分析體係就建成了。
設計我國首個哈希函數算法標準SM3
在哈希函數的兩大支柱算法遭受重創後,美國國家標準技術研究院向全球密碼學者徵集新的國際標準哈希函數算法,王小雲放棄參與設計新國際標準密碼算法,轉而設計國內的哈希函數算法標準。
2005年,王小雲和國內其他專家設計了我國首個哈希函數算法標準SM3,其安全性得到國內外高度認可。經國家密碼管理局審批的含SM3的密碼產品如金融社保卡、新一代銀行芯片卡與智能電錶等相關產品已經在全國廣泛使用。
SM3發布之後,數十項密碼相關領域的行業標准出爐,國家對網絡安全問題的認識越來越清晰深刻。
王小雲說,這些年,我國科技激勵政策好,國家對科技資金的投入力度很大。“從我個人經歷來說,之前我用自己的錢做科學研究,到慢慢開始有科研經費支持,如今國家支持我們的重大項目和工程,支持力度可以說是幾十倍的增加。”
“我們要以我們的研究能力,做好國家的密碼保障工作,使我們的網絡更安全,保障人民的利益。”談及今後的科研夢,王小雲這樣說。
王小雲在清華大學做學術報告。未來論壇供圖
愛養花、愛集郵的女科學家
在大眾的想像力中,女科學家嚴謹、聰明、專注。生活中的王小雲是什麼樣的?在央視《開講啦》節目中,性格爽朗的王小雲曾表示,儘管研究任務重,但她仍會以養花、做家務、逛集郵市場作為放鬆方式。
作為未來科學大獎的首位女性得主,她的身份也備受關注。低調謙遜的王小雲坦言,她能感受到大家的熱情,感謝大家對她的支持和關愛。“我感覺我個人被關注過頭了,希望大家能多關注密碼科技事業,關注密碼領域年輕的人才,希望他們得到支持。
■ 對話
物聯網、人工智能等領域需密碼技術保護隱私
新京報:物聯網、人工智能、大數據等的發展可能給隱私帶來哪些問題?如何用密碼技術解決?
王小雲:這些領域隱私保護問題很嚴峻,目前我國這些領域的密碼技術推廣正在起步階段,並沒有完全解決安全問題。
物聯網領域複雜,需要對這些領域的通信系統進行梳理,做密碼防護技術的覆蓋。要把密碼系統和物聯網通信系統融合在一起,保障其安全性。從技術研究角度和產業應用角度一起推動這個問題的解決。
在人工智能領域,一是人臉識別、生物特徵識別方面,個人隱私容易洩露,個人隱私的保護需要使用密碼技術。二是機器深度學習方面,如果機器學習過程中有攻擊者改變少量數據,就會產生差距很大的結果,是很可怕的結果。這方面的安全性也需要密碼技術解決。但是密碼技術的解決剛起步,仍需深入研究。
人工智能還有其他應用,需要對工作機理進行了解,再進一步確定密碼技術如何應用。
目前很多行業的數據以大數據形式存放,有的上云了,個人信息保護更為嚴峻。一旦大數據洩露,甚至會洩露上億人的信息。單純從加密角度,密碼技術防護可以實現,但可能會影響大數據處理能力,需要長時間進行新型密碼技術的研究和防護。還有一部分安全問題需要通過科技創新,最終得到完善的解決方案。
新京報:你認為剛剛通過的《密碼法》最大亮點是什麼?
王小雲:《密碼法》有很多亮點,比如提出密碼工作堅持總體國家安全觀,堅持中國共產黨對密碼工作的領導;提出國家鼓勵和支持密碼科學技術研究和人才培養,這比以前的支持力度更大,有了法律來規定。
《密碼法》明確密碼的分類,將密碼分為核心密碼、普通密碼和商用密碼。對於我們學術研究領域來講,主要關注商用密碼的學術研究和技術應用。
“商用密碼”這一章亮點也很多,比如提出健全統一、開放、競爭、有序的商用密碼市場體系,依法平等對待包括外商投資企業在內的商用密碼科研、生產、銷售、服務、進出口等單位。我覺得這部分很重要,對我國特別是密碼領域擴大對外開放、中國特色大國外交和一帶一路倡議提供了非常好的法律保障。如果商用密碼走不到國外,很多信息通信和國際不能互聯互通。
《密碼法》還提出,國家推動參與商用密碼國際標準化活動,參與製定商用密碼國際標準。我覺得這對奉獻中國的密碼智慧和方案能起到積極推動作用,也能推動我國密碼的科技創新研究。同時,“國家推進商用密碼檢測認證體系建設”的提出,對規範市場是非常重要的。
新京報:科技部等四部門印發《關於加強數學科學研究工作方案》,這給密碼學的發展帶來哪些助益?
王小雲:我也參與了這個過程,也是受益方。我非常高興數學領域把密碼學研究納入數學支持範疇。密碼是應用數學、數學的應用、基礎數學三者融合的領域。密碼的應用在數學的應用中是非常有特色、非常廣泛的領域。密碼研究是交叉支持的領域,我國鼓勵支持國防安全等領域,基本密碼在這些領域中起作用,這對密碼學也是前所未有的好機遇。
■人物簡介:
王小雲,清華大學高等研究院“楊振寧講座”教授,中國科學院院士,國際密碼協會會士。提出了密碼哈希函數的碰撞攻擊理論,破解了包括MD5、SHA-1在內的5個國際通用哈希函數算法;設計了我國哈希函數標準SM3,並在2018年10月正式成為ISO/ IEC國際標準。代表性論文50餘篇, 3篇獲歐密會、美密會最佳論文。曾獲國家自然科學二等獎,全國優秀科技工作者、網絡安全優秀人才獎等。
新京報記者張璐