隨著大數(shù)據(jù)時代的來臨以及云計算技術(shù)的飛速發(fā)展,外包計算已經(jīng)成為越來越多的組織和個人選擇計算任務(wù)的方式。外包計算是指計算資源有限的用戶將復(fù)雜的計算任務(wù)外包給云服務(wù)器,以達到節(jié)省本地資源開銷的目的。然而外包計算服務(wù)在帶來方便的同時,也產(chǎn)生了一些亟待解決的安全問題。云服務(wù)器的計算過程是不公開的,可能存在欺騙用戶的行為,其返回的計算結(jié)果可能并非用戶所需求的數(shù)據(jù)�？沈炞C外包計算就是解決以上問題的重要手段,用戶如何以最小的代價進行快速、正確的驗證成為了現(xiàn)階段的研究熱點與難點�，F(xiàn)在的可驗證外包計算方案主要存在以下2個問題:(1)單服務(wù)器場景下,用戶需要用繁重的密碼協(xié)議對云服務(wù)器返回的計算結(jié)果進行驗證,無疑增加了用戶的工作量,而用戶進行外包計算的初衷就是減少本地的資源開銷,這樣有悖于用戶的初衷。(2)多服務(wù)器場景下,往往采用冗余計算模式,即將相同的計算任務(wù)外包給多個云服務(wù)器,檢查它們返回的結(jié)果是否相同。然而多個云服務(wù)器之間可能會合謀,向用戶返回錯誤的計算結(jié)果。針對以上問題,本文工作如下:(1)提出了基于矩陣盲化技術(shù)的線性方程組求解可驗證外包計算方案。該方案基于矩陣盲化技術(shù),采用數(shù)據(jù)分布思想,通過雙服務(wù)...

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

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

【文章目錄】：
摘要
abstract
第1章 緒論
    1.1 研究背景及意義
    1.2 國內(nèi)外研究現(xiàn)狀
        1.2.1 一般性可驗證外包計算研究現(xiàn)狀
        1.2.2 特定函數(shù)外包計算研究現(xiàn)狀
        1.2.3 存在問題分析
    1.3 論文研究內(nèi)容
    1.4 論文組織結(jié)構(gòu)
第2章 預(yù)備知識
    2.1 密碼技術(shù)
        2.1.1 哈希函數(shù)
        2.1.2 承諾
        2.1.3 零知識證明
    2.2 博弈論
        2.2.1 博弈與策略
        2.2.2 序貫均衡
    2.3 區(qū)塊鏈智能合約
    2.4 本章小結(jié)
第3章 基于矩陣盲化技術(shù)的SLE可驗證外包計算方案
    3.1 線性方程組求解外包方案
        3.1.1 背景知識
        3.1.2 方案設(shè)計
    3.2 方案分析
        3.2.1 正確性分析
        3.2.2 安全性分析
        3.2.3 高效性分析
    3.3 方案比較
    3.4 本章小結(jié)
第4章 基于智能合約的抗合謀可驗證外包計算
    4.1 方案總覽與假設(shè)約定
        4.1.1 方案總覽
        4.1.2 假設(shè)
        4.1.3 符號約定
    4.2 智能合約設(shè)計
        4.2.1 外包合約設(shè)計
        4.2.2 合謀合約設(shè)計
        4.2.3 欺騙合約設(shè)計
        4.2.4 反合謀合約設(shè)計
        4.2.5 總體博弈
    4.3 基于智能合約的抗合謀可驗證外包計算方案設(shè)計
        4.3.1 外包計算協(xié)議
        4.3.2 合謀協(xié)議
        4.3.3 欺騙協(xié)議
        4.3.4 反合謀協(xié)議
    4.4 本章小結(jié)
結(jié)論
參考文獻
攻讀碩士學(xué)位期間發(fā)表的論文和取得的科研成果
致謝



本文編號：3812100