構(gòu)建系統(tǒng)安全“堡壘” OpenHarmony技術(shù)大會(huì)OS安全分論壇意義深遠(yuǎn)

隨時(shí)工業(yè)4.0時(shí)代的到來(lái),數(shù)據(jù)已成為企業(yè)數(shù)字化、智能化發(fā)展的基石。然而,面對(duì)呈爆發(fā)式增長(zhǎng)的數(shù)據(jù)量,如何確保系統(tǒng)安全、防止數(shù)據(jù)被竊取,已成為全球用戶關(guān)注的焦點(diǎn)。在這樣的背景下,2023年11月4日舉辦的第二屆開放原子開源基金會(huì)OpenHarmony技術(shù)大會(huì)OS安全分論壇上,眾多專家學(xué)者就系統(tǒng)安全、數(shù)據(jù)安全、大模型安全以及軟件安全分析等方向展開了熱烈探討,并且針對(duì)OS安全所關(guān)注的前沿技術(shù)和實(shí)踐應(yīng)用提出了建設(shè)性意見,一同為OpenHarmony提倡的萬(wàn)物智聯(lián)筑起了堅(jiān)實(shí)的安全保障。華為副首席科學(xué)家、終端BG/車BU首席安全架構(gòu)師付天福擔(dān)任論壇出品人。

論壇匯聚了中國(guó)科學(xué)院信息工程研究所二級(jí)研究員、副總師、“百人計(jì)劃學(xué)者”李鳳華,上海交通大學(xué)教授、OpenHarmony技術(shù)俱樂(lè)部主任夏虞斌,華為系統(tǒng)安全實(shí)驗(yàn)室主任、系統(tǒng)安全首席專家譚寅,清華大學(xué)網(wǎng)絡(luò)研究院副院長(zhǎng)、副教授、博士生導(dǎo)師張超(臨時(shí)時(shí)間沖突委托朱文宇博士),OpenHarmony安委會(huì)產(chǎn)業(yè)安全使能與標(biāo)準(zhǔn)化工作組副組長(zhǎng)翟世俊,華為OS內(nèi)核安全專家、形式化驗(yàn)證助理科學(xué)家李屹,北京中科微瀾科技有限公司CEO楊牧天,北京郵電大學(xué)副教授、博士生導(dǎo)師梁洪亮,中國(guó)科學(xué)院軟件研究所特別研究助理凌祥等十位技術(shù)學(xué)者,共同探討了OpenHarmony安全的前沿技術(shù)和未來(lái)發(fā)展方向。

OS安全分論壇現(xiàn)場(chǎng)

首先,中國(guó)科學(xué)院信息工程研究所二級(jí)研究員、副總師、“百人計(jì)劃學(xué)者”李鳳華在《數(shù)據(jù)要素流通的安全挑戰(zhàn)與對(duì)策》分享中介紹了萬(wàn)物智慧互聯(lián)是推動(dòng)數(shù)據(jù)廣泛傳播的關(guān)鍵驅(qū)動(dòng)力,促進(jìn)了數(shù)據(jù)泛在共享,使得數(shù)字經(jīng)濟(jì)高度依賴于數(shù)據(jù)要素的流通。然而,隨著數(shù)據(jù)從傳統(tǒng)的共享模式演變?yōu)橐亓魍?現(xiàn)有的安全技術(shù)無(wú)法滿足數(shù)據(jù)多輪交易的安全需求,因此急需構(gòu)建一套全面的解決方案,以確保數(shù)據(jù)要素流通的安全性。李老師提出隱私計(jì)算整體的一套理論體系和技術(shù)方案,正確利用不同技術(shù)解決泛在共享環(huán)境中不同環(huán)節(jié)的數(shù)據(jù)安全與隱私保護(hù)問(wèn)題。

付天福補(bǔ)充說(shuō)明,OpenHarmony原生提供了全套數(shù)據(jù)生命周期的創(chuàng)建、存儲(chǔ)、流通、使用和銷毀的安全機(jī)制,為數(shù)據(jù)成為數(shù)字經(jīng)濟(jì)最重要的生產(chǎn)要素,提供了基礎(chǔ)保障能力。

中國(guó)科學(xué)院信息工程研究所二級(jí)研究員、副總師、“百人計(jì)劃學(xué)者”李鳳華主題分享

隨后,華為副首席科學(xué)家、終端BG/車BU首席安全架構(gòu)師付天福談到,安全是OpenHarmony內(nèi)嵌在基因里的核心架構(gòu),為了應(yīng)對(duì)大數(shù)據(jù)時(shí)代的安全挑戰(zhàn), OpenHarmony 提供了對(duì)數(shù)據(jù)整個(gè)生命周期的標(biāo)記、加密、隔離、訪問(wèn)控制等全套機(jī)制,為數(shù)據(jù)在虛擬世界建立了一套完備的保障措施。他表示,在智能汽車時(shí)代,安全是最為核心的競(jìng)爭(zhēng)力,安全是最大的豪華。智能輔助駕駛安全已經(jīng)成為OpenHarmony賦能汽車行業(yè)的獨(dú)特優(yōu)勢(shì),而網(wǎng)絡(luò)安全對(duì)功能安全的影響也日益增大,OpenHarmony基于分級(jí)安全架構(gòu),天生就適合智能汽車這樣的分布式計(jì)算機(jī)體系,充分發(fā)揮了強(qiáng)安全部件的能力為整車提供保護(hù),為智能汽車提供了網(wǎng)絡(luò)安全上的領(lǐng)先解決方案。

華為副首席科學(xué)家、終端BG/車BU首席安全架構(gòu)師付天福主題分享

上海交通大學(xué)教授、OpenHarmony技術(shù)俱樂(lè)部主任夏虞斌在報(bào)告中提出了“智能終端操作系統(tǒng)的個(gè)人數(shù)據(jù)處理與保護(hù)”的新思路。該方法利用人工智能和機(jī)密計(jì)算等新技術(shù),實(shí)現(xiàn)對(duì)個(gè)人數(shù)據(jù)的存儲(chǔ)、使用和保護(hù)。他指出,智能終端作為個(gè)人的數(shù)字世界主要入口,記錄了大量的個(gè)人數(shù)據(jù),合理利用這些數(shù)據(jù)將帶來(lái)效率的極大提升。通過(guò)提供一個(gè)端云一體化的機(jī)密計(jì)算能力,既滿足了AI時(shí)代對(duì)數(shù)據(jù)驅(qū)動(dòng)模型下的智能化廣泛應(yīng)用,又保障了個(gè)人隱私不泄露企業(yè)數(shù)據(jù)不泄密,OpenHarmony有望成為大模型的入口,為個(gè)人數(shù)據(jù)的安全和隱私提供更強(qiáng)大的保障。

上海交通大學(xué)教授、OpenHarmony技術(shù)俱樂(lè)部主任夏虞斌主題分享

華為系統(tǒng)安全實(shí)驗(yàn)室主任、系統(tǒng)安全首席專家譚寅在報(bào)告中提出了面向OpenHarmony的軟硬協(xié)同系統(tǒng)安全底座的構(gòu)筑方法。當(dāng)前操作系統(tǒng)安全技術(shù)已經(jīng)取得了長(zhǎng)足的進(jìn)展,但隨著軟件功能復(fù)雜性和體量急劇提升,攻擊面也持續(xù)擴(kuò)大。即使采用了大量的系統(tǒng)安全防護(hù)方法,還是避免不了高危漏洞被利用并最終導(dǎo)致系統(tǒng)被攻破的情況。在此背景下,面向OpenHarmony體系化構(gòu)筑安全底座,突破關(guān)鍵安全技術(shù),從機(jī)制上打造OpenHarmony的安全架構(gòu)就尤為重要。本報(bào)告拋磚引玉介紹當(dāng)前在OpenHarmony安全防護(hù)的工作,以期促進(jìn)系統(tǒng)安全領(lǐng)域?qū)W者與研究人員共同構(gòu)筑OpenHarmony安全。

華為系統(tǒng)安全實(shí)驗(yàn)室主任、系統(tǒng)安全首席專家譚寅主題分享

清華大學(xué)網(wǎng)絡(luò)研究院副院長(zhǎng)、副教授、博士生導(dǎo)師張超老由于臨時(shí)時(shí)間沖突,委托博士生朱文宇博士代為分享了題為《閉源軟件安全智能化分析》的主題報(bào)告,深入探討了在安全對(duì)抗場(chǎng)景下閉源軟件分析的挑戰(zhàn),并指出了傳統(tǒng)分析技術(shù)的局限性。他強(qiáng)調(diào),提取和恢復(fù)閉源程序的結(jié)構(gòu)和語(yǔ)義信息對(duì)分析其安全性具有重要意義,但由于編譯過(guò)程中的信息損失,二進(jìn)制程序分析相較于源碼分析更具挑戰(zhàn)性。令人欣喜的是,張超分享了團(tuán)隊(duì)近期的研究成果,展示了流行的大語(yǔ)言模型在二進(jìn)制程序分析中的顯著效果。這一創(chuàng)新方法為閉源軟件安全智能化分析提供了新的思路和解決方案,為未來(lái)的軟件安全研究開辟了廣闊的前景。

清華大學(xué)網(wǎng)絡(luò)研究院副院長(zhǎng)、副教授、博士生導(dǎo)師張超委托朱文宇博士主題分享

OpenHarmony安委會(huì)產(chǎn)業(yè)安全使能與標(biāo)準(zhǔn)化工作組副組長(zhǎng)翟世俊對(duì)OpenHarmony發(fā)行版證通電子的LightBeeOS獲得CCRCEAL4+認(rèn)證做了介紹,介紹了中國(guó)網(wǎng)絡(luò)安全審查技術(shù)與認(rèn)證中心(CCRC)評(píng)估保障級(jí)(EAL)認(rèn)證情況,CCRCEAL4+認(rèn)證對(duì)操作系統(tǒng)的安全提出了非常高的要求,需要對(duì)系統(tǒng)的安全架構(gòu)進(jìn)行全面嚴(yán)格的審核。首先對(duì)LightBeeOS的安全功能進(jìn)行全面測(cè)評(píng),并結(jié)合詳細(xì)設(shè)計(jì)、源碼審計(jì)、滲透測(cè)試、現(xiàn)場(chǎng)審核等對(duì)LightBeeOS安全進(jìn)行全面評(píng)估,證明LightBeeOS以及OpenHarmony具有較高的安全水平,為萬(wàn)物互聯(lián)期待提供了一套堅(jiān)實(shí)的底座,生態(tài)廠商可基于OpenHarmony開發(fā)更多高安應(yīng)用場(chǎng)景的發(fā)行版OS,聚焦業(yè)務(wù)場(chǎng)景,減少對(duì)安全的巨大投入。

OpenHarmony安委會(huì)產(chǎn)業(yè)安全使能與標(biāo)準(zhǔn)化工作組副組長(zhǎng) 翟世俊 主題分享

本次論壇同時(shí)也邀請(qǐng)到了證通電子公司董事、安全支付事業(yè)部總經(jīng)理、OpenHarmony研究院院長(zhǎng)程勝春先生,程總表示:拿通用的整套操作系統(tǒng),而且是國(guó)產(chǎn)自主的基于OpenHarmony的操作系統(tǒng)進(jìn)行這么高級(jí)別的安全認(rèn)證我們是第一次,這次LightBeeOS通過(guò)EAL4+認(rèn)證,我們感到非常開心也深受鼓舞,非常感謝在整個(gè)認(rèn)證過(guò)程當(dāng)中,各位專家老師們給予證通電子的寶貴意見與幫助。證通電子LightBeeOS通過(guò)Eal4+認(rèn)證,首先證明我們OpenHarmony數(shù)字底座本身的具有基礎(chǔ)的安全能力;其次,融合證通在金融安全上的安全組件等安全技術(shù)優(yōu)勢(shì),整體上讓這樣的一個(gè)發(fā)行版操作系統(tǒng)信息安全保障能力達(dá)到了較高水平。

證通電子董事、安全支付事業(yè)部總經(jīng)理程勝春先生和付天福、翟世俊博士合影

在《操作系統(tǒng)視角看大模型安全挑戰(zhàn)》的主題演講中,華為OS內(nèi)核安全專家、形式化驗(yàn)證助理科學(xué)家李屹指出,操作系統(tǒng)是軟件棧的底座,操作系統(tǒng)的安全性在各種場(chǎng)景都具有舉足輕重的意義。隨著大模型等AI應(yīng)用的廣泛興起,數(shù)據(jù)安全正在面臨前所未有的挑戰(zhàn)。所以,他認(rèn)為行業(yè)有必要站在操作系統(tǒng)的視角,來(lái)觀察我們將如何應(yīng)對(duì)這些挑戰(zhàn)。李博提出了以隔離、跟蹤、協(xié)同一體化的思路,希望以操作系統(tǒng)為底座,以數(shù)據(jù)安全為第一原則,逐步構(gòu)建可信的原生智能,為大模型時(shí)代構(gòu)建堅(jiān)實(shí)的數(shù)據(jù)和系統(tǒng)安全底座。

華為OS內(nèi)核安全專家、形式化驗(yàn)證助理科學(xué)家李屹主題分享

北京中科微瀾科技有限公司CEO楊牧天談到了建設(shè)安全可靠的OpenHarmony生態(tài)軟件倉(cāng)庫(kù)的重要性。他認(rèn)為,盡管OpenHarmony生態(tài)的軟件數(shù)量眾多,但如何確保它們的安全性仍然是一個(gè)關(guān)鍵問(wèn)題。因此,他介紹了OHPM在OpenHarmony生態(tài)中三方軟件管理方面的完善安全運(yùn)營(yíng)機(jī)制,旨在預(yù)防和處理開源三方庫(kù)常見的風(fēng)險(xiǎn),保障OpenHarmony生態(tài)的安全可靠發(fā)展。

北京中科微瀾科技有限公司CEO楊牧天主題分享

北京郵電大學(xué)副教授、博士生導(dǎo)師梁洪亮在《軟件缺陷漏洞分析》的主題演講中分享了他的深刻見解。他認(rèn)為,軟件缺陷或漏洞廣泛存在,攻擊者可以利用它們竊取信息或控制系統(tǒng)。因此,在部署之前,檢測(cè)和分析軟件中的缺陷或漏洞至關(guān)重要。鑒于傳統(tǒng)測(cè)試方法效率的局限,梁老師提出了一種序列引導(dǎo)的多目標(biāo)混合模糊測(cè)試的方案LeoFuzz,通過(guò)創(chuàng)新的技術(shù)手段,大大提升了軟件系統(tǒng)的缺陷的發(fā)現(xiàn)效率和準(zhǔn)確率。為開源社區(qū)軟件安全分析提供了一種高效的解決思路,為安全的OpenHarmony生態(tài)安全助力。

北京郵電大學(xué)副教授、博士生導(dǎo)師梁洪亮主題分享

中國(guó)科學(xué)院軟件研究所特別研究助理凌祥在主題演講中強(qiáng)調(diào)了正確使用OpenHarmony等開源操作系統(tǒng)的API對(duì)系統(tǒng)穩(wěn)定性和安全性的重要性。由于API更新頻繁且使用復(fù)雜,開發(fā)者容易發(fā)生誤用,導(dǎo)致系統(tǒng)安全漏洞。因此,他介紹了一種基于自動(dòng)挖掘API路徑模式的API誤用缺陷檢測(cè)方法APP-Miner,此方法在針對(duì)開源操作系統(tǒng)和大型軟件系統(tǒng)的缺陷檢測(cè)中發(fā)揮了顯著效果,發(fā)現(xiàn)了隱藏很深的多個(gè)Linux內(nèi)核API誤用缺陷。希望類似的創(chuàng)新方案能為社區(qū)安全治理助力,共同推動(dòng)開源軟件社區(qū)安全發(fā)展。

中國(guó)科學(xué)院軟件研究所特別研究助理凌祥主題分享

隨著萬(wàn)物智聯(lián)時(shí)代的到來(lái),設(shè)備聯(lián)網(wǎng)數(shù)量不斷增加,技術(shù)發(fā)展帶來(lái)的大模型的機(jī)遇,隨之而來(lái)的安全和隱私問(wèn)題也日益突出。大量的數(shù)據(jù)將被傳輸和存儲(chǔ),包括敏感數(shù)據(jù)如醫(yī)療記錄、銀行信息和公司機(jī)密。這些數(shù)據(jù)的泄露可能會(huì)導(dǎo)致巨大的經(jīng)濟(jì)損失和信任危機(jī)。因此,OpenHarmony將充分發(fā)揮其操作系統(tǒng)的安全優(yōu)勢(shì),從數(shù)據(jù)安全、系統(tǒng)安全、AI安全、軟件安全分析等各個(gè)維度,打造堅(jiān)固的“堡壘”,構(gòu)建分布式全場(chǎng)景協(xié)同的開源操作系統(tǒng)底座與生態(tài)系統(tǒng),以保障萬(wàn)物智聯(lián)產(chǎn)業(yè)的繁榮發(fā)展。