報(bào)告時(shí)間：2018年8月16日8:30-10:00

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

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

報(bào)告人：董長(zhǎng)宇

報(bào)告人簡(jiǎn)介：

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

報(bào)告內(nèi)容：

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

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