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

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

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