基于可撤銷KPABE的公共可驗證計算研究與實現(xiàn).pdf_第1頁
已閱讀1頁,還剩81頁未讀, 繼續(xù)免費閱讀

下載本文檔

版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請進行舉報或認領(lǐng)

文檔簡介

1、智能手機、平板電腦等小型便捷的移動設(shè)備為人們的生活提供了許多便利,但是卻很難快速、高效的解決一些復(fù)雜的計算任務(wù)。此時,外包計算為人們提供了更多選擇,然而,僅僅得到結(jié)果不能滿足人們的需求,人們還需要驗證計算結(jié)果的正確性,可驗證計算服務(wù)將在一定程度解決這類問題,其中,公共可驗證計算具有更好的普遍適用性,成為人們的更佳選擇。但是目前針對公共可驗證計算的研究,大多只關(guān)注計算結(jié)果的可驗證性,而對于外包計算服務(wù)出錯的服務(wù)器沒有任何應(yīng)對機制。計算錯誤

2、的服務(wù)器能夠繼續(xù)為其他客戶提供無效的外包計算,大大降低了資源的利用率。因此,本文研究在實際應(yīng)用環(huán)境中需要的具有撤銷能力的公共可驗證計算機制,保證客戶能夠及時有效的得到正確的計算結(jié)果,同時支持對計算錯誤的服務(wù)器進行撤銷。
  針對目前大多數(shù)可驗證計算方案都不支持可撤銷服務(wù)的問題,本文利用密鑰策略屬性加密(Key Policy Attribute Based Encryption,KPABE)能夠從某種角度上證明布爾函數(shù)求值為真,并且

3、可撤銷KPABE能夠提供一種撤銷實體的方式的性質(zhì),將可撤銷KPABE應(yīng)用到公共可驗證計算中,提出了一個可撤銷的公共可驗證計算模型。首先對系統(tǒng)模型進行形式化定義,給出模型的八個基本算法,然后針對不同的安全需求,設(shè)計了四個安全實驗,并對安全性進行定義。借助雙線性配對、數(shù)字簽名、訪問結(jié)構(gòu)、秘密共享等技術(shù),提出了一個可撤銷的公共可驗證計算方案,并對方案進行安全性證明。安全性分析表明,該方案滿足公共可驗證性、可撤銷性、盲驗證性和身份不可偽造性。<

4、br>  最后,設(shè)計并實現(xiàn)了一個基于可撤銷KPABE的公共可驗證計算原型系統(tǒng)。針對系統(tǒng)中的密鑰分發(fā)中心、客戶和服務(wù)器等三方實體,分別進行功能設(shè)計和類的設(shè)計。然后對原型系統(tǒng)的功能進行實現(xiàn),包括初始化、服務(wù)器注冊、服務(wù)器認證、外包計算、驗證結(jié)果、撤銷服務(wù)器等功能。不僅具有通常意義下的公共可驗證計算的功能,還能夠?qū)τ嬎沐e誤的服務(wù)器進行撤銷,使其不再具有參與后續(xù)計算的能力。并對原型系統(tǒng)進行了功能和性能測試,測試結(jié)果表明系統(tǒng)能夠正確完成各項功能,

溫馨提示

  • 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
  • 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
  • 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內(nèi)容里面會有圖紙預(yù)覽,若沒有圖紙預(yù)覽就沒有圖紙。
  • 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
  • 5. 眾賞文庫僅提供信息存儲空間,僅對用戶上傳內(nèi)容的表現(xiàn)方式做保護處理,對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對任何下載內(nèi)容負責(zé)。
  • 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請與我們聯(lián)系,我們立即糾正。
  • 7. 本站不保證下載資源的準確性、安全性和完整性, 同時也不承擔(dān)用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。

評論

0/150

提交評論