云計(jì)算中序列比較的外包方案的研究.pdf

1、隨著云計(jì)算的發(fā)展,特別對于那些資源受限的用戶,序列比較的安全外包技術(shù)變得越來越重要了.在數(shù)據(jù)外包過程中理應(yīng)具有一項(xiàng)很重要的功能就是可驗(yàn)證性.然而,對于常見序列比較外包方案,較少有安全外包方案可以驗(yàn)證服務(wù)器是否誠實(shí)地執(zhí)行了協(xié)議.本文通過把Yao的混淆電路和同態(tài)加密技術(shù)結(jié)合起來來解決這個(gè)問題.與Blanton和Atallah提出的方案相比,我們提出的方法能使用戶有效地檢測出服務(wù)器的不誠實(shí)性.特別地,我們構(gòu)造的方案僅在服務(wù)器畸形回復(fù)時(shí)才重新混

2、淆電路,因此是比較有效的.除此之外,該論文在最后也列出了關(guān)于我們方案的形式化分析.本文的工作主要體現(xiàn)在以下幾個(gè)方面:
　　1.研究了現(xiàn)有的幾種不同序列比較的安全外包方案,重點(diǎn)研究了基于編輯距離序列比較的安全外包方案,總結(jié)了現(xiàn)有方案的不足.
　　2.基于半誠實(shí)(semi-honest)的服務(wù)器模型,研究了基于改進(jìn)混淆電路的序列比較的安全外包問題,并把同態(tài)加密技術(shù)和混淆電路技術(shù)結(jié)合起來提出了一個(gè)新型有效可驗(yàn)證的序列比較的安全外包