云存儲安全審計技術(shù)研究.pdf

1、云存儲服務(wù)在全球范圍內(nèi)的迅猛發(fā)展和日益普及，使其安全問題更為突出，已成為影響其進一步大規(guī)模部署的主要障礙。而云存儲的租約模式和服務(wù)跨域執(zhí)行的特征，決定了傳統(tǒng)的基于單一安全域的安全方案無法直接適用于云存儲環(huán)境。
　　云存儲從用戶角度而言就是數(shù)據(jù)外包：用戶將自己的數(shù)據(jù)存儲在云服務(wù)商提供的遠程服務(wù)器上，平時由服務(wù)商進行數(shù)據(jù)管理和維護。這帶來的后果就是用戶失去對其數(shù)據(jù)的直接控制，所有的數(shù)據(jù)訪問都必依賴于服務(wù)方的遠程數(shù)據(jù)傳輸。其次，云存儲服

2、務(wù)運行的網(wǎng)絡(luò)環(huán)境往往由各類大規(guī)模的軟硬件系統(tǒng)構(gòu)成。由于其前所未有的開放性和復(fù)雜性，面臨的網(wǎng)絡(luò)攻擊和安全威脅更為嚴峻。最后，云存儲安全除了機密性(Confidentiality)、完整性(Integrity)、可用性(Availability)等傳統(tǒng)信息安全領(lǐng)域中強調(diào)的安全特性外，也有了一些新的安全屬性，如數(shù)據(jù)新鮮度(Data Freshness)與可問責(zé)性(Accountability)。其中，數(shù)據(jù)新鮮度主要針對重放攻擊而言，側(cè)重檢查用

3、戶收到的數(shù)據(jù)是否是最新的；可問責(zé)性側(cè)重于檢查服務(wù)的執(zhí)行過程中參與方有無違約行為。
　　研究著重云存儲環(huán)境下的數(shù)據(jù)安全，主要從以下三方面展開：
　　1.云數(shù)據(jù)的完整性審計(Remote Integrity Auditing)。不同于傳統(tǒng)信息安全系統(tǒng)中廣泛采用的數(shù)字簽名技術(shù)，完整性審計是指用戶在不擁有原始數(shù)據(jù)的情況下，通過交互式協(xié)議來驗證存儲在不可信服務(wù)器上的數(shù)據(jù)是否完整。其主要思想是由服務(wù)方通過訪問原始數(shù)據(jù)計算一個完整性證據(jù)并

4、發(fā)送給用戶或?qū)徲嫹竭M行有效性驗證，若證據(jù)能通過驗證，則能以某個高置信概率證明用戶的遠程數(shù)據(jù)未經(jīng)篡改。這種有效性證據(jù)一般是常量級的，相比數(shù)字簽名需要下載原始數(shù)據(jù)并比對簽名的方法，完整性審計能大大減少通信開銷。完整性審計方案由于其設(shè)計初衷是針對靜態(tài)數(shù)據(jù)的審計，在其方案設(shè)計中并沒有考慮對數(shù)據(jù)更新的支持，使得研究能有效支持數(shù)據(jù)動態(tài)更新的完整性審計方案成為一個研究難點。再者，現(xiàn)有的主流方案通常假定用戶是誠實的，致力于檢測服務(wù)方的不誠實行為。而實際

5、上，用戶也有潛在的動機進行欺詐。因此，這些方案在保障完整性審計的公平性上面有所欠缺。
　　針對上述問題，提出了一種完整性審計方案DAPoS：（1）通過區(qū)分數(shù)據(jù)塊的邏輯索引和用于計算完整性標(biāo)簽(tag，一種特殊的簽名)的標(biāo)簽索引，并在進行證據(jù)有效性驗證時進行索引轉(zhuǎn)換來支持數(shù)據(jù)的動態(tài)更新操作；（2）通過擴展主流方案中的安全模型來保證協(xié)議公平性，用戶和服務(wù)方之間在每次進行數(shù)據(jù)更新后相互交換重要元數(shù)據(jù)的簽名來保障完整性審計的公平性，并提供

6、沖突仲裁協(xié)議來公平有效地解決雙方之間存在的爭議。使得任何一方，無論是在完整性審計過程中還是數(shù)據(jù)的動態(tài)更新中存在欺詐行為，仲裁協(xié)議都能發(fā)現(xiàn)欺詐的一方并出示相關(guān)證據(jù)；（3）基于隨機預(yù)言機模型證明了方案的安全性，實驗分析說明數(shù)據(jù)動態(tài)更新和沖突仲裁引發(fā)的開銷都在合理范圍內(nèi)。
　　2.云數(shù)據(jù)的安全存儲。機密性、完整性和數(shù)據(jù)新鮮度是云存儲安全系統(tǒng)中必須考慮的幾個重要安全目標(biāo)。機密性一般通過數(shù)據(jù)加密來實現(xiàn)，完整性則通過數(shù)字簽名來保障。云環(huán)境中的

7、數(shù)據(jù)既包括用戶頻繁訪問的熱數(shù)據(jù)，也包括用于長期保存和備份的冷數(shù)據(jù)。對于熱數(shù)據(jù)，用戶可以通過簽名驗證的方式在訪問數(shù)據(jù)時進行完整性檢查。但對于冷數(shù)據(jù)，把數(shù)據(jù)下載到本地再驗證簽名來檢查其完整性的話，帶寬開銷太大，顯然不合適。數(shù)據(jù)新鮮度(Freshness)用來保障用戶每次從服務(wù)方接受的數(shù)據(jù)都是最新版本的，可視作數(shù)據(jù)完整性的一個外延概念。
　　針對上述問題，提出了一種基于云存儲的數(shù)據(jù)安全存儲方案SafeStore，通過引入數(shù)據(jù)持有性證明(

8、Proofs of Storage)機制來檢查用于備份的靜態(tài)數(shù)據(jù)的完整性，對于經(jīng)常訪問的數(shù)據(jù)則通過簽名驗證其完整性，從而對冷數(shù)據(jù)和熱數(shù)據(jù)提供全完整性(Full Integrity)。其次，對于傳統(tǒng)加密存儲系統(tǒng)中由于撤銷用戶權(quán)限引起的密鑰更新和重新分發(fā)問題，方案中結(jié)合了廣播加密(Broadcast Encryption)機制和密鑰回滾(Key Rotation)機制，提供了由數(shù)據(jù)擁有者主導(dǎo)的密鑰管理和授權(quán)機制，避免了依賴管理者或密鑰分發(fā)中

9、心在線分發(fā)新密鑰給用戶的問題，密鑰的更新和保存也以更為有效的方式進行處理。為保證數(shù)據(jù)的新鮮度，方案中基于Merkle哈希樹為每個數(shù)據(jù)塊組構(gòu)造一棵相應(yīng)的版本認證樹(Version Authentication Tree)，使得用戶在訪問數(shù)據(jù)時能重構(gòu)相應(yīng)的認證樹來檢查獲取的數(shù)據(jù)是否是最新的，以此來抵抗?jié)撛诘闹胤殴簟?br>　　3．云存儲的問責(zé)機制。云存儲的租約服務(wù)模式和跨域訪問特點使得任何一次數(shù)據(jù)訪問都需要雙方按照合約協(xié)同合作才能順利完成

10、，而這個過程中任何一方都有潛在的利益動機產(chǎn)生不正當(dāng)行為。可問責(zé)性(Accountability)要求云服務(wù)具備記錄、審計、追溯一切不正當(dāng)行為的能力，并在檢測到違約行為時能出示有效的證據(jù)來公平地界定責(zé)任過失方。問責(zé)機制的引入有助于緩解服務(wù)商和用戶之間的信任缺失，也是保障和促進云存儲服務(wù)的公平性和持久性的一個關(guān)鍵措施。
　　針對上述問題，提出了一種基于云存儲服務(wù)的雙向問責(zé)機制。方案中以抗抵賴和防篡改的方式記錄所有的數(shù)據(jù)訪問行為，多條記

11、錄之間以鏈?zhǔn)焦５姆绞絹肀ＷC記錄歷史的有序性。為抵抗重放攻擊，交互雙方在每次訪問協(xié)議的執(zhí)行中會交換重要元數(shù)據(jù)的簽名：用戶保存經(jīng)服務(wù)方簽名的最新記錄序列號，服務(wù)方則保存所有經(jīng)用戶簽名的訪問記錄。此外，方案中設(shè)計了對整個訪問記錄歷史進行有效性驗證以檢測違約行為的審計協(xié)議；而當(dāng)用戶和服務(wù)方關(guān)于某次數(shù)據(jù)訪問發(fā)生爭議時，可由第三方仲裁機構(gòu)根據(jù)仲裁協(xié)議進行公平有效的沖突仲裁，并出示證據(jù)來證明過失方的不當(dāng)行為?？紤]到本方案存儲的是附帶有簽名的加密數(shù)據(jù)