報告時間：2018年8月16日8:30-10:00

報告地點(diǎn)：文津樓三段628報告廳

主辦單位：計(jì)算機(jī)科學(xué)學(xué)院網(wǎng)絡(luò)信息安全團(tuán)隊(duì)

報告人：董長宇

報告人簡介：

董長宇是英國Newcastle大學(xué)的高級講師。他于2009獲得倫敦帝國理工大學(xué)博士學(xué)位。他的研究領(lǐng)域?yàn)榫W(wǎng)絡(luò)空間安全，尤其是應(yīng)用密碼學(xué)。2006年以來，他已經(jīng)在重要的國際期刊與很高聲譽(yù)的國際會議如ACM CCS, ESORICS，Journal of Computer Security, IEEE Transactions on Dependable and Secure Computing and IEEE Transactions on Information Forensics and Security等發(fā)表學(xué)術(shù)論文30多篇。還擔(dān)任幾個國際會議和論壇的主持和Journal of Computer Security, IEEE Transactions on Dependable and Secure Computing and IEEE Transactions on Information Forensics and Security期刊的評閱人. 2011年以來, 開始研究有效的安全計(jì)算。他的研究已經(jīng)在保密計(jì)算集合的交集和保密信息檢索方面已經(jīng)獲得一些突破，并把這些研究運(yùn)用到保密數(shù)據(jù)挖掘領(lǐng)域。

報告內(nèi)容：

云計(jì)算已成為一個不可逆的潮流。云計(jì)算迫切需要可驗(yàn)證性：云服務(wù)提供商不同于用戶，他們的利益可能指向不同，用戶不可能完全信任云。出于各種原因，客戶往往有驗(yàn)證計(jì)算結(jié)果正確性的需求。可是現(xiàn)有技術(shù)開銷巨大，這就意味著如果客戶使用這些技術(shù)，云計(jì)算將變得比使用自有數(shù)據(jù)中心更昂貴，這就背離了多數(shù)客戶為削減成本而使用云計(jì)算的初衷。

在本報告中，我將介紹如何通過博弈論以及智能合約（一種基于區(qū)塊鏈的新技術(shù)）來在合理的成本的前提下實(shí)現(xiàn)可驗(yàn)證云計(jì)算。簡而言之，客戶使用兩個云來計(jì)算相同的任務(wù)，并用智能合約來實(shí)現(xiàn)經(jīng)濟(jì)激勵機(jī)制，在兩個云之間產(chǎn)生利益矛盾以及不信任感，結(jié)果就是在理性選擇下兩個云不會共謀來欺騙客戶。沒有了共謀，計(jì)算的正確性可以通過簡單的檢驗(yàn)結(jié)果是否一致來驗(yàn)證。我們對合約產(chǎn)生的博弈進(jìn)行了形式化的分析，并證明在合理的假設(shè)下這些合約的有效性。通過博弈論和智能合約，我們可以避免使用昂貴的密碼協(xié)議?？蛻糁恍枰秲蓚€云明文計(jì)算的費(fèi)用以及使用智能合約帶來的少量交易費(fèi)。我們還進(jìn)行了一些可行性研究，包括在以太坊平臺上實(shí)現(xiàn)以及運(yùn)行了我們的智能合約。