基于變長跳表的分布式動態(tài)數(shù)據(jù)持有證明模型的研究與應(yīng)用.pdf

1、隨著云存儲模式快速發(fā)展，越來越多的用戶選擇將自己的數(shù)據(jù)上傳到云端保存。盡管這種模式帶來多種好處，但有一個問題卻不容忽視，即服務(wù)器是不可信的。服務(wù)器端可能由于多種原因損壞了用戶的數(shù)據(jù)且向用戶隱瞞這種事故，當(dāng)用戶從云端取回數(shù)據(jù)得到的就是不完整的數(shù)據(jù)。因此，如何驗證云存儲環(huán)境下用戶數(shù)據(jù)的完整性成為研究熱點(diǎn)。數(shù)據(jù)持有證明(Provable Data Possession，PDP)是當(dāng)前解決這一問題的重要手段之一。為此，本文重點(diǎn)對PDP方法展開研

2、究。
　　基于變長跳表(Flexible Length-Based Authenticated Skip List，F(xiàn)lexList)的動態(tài)數(shù)據(jù)持有證明方案（Dynamic PDP, DPDP）是當(dāng)前數(shù)據(jù)完整性驗證的最新研究成果之一，方案滿足數(shù)據(jù)動態(tài)更新的需求，但是，F(xiàn)lexList的更新算法在處理多個連續(xù)節(jié)點(diǎn)時更新代價較高。為此，本文設(shè)計了優(yōu)化的FlexList算法(Optimized FlexList，O-FlexList)，

3、支持連續(xù)多個節(jié)點(diǎn)的批量插入、刪除、修改及其驗證操作，修改操作還支持隨機(jī)多個節(jié)點(diǎn)的操作。通過測試表明，對于連續(xù)多節(jié)點(diǎn)的更新操作，優(yōu)化的算法在執(zhí)行時間和證據(jù)長度方面都有了很大的提高，對于單節(jié)點(diǎn)更新操作，與原算法保持一致。
　　本文提出了一個分布式動態(tài)數(shù)據(jù)持有證明模型（Distributed-DPDP, D-DPDP），給出了模型的形式化定義、實體間交互協(xié)議以及模型的安全性和性能分析。模型共包括三個實體，用戶、中控服務(wù)器和存儲服務(wù)器。中