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

報告地點：文津樓三段628報告廳

主辦單位：計算機科學學院網(wǎng)絡(luò)信息安全團隊

報告人：董長宇

報告人簡介：

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

報告內(nèi)容：

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

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