?7月21日,，新加坡管理大學(xué)知名信息安全教授Robert Deng到訪北京大學(xué),。Trias創(chuàng)始人阮安邦受邀同北京大學(xué)沈晴霓教授在網(wǎng)絡(luò)空間安全實(shí)驗(yàn)室接待并做了學(xué)術(shù)交流,，參與活動的還有方躍堅(jiān)副教授以及北大網(wǎng)絡(luò)空間安全系眾多博士生,。在場專家學(xué)者一起深入分享了信息安全領(lǐng)域的最新科研成果,，并就可信計(jì)算,、系統(tǒng)軟件安全、區(qū)塊鏈技術(shù)等問題進(jìn)行深入交流,。?
??????
????會上,，來自新加坡管理大學(xué)的Robert Deng 教授介紹了SMU在基于TEE的可信安卓操作系統(tǒng),、屬性加密（ABE）、同態(tài)加密,、隱私計(jì)算、安全多方計(jì)算方面所取得的豐碩的成果,。Robert Deng 教授多年深耕于應(yīng)用密碼學(xué),、數(shù)據(jù)安全和隱私、多媒體安全等領(lǐng)域,，擔(dān)任新加坡管理大學(xué)安全移動中心主任,、研究生院院長等職位。?

????沈晴霓教授介紹了北大大數(shù)據(jù)安全實(shí)驗(yàn)室在系統(tǒng)軟件安全脆弱性分析,、基于TPM/SGX的云計(jì)算環(huán)境,、基于AI技術(shù)的安全策略管理、基于區(qū)塊鏈的可信審計(jì)與溯源,、屬性加密（ABE）以及大數(shù)據(jù)隱私保護(hù)等方面取得的豐碩科研成果,。北大大數(shù)據(jù)安全實(shí)驗(yàn)室成立于2014年，是北京大學(xué)從國家戰(zhàn)略需要出發(fā),、主動應(yīng)對大數(shù)據(jù)時(shí)代的重要部署,。目前實(shí)驗(yàn)室有三個(gè)重點(diǎn)研究方向，分別是：策略挖掘與人工智能,、加密共享與隱私保護(hù),、隔離計(jì)算與可信溯源。?

????阮安邦博士從Trias公鏈項(xiàng)目角度,，介紹了可信共識的前沿技術(shù)與理念,。他提到，信任是安全的基石,。隨著互聯(lián)網(wǎng)的普及,，人類的生活依賴于各種機(jī)器，但是應(yīng)用程序在處理用戶數(shù)據(jù)時(shí)并不受控制,。想要解決人類相信機(jī)器的問題,，核心就在于保證其在正確的硬件環(huán)境下執(zhí)行了正確的程序。?

????為了實(shí)現(xiàn)通用平臺的可信軟件生態(tài),，Trias將構(gòu)建一套去中心化的可信計(jì)算通用平臺,，以實(shí)現(xiàn)可信賴的軟件執(zhí)行環(huán)境，確保正確的軟件在正確的輸入下都能產(chǎn)生預(yù)期的輸出,；及一套去中心化的可審計(jì)溯源的可信軟件開發(fā)運(yùn)維體系,，保障軟件自身的行為可驗(yàn)證、溯源,。從而最終保障正確的通用平臺硬件環(huán)境執(zhí)行了正確的原生應(yīng)用程序,，實(shí)現(xiàn)近區(qū)塊鏈2.0智能合約的安全強(qiáng)度。進(jìn)一步地，利用通證經(jīng)濟(jì)模型,，Trias驅(qū)動算力與軟件生態(tài)健康,、有序、安全地運(yùn)轉(zhuǎn),，實(shí)現(xiàn)了對可信軟件在可信執(zhí)行環(huán)境上的有序調(diào)度,，最終實(shí)現(xiàn)全平臺可信可靠的統(tǒng)一編程。?
??????
????阮安邦還分享了Trias公鏈的應(yīng)用場景,，比如：可以用在智能制造與物流供應(yīng)鏈上,，實(shí)現(xiàn)從原料到商品的全生命周期自動化安全評估與存證；此外,，金融大數(shù)據(jù)平臺可以通過上鏈實(shí)現(xiàn)銀行數(shù)據(jù)不外流,、本地執(zhí)行他行合約程序、運(yùn)行結(jié)果在鏈上共享等場景,。?