EMCA：一種新的多云存儲(chǔ)中高效的多副本審計(jì)方案

胡雨晴,金 瑜

(1.武漢科技大學(xué) 計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院,湖北 武漢 430065;2.湖北省智能信息處理與實(shí)時(shí)工業(yè)重點(diǎn)實(shí)驗(yàn)室,湖北 武漢 430065)

0 引 言

近年來(lái),云存儲(chǔ)[1]得到了廣泛應(yīng)用,它允許用戶將其海量本地?cái)?shù)據(jù),以低廉的價(jià)格外包給遠(yuǎn)程存儲(chǔ)服務(wù)器。然而,云存儲(chǔ)也存在缺點(diǎn)：一旦用戶將其數(shù)據(jù)外包給不可靠的遠(yuǎn)程存儲(chǔ)服務(wù)器,且沒有完整的本地備份,用戶的數(shù)據(jù)就會(huì)面臨許多安全威脅,例如,遠(yuǎn)程存儲(chǔ)服務(wù)器會(huì)因?yàn)樽匀换蛉藶槭鹿?、黑客攻擊丟失數(shù)據(jù),甚至?xí)榱藴p少維護(hù)費(fèi)用,故意刪除用戶很少使用的數(shù)據(jù)等等。學(xué)術(shù)界和工業(yè)界已經(jīng)為解決這個(gè)問(wèn)題付出了大量努力。云數(shù)據(jù)審計(jì)也稱為可證明數(shù)據(jù)占有(Provable Data Possession,PDP)[2],是數(shù)據(jù)所有者在不下載數(shù)據(jù)的情況下檢查數(shù)據(jù)是否在遠(yuǎn)程云服務(wù)器上正確存儲(chǔ)的一項(xiàng)重要技術(shù)[3]。

盡管PDP可以幫助數(shù)據(jù)所有者檢查數(shù)據(jù)完整性,但是一旦數(shù)據(jù)被破壞,數(shù)據(jù)所有者也會(huì)永遠(yuǎn)丟失數(shù)據(jù)。為了提高數(shù)據(jù)的持久性和可用性,數(shù)據(jù)所有者可以生成多個(gè)副本,如果一個(gè)副本被篡改,數(shù)據(jù)所有者可以利用其他副本恢復(fù)數(shù)據(jù)。然而,大多數(shù)現(xiàn)有方案只考慮檢查單個(gè)數(shù)據(jù)的完整性[4-5],對(duì)于多個(gè)副本,必須運(yùn)行N次以檢查N個(gè)副本的完整性,這種方案的效率很低。為了克服這個(gè)問(wèn)題,已有學(xué)者提出了一些用于多副本的PDP方案[6-7],而上述方案都只考慮了一個(gè)簡(jiǎn)單的情況,即所有副本都存儲(chǔ)在一個(gè)云存儲(chǔ)服務(wù)器上,一旦服務(wù)器出現(xiàn)故障,用戶仍然面臨數(shù)據(jù)丟失的風(fēng)險(xiǎn)。且傳統(tǒng)的僅限于單一提供商數(shù)據(jù)中心的云基礎(chǔ)設(shè)施正在不斷發(fā)展,多云是下一代云系統(tǒng)的趨勢(shì)[8]。因此,設(shè)計(jì)一種高效的多副本、多云存儲(chǔ)服務(wù)器PDP方案是很有意義的。

根據(jù)上述多副本方案存在的問(wèn)題,該文提出了EMCA(Efficient Multi-replica and multi-Cloud Audit),一種新的高效的多副本、多云數(shù)據(jù)審計(jì)方案。EMCA具有以下特性：(1)為多云存儲(chǔ)服務(wù)提出了一個(gè)安全的數(shù)據(jù)審計(jì)方案,使用第三方審計(jì)者(Third Party Auditor,TPA)協(xié)助審計(jì),實(shí)現(xiàn)了多云情景下的數(shù)據(jù)完整性驗(yàn)證。(2)能夠一次驗(yàn)證不同云服務(wù)器上的所有抽樣副本,采用模冪加密技術(shù)[9]計(jì)算審計(jì)結(jié)果,實(shí)現(xiàn)了高效的多副本批量數(shù)據(jù)審計(jì)。

1 相關(guān)工作

1.1 單副本數(shù)據(jù)審計(jì)

Ateniese等人[2]首次提出了PDP的概念,該方案利用基于RSA(Rivest-Shamir-Adleman)的同態(tài)驗(yàn)證標(biāo)簽(Homomorphic Verifiable Tag,HVT),將生成的標(biāo)簽聚合為單個(gè)值,大大減少了審計(jì)過(guò)程中的存儲(chǔ)和通信開銷。然而,該方案僅適用于驗(yàn)證靜態(tài)文件。Erway等人[10]擴(kuò)展了PDP模型,并首次提出了一種完全動(dòng)態(tài)的PDP解決方案,稱為DPDP,然而,該方案的執(zhí)行效率仍然存在疑問(wèn)。Wang等人[11]設(shè)計(jì)了另一種動(dòng)態(tài)PDP方法,使用Merkle哈希樹(Merkle Hash Tree,MHT)支持?jǐn)?shù)據(jù)更新。此外,Zhu等人[12]使用索引哈希表(Index Hash Table,IHT)實(shí)現(xiàn)了全數(shù)據(jù)動(dòng)態(tài)的公共審計(jì),大大降低了計(jì)算和通信成本。

為了有效支持用戶撤銷,Wang等人[13]提出了Panda,通過(guò)使用代理重簽名技術(shù),半可信云服務(wù)提供商可以將被撤銷用戶生成的簽名轉(zhuǎn)移到目標(biāo)用戶私鑰下。為了實(shí)現(xiàn)用戶身份的隱私性,Wang等人[14]提出了第一個(gè)針對(duì)共享數(shù)據(jù)的隱私保護(hù)公共審計(jì)方案,稱為Oruta。此方案將環(huán)簽名和HVT相結(jié)合,對(duì)被質(zhì)詢塊的簽名進(jìn)行聚合,實(shí)現(xiàn)了簽名者身份保密的目的。此外,Shen等人[15]提出了一種基于身份加密的數(shù)據(jù)共享方案,簡(jiǎn)化了復(fù)雜的證書管理。

1.2 多副本數(shù)據(jù)審計(jì)

Curtmola等人[16]提出了一種基于RSA簽名的多副本審計(jì)方案,這是首次嘗試創(chuàng)建多個(gè)副本并對(duì)其進(jìn)行檢查的方案。通過(guò)先加密然后隨機(jī)化來(lái)生成文件的多個(gè)副本,已實(shí)現(xiàn)副本的可區(qū)分性以及數(shù)據(jù)隱私。針對(duì)證書管理開銷,Zhou等人[17]提出了一個(gè)無(wú)證書的多副本動(dòng)態(tài)完整性審計(jì)方案,通過(guò)改進(jìn)經(jīng)典MHT實(shí)現(xiàn)副本的批量更新,同時(shí)提供可變副本數(shù)存儲(chǔ)。然而,該方案并不支持多云環(huán)境。為了解決這個(gè)問(wèn)題,不少學(xué)者提出了多云多副本的審計(jì)方案[18-19]。Yang等人[20]提出使用區(qū)塊鏈中隨機(jī)數(shù)的不可預(yù)測(cè)性來(lái)抵制惡意審計(jì)員,使用動(dòng)態(tài)哈希表實(shí)現(xiàn)多云多副本的審計(jì)方案。然而,上述方案[18-20]均采用計(jì)算復(fù)雜的雙線性配對(duì)完成完整性驗(yàn)證,導(dǎo)致計(jì)算成本較高。

基于此,設(shè)計(jì)一種在多云環(huán)境中高效的多副本數(shù)據(jù)審計(jì)方案是很有意義的。該文通過(guò)使用模冪加密技術(shù)來(lái)實(shí)現(xiàn)審計(jì),其中最復(fù)雜的運(yùn)算是模冪運(yùn)算,這只會(huì)消耗很少的計(jì)算成本,同時(shí),可一次驗(yàn)證不同云服務(wù)器上的所有副本,實(shí)現(xiàn)高效的多云多副本審計(jì)。

2 具體方案

2.1 預(yù)備知識(shí)

2.1.1 同態(tài)驗(yàn)證標(biāo)簽

數(shù)據(jù)塊的同態(tài)可驗(yàn)證標(biāo)簽是一種不可偽造的驗(yàn)證元數(shù)據(jù),它具有同態(tài)的特征,這是由Ateniese等人首次引入的。HVT的特性如下：

(1)無(wú)塊驗(yàn)證。通過(guò)使用HVT,用戶可以在不訪問(wèn)數(shù)據(jù)塊的情況下驗(yàn)證CSP生成的完整性證明。

(2)同態(tài)標(biāo)簽。對(duì)于任意兩個(gè)數(shù)據(jù)塊bi和bj以及相應(yīng)的同態(tài)驗(yàn)證標(biāo)簽Tag(bi)和Tag(bj),(bi+bj)的HVT可以通過(guò)Tag(bi)和Tag(bj)生成。

該文使用以下基于RSA的安全哈希函數(shù)來(lái)構(gòu)造HVT。N=pq是一個(gè)公共RSA模,其中p=2p'+1和q=2q'+1是兩個(gè)足夠大的秘密素?cái)?shù)。讓QRN為模N的二次剩余集,g為QRN的生成元。因此,數(shù)據(jù)塊bi的基于RSA的HVT可以定義為：

Tag(bi)=gbimodN

(1)

HVT的同態(tài)特性由以下等式給出：

Tag(bi+bj)=gbi+bjmodN=
(gbimodN)*(gbjmodN)=
Tag(bi)*Tag(bj)

(2)

另外,如果r和bi是兩個(gè)足夠大的整數(shù),可以構(gòu)造以下等式,該等式將用于后續(xù)的完整性驗(yàn)證：

Tag(bi)s=(gbi)smodN=gsbimodN=
(gs)bimodN

(3)

2.1.2 副本記錄表

如表1所示,副本記錄表[20]記錄了文件副本與物理存儲(chǔ)位置的映射關(guān)系。表項(xiàng)為文件號(hào)、副本號(hào)和CSPID,根據(jù)文件號(hào)和副本號(hào)可鎖定唯一副本,根據(jù)CSPID可確定該副本的存儲(chǔ)位置。其中,xi表示存儲(chǔ)ID(F)第i個(gè)副本的CSP的ID。

表1 副本記錄表

2.2 系統(tǒng)模型

多云多副本的審計(jì)系統(tǒng)模型如圖1所示,系統(tǒng)中包含四個(gè)實(shí)體：用戶(User)、云服務(wù)提供商(Cloud Service Provider,CSP)、云服務(wù)管理者(Cloud Service Organizer,CSO)和第三方審計(jì)者(Third Party Auditor,TPA)。

圖1 系統(tǒng)結(jié)構(gòu)

用戶(User)可以是個(gè)人或企業(yè),它將數(shù)據(jù)存儲(chǔ)在多個(gè)CSP上,還將檢查外包數(shù)據(jù)的完整性。

云服務(wù)提供商(CSP)為用戶提供網(wǎng)絡(luò)存儲(chǔ)和計(jì)算服務(wù),但CSP可能會(huì)丟失或損壞用戶數(shù)據(jù)。

云服務(wù)管理者(CSO)是一家特殊的云服務(wù)提供商,負(fù)責(zé)在多云環(huán)境下管理多個(gè)CSP。

第三方審計(jì)者(TPA)在用戶的授權(quán)下管理或監(jiān)控外包數(shù)據(jù)。

方案的大致過(guò)程如下：

(1)用戶對(duì)數(shù)據(jù)進(jìn)行初始化,將文件分塊,并生成副本,將副本發(fā)送至CSP存儲(chǔ)。

(2)用戶生成數(shù)據(jù)標(biāo)簽并發(fā)送至TPA存儲(chǔ)。

(3)CSP驗(yàn)證收到的數(shù)據(jù)是否正確。

(4)用戶生成隨機(jī)數(shù),發(fā)送給TPA。

(5)TPA生成挑戰(zhàn)信息并發(fā)送給CSO。

(6)CSO將挑戰(zhàn)信息分派給CSP,CSPi生成證據(jù)Proofi,CSO將證據(jù)聚合成ProofCSP,并發(fā)送給TPA。

(7)TPA收到證據(jù)后,根據(jù)存儲(chǔ)的標(biāo)簽計(jì)算ProofTPA。TPA將ProofCSP和ProofTPA一同發(fā)送給用戶。

(8)用戶利用第四步生成的隨機(jī)數(shù)審計(jì)證據(jù)。

2.3 安全性假設(shè)

假設(shè)用戶和CSO是可信的。

假設(shè)CSP是半可信的,惡意或粗心大意的CSP可能會(huì)丟失數(shù)據(jù),也可能會(huì)刪除用戶很少使用的數(shù)據(jù)以減輕其存儲(chǔ)負(fù)擔(dān)。

假設(shè)TPA是半可信的。TPA可能通過(guò)與云服務(wù)器串通向用戶隱瞞數(shù)據(jù)損壞事件。

2.4 關(guān)鍵過(guò)程

多云多副本的審計(jì)系統(tǒng)方案由三部分組成：初始化階段、設(shè)置階段和公開審計(jì)階段。一些必要的符號(hào)定義如表2所示。

表2 相關(guān)符號(hào)定義

文中的一些密碼變換如下(以k表示密鑰長(zhǎng)度)：

E(·)：{0,1}k×{0,1}*->{0,1}k為對(duì)稱加密算法,用戶對(duì)文件進(jìn)行加密,如AES。

H(·)：{0,1}*->Zp為普通無(wú)密鑰Hash函數(shù),如SHA-256。

2.4.1 初始化階段

選擇兩個(gè)足夠大的素?cái)?shù)p和q來(lái)生成RSA模N=pq,并生成QRN的生成元g,將g,N公開。

用戶發(fā)送ID給密鑰生成中心,密鑰生成中心選擇兩個(gè)隨機(jī)數(shù)α∈Zp,β∈Zp,計(jì)算用戶私鑰(ssk)并將其發(fā)送給用戶保存,ssk計(jì)算如式4所示：

ssk=α+βH(ID)

(4)

2.4.2 設(shè)置階段

在設(shè)置階段,用戶將文件數(shù)據(jù)分塊,并生成各數(shù)據(jù)塊副本及標(biāo)簽,將副本發(fā)送給CSP存儲(chǔ),標(biāo)簽發(fā)送至TPA中存儲(chǔ),CSP確認(rèn)數(shù)據(jù)一致無(wú)誤后,用戶可刪除本地文件。設(shè)置階段的具體流程如下：

(1)ReplicaGen：為了減少驗(yàn)證開銷并適應(yīng)多云存儲(chǔ)的分布式環(huán)境,用戶將文件F分成n塊,F={b1,b2,…,bn},bi可以看作是一個(gè)足夠大的整數(shù)。為得到r個(gè)副本,用戶使用對(duì)稱加密算法對(duì)原始數(shù)據(jù)塊加密bij=Ek(i‖j‖bj),其中i=1,2,…,r,j=1,2,…,n,第i個(gè)副本Fi={bi1,bi2,…,bin}。同樣,用戶使用密鑰k可對(duì)bij進(jìn)行解密得到原始數(shù)據(jù)塊bj。用戶對(duì)加密數(shù)據(jù)塊計(jì)算R如式5所示,隨后用戶將r個(gè)副本文件{F1,F2,…,Fr}以及R發(fā)送給CSP存儲(chǔ)。

(5)

(2)TagGen：對(duì)于r×n個(gè)副本數(shù)據(jù)塊,用戶計(jì)算每個(gè)數(shù)據(jù)塊的標(biāo)簽Tagij如式6所示,其中i=1,2,…,r,j=1,2,…,n。Tagi={Tagi1,Tagi2,…,Tagin},用戶將r個(gè)副本標(biāo)簽{Tag1,Tag2,…,Tagr}發(fā)送給TPA存儲(chǔ)。

Tagij=gbij*sskmodN

(6)

(3)CSP confirm data：CSP收到用戶發(fā)送的數(shù)據(jù)后,計(jì)算以下等式是否成立：

(7)

若相等,則確認(rèn)數(shù)據(jù)無(wú)誤;否則,它將表明數(shù)據(jù)存在問(wèn)題。此時(shí),CSP將拒絕確認(rèn)數(shù)據(jù),并終止存儲(chǔ)服務(wù)。此時(shí)用戶并未刪除本地文件,所以用戶不會(huì)遭受任何損失。如果CSP確認(rèn)所有數(shù)據(jù)無(wú)誤,服務(wù)順利進(jìn)行,用戶將刪除本地文件。同時(shí),CSO在副本記錄表中記錄副本的存儲(chǔ)地址。

2.4.3 公開審計(jì)階段

在公開審計(jì)階段,用戶檢查多云存儲(chǔ)服務(wù),以確保外包數(shù)據(jù)安全存儲(chǔ)在CSP中。為了減少開銷,用戶將批量審計(jì)部分副本數(shù)據(jù)塊,以概率性檢測(cè)檢查整個(gè)外包數(shù)據(jù)的完整性。具體審計(jì)流程如下：

(1)ChalGen：用戶秘密生成一個(gè)足夠大的隨機(jī)數(shù)s,計(jì)算挑戰(zhàn)chal并將其發(fā)送給TPA。挑戰(zhàn)chal的計(jì)算如式8所示：

chal=gsmodN

(8)

(2)SendChallenge：TPA收到用戶發(fā)送過(guò)來(lái)的chal后,生成隨機(jī)序列I和二維數(shù)組C：

(9)

I表示e個(gè)待審計(jì)的數(shù)據(jù)塊編號(hào)序列,C表示對(duì)應(yīng)e個(gè)待審計(jì)數(shù)據(jù)塊及r個(gè)副本的r×e個(gè)系數(shù)。TPA將{chal,I,C}發(fā)送給CSO,等待CSO返回證據(jù)。

(3)ProofCSPGen：CSO分派挑戰(zhàn),各CSP計(jì)算證據(jù)返回,CSO聚合證據(jù)返回。具體步驟如下：

(a)CSO收到TPA發(fā)送過(guò)來(lái)的審計(jì)請(qǐng)求后,查詢副本記錄表找出存儲(chǔ)了待審計(jì)副本的CSP,將對(duì)應(yīng)的{I,Ct,chal}分別發(fā)送給對(duì)應(yīng)CSP。

(b)CSP收到CSO發(fā)送的I={1,3,…,j},Ct={ct1,ct2,…,cte}與chal后,計(jì)算其存儲(chǔ)的副本Ft的完整性證明prooft并將其發(fā)送給CSO,prooft的計(jì)算如式10所示。

(10)

(c)所有CSP返回證據(jù)后,CSO聚合證據(jù)計(jì)算proofCSP如式11所示,其中r為副本個(gè)數(shù),CSO將Hash(proofCSP)返回給TPA。

(11)

ProofCSPGen算法流程如下所示：

算法1：ProofCSPGen()

輸入：chal,I,C,{F1,F2,…,Fr}

輸出：Hash(proofCSP)

(1)CSO從副本記錄表中找到存儲(chǔ)了待審計(jì)副本的r個(gè)CSPid

(2)fortin range(1,r)

(3)CSPt←{I,Ct,chal}

(4)foriin range(1,e)

(5)proofi←chalctibtlimodN

(7)return Hash(proofCSP)

(4)ProofTPAGen：在CSO計(jì)算審計(jì)證據(jù)時(shí),TPA同時(shí)依據(jù)存儲(chǔ)的標(biāo)簽以及待審計(jì)數(shù)據(jù)塊編號(hào)序列I,和系數(shù)數(shù)組C計(jì)算proofTPA如式12所示,TPA返回證據(jù){Hash(proofCSP),proofTPA}給User。

(12)

(5)Audit：用戶收到TPA返回的證據(jù)后,根據(jù)用戶秘密保存的隨機(jī)數(shù)s以及ssk計(jì)算等式13是否成立。若成立,則用戶認(rèn)為CSP完好地存儲(chǔ)了數(shù)據(jù);否則,認(rèn)為TPA或CSP是惡意的,存儲(chǔ)在CSP中的數(shù)據(jù)可能遭到了損壞。

(13)

3 安全性分析

根據(jù)上述安全性假設(shè),假定用戶和CSO是可信的,他們會(huì)誠(chéng)實(shí)地執(zhí)行審計(jì)步驟,TPA和CSP是半可信的。在這種背景下,理論上分析所提方法的安全性。

在文中方案,有以下兩種可能惡意破壞公平的云存儲(chǔ)服務(wù)的行為：(1)CSP存儲(chǔ)的數(shù)據(jù)丟失,試圖使用偽造的證明通過(guò)驗(yàn)證;(2)CSP串通TPA偽造證明試圖通過(guò)驗(yàn)證。

定理1(正確性)：如果CSP和TPA都誠(chéng)實(shí)地遵守規(guī)定的程序,那么證據(jù)可以通過(guò)User的驗(yàn)證。

證明：以下等式通過(guò)從左到右的推導(dǎo),證明了Audit算法中的等式是正確的。

(14)

假設(shè)1(二次剩余問(wèn)題)：給定一個(gè)整數(shù)N=p×q,其中p和q是機(jī)密的,并且整數(shù)g

根據(jù)假設(shè)1,推導(dǎo)出定理2：

定理2：對(duì)于已知g,gsmodN和N的敵手,沒有多項(xiàng)式時(shí)間算法可以找到任何滿足s'≠s,N|gs-gs'的s'。

證明：假設(shè)存在多項(xiàng)式時(shí)間算法A1,對(duì)于給定s,g和N=p×q,總能找到一個(gè)s'滿足s'≠s,N|gs-gs′,得到以下等式：

s≡s'modord(g)

(15)

其中,ord(g)是滿足N|gord(g)-1的最小正整數(shù),并且是一個(gè)真值與s-s'|ord(g)相同的奇數(shù)。若給定g可以滿足ord(g)mod2=1,可以得到以下等式：

gord(g)+1≡g(modN)

(16)

相應(yīng)的,也可以得到以下等式：

(17)

x2≡g(modN)

(18)

如上所示,在算法A1的幫助下,可以生成一個(gè)多項(xiàng)式時(shí)間算法A2來(lái)找出滿足x2≡g(modN)的x,而它與假設(shè)1相矛盾,由此,定理2的證明已完成。

定理4：CSP串通TPA偽造數(shù)據(jù)無(wú)法通過(guò)驗(yàn)證。

綜上所述,文中方案能夠有效地檢測(cè)數(shù)據(jù)破壞或惡意偽造行為,從而確保數(shù)據(jù)審計(jì)方案能夠安全實(shí)施。

4 性能分析

該文實(shí)現(xiàn)了EMCA和文獻(xiàn)[17,20]的原型系統(tǒng),實(shí)驗(yàn)證明,EMCA大大減少了審計(jì)時(shí)間及計(jì)算開銷。實(shí)驗(yàn)硬件環(huán)境為macOS操作系統(tǒng),2.6 GHz六核Intel Core i7處理器,16 GB內(nèi)存。

4.1 理論分析

表3比較了EMCA與文獻(xiàn)[17,20]在標(biāo)簽生成、證據(jù)生成和驗(yàn)證證據(jù)階段的計(jì)算開銷。為了簡(jiǎn)化表達(dá)式,使用Tmul,Texp,Tp,Thash和Tadd分別代表一次乘法運(yùn)算、一次冪運(yùn)算、一次雙線性對(duì)運(yùn)算、一次Hash運(yùn)算和一次加法運(yùn)算所需的時(shí)間。其中,n為數(shù)據(jù)塊總數(shù),r為副本數(shù),e為批量審計(jì)的數(shù)據(jù)塊數(shù)。對(duì)比得出,在標(biāo)簽生成和驗(yàn)證證據(jù)階段,EMCA都是具有優(yōu)勢(shì)的,在整個(gè)審計(jì)過(guò)程中,與文獻(xiàn)[17,20]相比,文中方案具有更低的計(jì)算開銷。

表3 EMCA與文獻(xiàn)[17,20]的計(jì)算成本比較

4.2 實(shí)驗(yàn)分析

該文選擇了0～200個(gè)數(shù)據(jù)塊,5個(gè)副本,10個(gè)云存儲(chǔ)服務(wù)器來(lái)比較EMCA與文獻(xiàn)[17,20]在標(biāo)簽生成、證據(jù)生成和驗(yàn)證證據(jù)時(shí)的計(jì)算開銷。

圖2顯示了標(biāo)簽生成的比較結(jié)果。當(dāng)數(shù)據(jù)塊數(shù)為200時(shí),EMCA需要44 ms,而文獻(xiàn)[17]需要1 010 ms,文獻(xiàn)[20]需要2.5 s。很顯然,文中方案的時(shí)間消耗要遠(yuǎn)小于文獻(xiàn)[17,20]的時(shí)間消耗。

圖2 標(biāo)簽生成的計(jì)算成本比較

圖3顯示了證據(jù)生成的比較結(jié)果。當(dāng)審計(jì)數(shù)據(jù)塊不斷增多時(shí),EMCA的計(jì)算成本比文獻(xiàn)[17]的高,原因在于EMCA的計(jì)算成本集中在證據(jù)生成階段,審計(jì)階段所用開銷極小;而文獻(xiàn)[17]的計(jì)算開銷集中在審計(jì)階段,證據(jù)生成階段開銷較小。

圖3 證據(jù)生成的計(jì)算成本比較

圖4顯示了驗(yàn)證證據(jù)階段的比較結(jié)果。EMCA開銷最小,當(dāng)數(shù)據(jù)塊數(shù)為100時(shí),EMCA只需不到1 s,而文獻(xiàn)[17]需要71 s,文獻(xiàn)[20]需要8 s。很顯然,在審計(jì)階段,文中方案的計(jì)算成本遠(yuǎn)低于文獻(xiàn)[17,20]的計(jì)算成本。原因在于EMCA驗(yàn)證階段只需進(jìn)行兩次模冪和兩次哈希,計(jì)算成本與審計(jì)數(shù)據(jù)塊數(shù)無(wú)關(guān),而文獻(xiàn)[17,20]需要三次雙線性對(duì)配對(duì)和多次哈希、冪運(yùn)算、加法和乘法,且計(jì)算成本隨審計(jì)數(shù)據(jù)塊數(shù)增加而增加。

圖4 驗(yàn)證證據(jù)的計(jì)算成本比較

圖5顯示了一次完整的審計(jì)過(guò)程的計(jì)算成本比較。從一次完整的審計(jì)過(guò)程來(lái)看,EMCA的計(jì)算開銷遠(yuǎn)小于文獻(xiàn)[17,20]的計(jì)算開銷,如當(dāng)審計(jì)數(shù)據(jù)塊為100時(shí),文獻(xiàn)[17]一次審計(jì)需要71.8 s,文獻(xiàn)[20]需要21 s,而EMCA只需1.3 s。原因在于EMCA舍棄了計(jì)算昂貴的雙線性映射運(yùn)算,采用了模冪加密技術(shù)來(lái)保證效率與安全。

圖5 一次審計(jì)的計(jì)算成本比較

5 結(jié)束語(yǔ)

針對(duì)現(xiàn)有的多副本數(shù)據(jù)審計(jì)方案的不足,該文提出了一種在多云情景下的多副本數(shù)據(jù)完整性驗(yàn)證方案,副本數(shù)據(jù)可存儲(chǔ)在不同的云存儲(chǔ)服務(wù)器中,采用第三方審計(jì)者協(xié)助審計(jì),通過(guò)同態(tài)可驗(yàn)證標(biāo)簽可一次批量審計(jì)所有抽樣副本,大大提高了審計(jì)效率。實(shí)驗(yàn)分析與評(píng)估表明,該方案是安全和高效的。未來(lái)的工作是改進(jìn)方案使用戶不必參與審計(jì)過(guò)程,以減輕用戶端負(fù)擔(dān)。