云搜索正確性的快速驗(yàn)證系統(tǒng).pdf

1、隨著計(jì)算機(jī)硬件和網(wǎng)絡(luò)帶寬的發(fā)展，云計(jì)算在個(gè)人的日常使用中以及商業(yè)用途中扮演起了越來(lái)越重要的角色。得益于云存儲(chǔ)容量大、高可靠、易訪問(wèn)的特點(diǎn)，越來(lái)越多的個(gè)人和企業(yè)選擇把他們的文檔存儲(chǔ)到云上。在對(duì)云文檔的操作中，搜索是一項(xiàng)常用并且有用的功能，怎么保證云搜索結(jié)果的正確性也變得越來(lái)越重要。針對(duì)這個(gè)問(wèn)題已經(jīng)有不少的相關(guān)研究工作，但是一個(gè)高效的高擴(kuò)展性的系統(tǒng)到現(xiàn)在也沒(méi)有推廣開來(lái)。
　　在研究了一些現(xiàn)有的驗(yàn)證方案之后，設(shè)計(jì)并實(shí)現(xiàn)了一個(gè)云搜索驗(yàn)證系

2、統(tǒng)，能夠快速高效地驗(yàn)證云搜索的正確性。首先，設(shè)計(jì)了一套基于 RSA Accumulator的驗(yàn)證機(jī)制，并以這個(gè)驗(yàn)證機(jī)制為基礎(chǔ)設(shè)計(jì)實(shí)現(xiàn)了一個(gè)云搜索驗(yàn)證系統(tǒng)。該系統(tǒng)采用了模塊化的設(shè)計(jì)方法，每個(gè)模塊都是一個(gè)單獨(dú)的進(jìn)程，模塊之間可以獨(dú)立部署，使得整個(gè)系統(tǒng)有很高的擴(kuò)展性和易維護(hù)性。其次，為了解決當(dāng)搜索的文檔集合比較大時(shí)，正確性證明生成速度慢的問(wèn)題，設(shè)計(jì)了一種樹狀結(jié)構(gòu)證明，通過(guò)將大的集合拆分成多個(gè)小的集合并按照樹狀組織起來(lái)，以此減少計(jì)算量，提高計(jì)算

3、并行程度，加快了證明的生成速度。還提出了一個(gè)將樹狀結(jié)構(gòu)證明用于生成完整性證明的思路，可以用于提高完整性證明的生成速度。同時(shí)，為了方便樹狀結(jié)構(gòu)證明中多個(gè)同類任務(wù)的并行計(jì)算，實(shí)現(xiàn)了一套輕量級(jí)的并行計(jì)算框架，該框架可以方便地進(jìn)行任務(wù)分派，并可以配置使用機(jī)器的數(shù)量。最后，考慮到有些計(jì)算是效率優(yōu)先而不用完全保證正確性，提出了一種基于采樣的驗(yàn)證方式，使得用戶可以根據(jù)需求在計(jì)算效率和正確性保證程度之間做出權(quán)衡。
　　使用兩個(gè)真實(shí)數(shù)據(jù)集進(jìn)行實(shí)驗(yàn)評(píng)