隨著云計算的發(fā)展,外包計算得到了廣泛應(yīng)用。外包計算使計算資源有限的客戶端能夠?qū)⒎敝貜?fù)雜的計算任務(wù)外包給具有強(qiáng)大計算能力的云服務(wù)器。外包計算在飛速發(fā)展的同時也面臨著挑戰(zhàn):（1）數(shù)據(jù)的隱私性:客戶端外包給云服務(wù)器的數(shù)據(jù)是敏感的,比如商業(yè)機(jī)密、醫(yī)療數(shù)據(jù)等等,云服務(wù)器可能會泄露這些隱私數(shù)據(jù);（2）計算結(jié)果的可驗(yàn)證性:云服務(wù)都是由第三方企業(yè)提供的,云服務(wù)器可能會為了節(jié)省計算開銷而隨機(jī)返回一個結(jié)果給客戶端,客戶端需要對云服務(wù)器返回的結(jié)果進(jìn)行驗(yàn)證;（3）高效性:當(dāng)客戶端選擇將計算任務(wù)外包時,希望外包能夠幫助降低計算開銷,因此要求外包后的計算開銷低于原來的開銷。矩陣運(yùn)算的外包屬于外包計算的研究熱點(diǎn),本文圍繞矩陣運(yùn)算外包計算方案,主要進(jìn)行了如下研究:1.本文構(gòu)造了一個可驗(yàn)證的、安全的、高效的大型矩陣乘法外包計算方案（VEPP）。方案中利用大素數(shù)、隨機(jī)數(shù)對矩陣的元素進(jìn)行盲化,云服務(wù)器對加密矩陣執(zhí)行乘法運(yùn)算,客戶端巧妙地利用中國剩余定理的性質(zhì),只需要一次解密就可以得到矩陣的元素,效率比較高;我們通過形式化的安全性證明有效說明了方案的高安全性:輸入隱私是信息論安全的,輸出隱私在隨機(jī)預(yù)言機(jī)模型下能夠抵抗適應(yīng)性選... 

【文章頁數(shù)】：87 頁

【學(xué)位級別】：碩士

【文章目錄】：
摘要
ABSTRACT
第一章 緒論
    1.1 研究背景和意義
    1.2 國內(nèi)外研究現(xiàn)狀
    1.3 總體結(jié)構(gòu)安排
    1.4 本章小結(jié)
第二章 預(yù)備知識
    2.1 安全外包計算基礎(chǔ)
        2.1.1 安全外包計算概述
        2.1.2 安全威脅模型
    2.2 數(shù)學(xué)基礎(chǔ)
        2.2.1 中國剩余定理
        2.2.2 大整數(shù)分解
        2.2.3 矩陣相關(guān)性質(zhì)
        2.2.4 符號說明
    2.3 密碼學(xué)基礎(chǔ)
        2.3.1 哈希函數(shù)
        2.3.2 單向陷門函數(shù)
        2.3.3 隨機(jī)預(yù)言機(jī)模型和標(biāo)準(zhǔn)模型
        2.3.4 適應(yīng)性選擇密文攻擊
    2.4 本章小結(jié)
第三章 矩陣乘法外包計算方案
    3.1 設(shè)計目標(biāo)
    3.2 設(shè)計思想
    3.3 VEPP矩陣乘法外包計算方案相關(guān)定義
        3.3.1 VEPP系統(tǒng)模型
        3.3.2 形式化定義
        3.3.3 安全模型定義
    3.4 VEPP方案構(gòu)造
    3.5 安全性證明
    3.6 效率分析
        3.6.1 理論分析
        3.6.2 實(shí)驗(yàn)分析
    3.7 本章小結(jié)
第四章 矩陣求逆外包計算方案
    4.1 設(shè)計目標(biāo)
    4.2 設(shè)計思想
    4.3 MIOC矩陣求逆外包計算方案相關(guān)定義
        4.3.1 MIOC系統(tǒng)模型
        4.3.2 形式化定義
        4.3.3 安全模型定義
    4.4 MIOC方案構(gòu)造
    4.5 安全性證明
    4.6 效率分析
        4.6.1 理論分析
        4.6.2 實(shí)驗(yàn)分析
    4.7 本章小結(jié)
第五章 矩陣運(yùn)算應(yīng)用
    5.1 大型線性方程組求解
        5.1.1 方案預(yù)備知識
        5.1.2 LSEOC系統(tǒng)模型
        5.1.3 形式化定義
        5.1.4 LSEOC方案簡要描述
        5.1.5 方案分析
    5.2 本章小結(jié)
第六章 總結(jié)與展望
    6.1 總結(jié)
    6.2 展望
參考文獻(xiàn)
致謝
攻讀碩士學(xué)位期間發(fā)表論文和科研情況


【參考文獻(xiàn)】：
期刊論文
[1]可驗(yàn)證安全外包矩陣計算及其應(yīng)用[J]. 胡杏,裴定一,唐春明,Duncan S.WONG.  中國科學(xué):信息科學(xué). 2013(07)
[2]基于可驗(yàn)全同態(tài)加密的委托計算方案[J]. 靳方元,朱艷琴,羅喜召.  計算機(jī)工程. 2012(23)
[3]云計算安全研究[J]. 馮登國,張敏,張妍,徐震.  軟件學(xué)報. 2011(01)
[4]云計算:從概念到平臺[J]. 吳吉義,平玲娣,潘雪增,李卓.  電信科學(xué). 2009(12)



本文編號：3707567