随着云计算的发展，特别对于那些资源受限的用户，序列比较的安全外包技术变得越来越重要了.在数据外包过程中理应具有一项很重要的功能就是可验证性.然而，对于常见序列比较外包方案，较少有安全外包方案可以验证服务器是否诚实地执行了协议.本文通过把Yao的混淆电路和同态加密技术结合起来来解决这个问题.与Blanton和Atallah提出的方案相比，我们提出的方法能使用户有效地检测出服务器的不诚实性.特别地，我们构造的方案仅在服务器畸形回复时才重新混淆电路，因此是比较有效的.除此之外，该论文在最后也列出了关于我们方案的形式化分析.本文的工作主要体现在以下几个方面：1.研究了现有的几种不同序列比较的安全外包方案，重点研究了基于编辑距离序列比较的安全外包方案，总结了现有方案的不足．2.基于半诚实(semi-honest)的服务器模型，研究了基于改进混淆电路的序列比较的安全外包问题，并把同态加密技术和混淆电路技术结合起来提出了一个新型有效可验证的序列比较的安全外包方案．该方案不仅支持序列比较的安全外包，而且实现了对计算结果正确性的检验.3.通过形式化的安全性分析，证明了提出的方案在半诚实服务器模型下是安全的并且可以正确有效地实现可验证的序列比较的安全外包．将本文的方案与Blanton和Atallah提出的方案进行了比较，结果表明我们提出的方法是比较有效的．