论文部分内容阅读
安全多方计算(Secure Multi-Party Computation,SMC),是指在一个不安全的网络上,多个参与方(两个或者两个以上)为了完成同一计算任务,共同协作进行计算。每一方只能获得他们希望的计算结果,而对其他人的输入或输出一无所知。A.C.Yao于1982年的文章中提出了安全多方计算的概念后,Goldreich,Micali和Wid-gerson在1987年的文章中提出了可以计算任意函数的安全多方计算协议。后续出现了大批的研究成果。但这些研究成果都采用了相似的方法,那就是把计算问题表示成一个组合电路,各方在电路的每一个门上运行一个短协议。这种方法非常简单并且具有通用性,而产生的协议主要依靠电路的规模。这种方法有两个缺点,一个是复杂函数设计电路困难,电路的规模变大,效率非常低;另外一个缺点是为了抵抗恶意模型,需要使用大量的零知识证明,使得协议的通信复杂性非常高。 Goldreich等人已经在多方安全计算的理论研究上做了大量的工作,给出了基于不同安全模型下的形式化的安全定义,也给出了构造安全多方计算协议的通用方法。但基于通用方法构造的协议并不适用于实际应用。很多学者开始针对不同的实际问题研究相应的安全多方计算协议。例如,隐私保持的科学计算,隐私保持的数据库查询,隐私保持的数据挖掘,隐私保持的几何计算以及隐私保持的统计数据分析。本文也专注于安全多方计算的应用协议,对网格计算,关键字搜索以及科学计算进行了研究,得到很多研究成果。 本文的创新点和研究成果概括如下: 总结了安全多方计算中的网格外包计算的研究现状和一些基本协议。又根据管理者的计算能力给出了两种不同情形下的欺骗检测方案,并结合计算函数f的特点,对欺骗检测方案进行了安全性分析。在已有的二重检测方案的基础上,又提出了一种基于二重检测方案的二次分配方案。 我们分析了网格计算中的常见问题—稀有价值筛选问题,提出了针对Du方案的一个改进方案。另外,我们还提出了一个更加安全有效的新方案,并对方案的安全性进行了分析。 对隐私保持的关键字搜索研究的现状进行了总结,按照单关键字查询,多关键字查询进行了研究。在单关键字查询中,分析了基于私钥加密方案和基于公钥加密方案构造隐私保护的关键字搜索的方法。 介绍了模糊关键字搜索机制,构造了一种安全的多关键字模糊搜索机制并对安全性进行了证明。 安全多方计算中的科学计算外包应用非常广泛。我们重点对实用型的数据隐藏方法进行了研究。在总结了现有的数据隐藏方法的基础上,对很多协议进行了改造。在外包解方程中,对更多的参数提供了保护;在原有的线性方程协议基础上,我们通过改变随机函数的选取,使得外包函数可以更好的融合,确保其安全性和隐秘性;对于非线性方程,我们举出更多的应用和一些新方法,使其对可线性化和不可线性化的非线性方程有更多处理办法。 最后我们介绍了隐私保护的线性规划的外包协议,并提出了隐私保护的线性约束条件的凸二次规划外包协议。