本文關鍵詞：基于可驗證計算的可信云計算研究

  更多相關文章： 云計算 可驗證計算 云安全 交互式證明系統(tǒng) 論證系統(tǒng)

【摘要】：云計算的可信性直接決定了其能否被廣泛使用和推廣.如果能使得云計算用戶驗證存儲在云平臺的數(shù)據(jù)的完整性或者在云平臺執(zhí)行的程序的正確性,將會大大加快云計算的應用.而可驗證計算協(xié)議可檢測出遠程服務器返回的程序執(zhí)行結(jié)果是否正確,且不需要將遠程服務器所執(zhí)行的程序再重新執(zhí)行一遍.因此,近年來,可驗證計算協(xié)議引起了學術(shù)界和工業(yè)界的廣泛關注,成為實現(xiàn)可信云計算的一種建設性思路.文中在系統(tǒng)梳理和總結(jié)可驗證計算協(xié)議國內(nèi)外相關研究的基礎上,依據(jù)可驗證計算協(xié)議的實施流程對其按照編譯處理和證明系統(tǒng)分類.其中,依據(jù)可驗證計算協(xié)議使用的編譯器的復雜程度,分為使用簡單編譯器的可驗證計算協(xié)議和使用復雜編譯器的可驗證計算協(xié)議;依據(jù)證明系統(tǒng)的分類,主要研究基于交互式證明系統(tǒng)的可驗證計算協(xié)議和基于論證系統(tǒng)的有預處理的可驗證計算協(xié)議.隨后對依據(jù)證明系統(tǒng)劃分的每一分類,圍繞基本定義、典型協(xié)議原理及流程、適用應用場景、性能分析等問題,對基于可驗證計算的可信云計算進行了綜述.最后,總結(jié)和展望了待解決的關鍵性問題和未來的研究方向.上述工作將對可驗證計算協(xié)議在云計算中的應用起到一定推動作用.
【作者單位】： 北京郵電大學計算機學院;北京郵電大學可信分布式計算與服務教育部重點實驗室;北京郵電大學軟件學院;
【關鍵詞】： 云計算 可驗證計算 云安全 交互式證明系統(tǒng) 論證系統(tǒng)
【基金】：國家自然科學基金(61202081)資助~~
【分類號】：TP309
【正文快照】： 1引言云計算[1]作為一種新興的網(wǎng)絡計算商業(yè)服務模式,使得用戶可以隨時在遠端的云服務器存儲數(shù)據(jù)和運行程序.但這種新興的計算模式在給用戶帶來諸多便利性的同時,也帶來了一些新的安全挑戰(zhàn).用戶可能擔心云計算平臺本身的安全性,比如云平臺漏洞和錯誤配置、管理員的惡意行為等

【相似文獻】

中國碩士學位論文全文數(shù)據(jù)庫 前1條

1 張源;可驗證計算協(xié)議的改進與應用研究[D];北京郵電大學;2015年

，

本文編號：538264