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

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

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

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