安全多方计算中若干计算几何协议的分析-信息安全专业论文.docxVIP

第一章 第一章 绪论 安全多方计算中若干计算几何协议的研究 安全多方计算中若干计算几何协议的研究 - - - - 第一章 绪论 安全多方计算[ 1] (Secure Multi-parry Computation 简称 SMC)是目前分布式计 算与信息安全领域的一个研究热点，在理论、应用上都具有重要的研究意义。本 章首先介绍 SMC 问题的研究背景与意义，然后对研究现状和进展进行了综述， 最后介绍了本文主要工作以及结构安排。 1.1 研究背景与意义 现实中存在许多这样的问题：一组互不信任的参与者，每个参与者提供一 个保密的输入，希望在不泄露自己私有输入的情况下能够安全地合作计算一个约 定的函数；就是著名的安全多方计算问题[1,2]。 计算机和网络技术的发展使我们进入了信息时代，I nt er net 的迅速普及使 人们之间的信息交流变得更加容易、频繁，也使网络用户的协作计算急速增长， 即人们基于各自的输入相互合作执行某一计算任务。这种计算可能发生在相互信 任的合作者之间，也可能发生在不完全信任甚至相互竞争的合作者之间。如果是 发生在相互信任的合作者之间时，计算是简单的。当发生在不完全信任甚至相互 竞争的合作者之间时，计算就变得复杂起来，为了解决这样的问题，安全多方计 算应运而生。 安全多方计算拓展了传统的密码学和分布式计算[3]以及信息安全的范畴，为 网络计算提供了一种新的计算模式。目前研究的主要有以下几个问题：科学计算 [4]、计算几何[5]、多方数据排序[6]、数据挖掘[7]和比较相等[8]。国内外关于安全多 方计算的研究已有一些成果，它们在这个电子信息的时代有着很强的应用背景。 保护私有信息的计算几何[ 9] 作为一个新兴的边缘学科，己成为安全多方计算 的一个重要分支，也是解决其他计算机学科分支的重要理论基础。Atalah 等人首 先提出了计算几何的概念，介绍了一些基本的计算几何问题：点包含、最近点对、 凸包及判定多边形相交等，提出了初步的解决方法。 保护私有信息的计算几何问题是安全多方计算的一个新的研究领域，任何 一个保护私有信息的计算几何问题都有重要的应用前景；所以，如何设计高效 安全保密的几何计算协议是一个极具挑战的问题，也是安全多方计算中的一项重 要的研究任务，这也是我们研究的目的及意义。 1.2 研究现状与进展 安全多方计算是研究一组互不信任的参与方之间在保护私有信息的前提下 的合作计算问题，是目前国际密码学界的研究热点之一。安全多方计算问题最早 由 A.C.Yao 于 1982 年提出：n 个参与者 P1, P2, Pn 要以一种安全的方式共同计算 一个函数，这里的安全是指输出结果的正确性与输入信息、输出信息的保密性。 具体地讲，每个参与者 Pi 有一个自己的保密输入信息 Xi, 并共同计算函数 f ( X1, X2, , Xn) =( Y1, Y2, , Yn) 计算结束时，每个参与者 Pi 只能了解 Yi, 同时保持各自 Xi 的隐私权。 1987年，Gol dr ei ch, Mi cal i 和Wi gder son在文献[10]中提出了可以计算任意 函数的安全多方计算协议。1988年，文献[11]和文献[ 12]都证明了在信息论安全 模型中安全多方计算的可解性，并分别指出了被动攻击与主动攻击情况下串通攻 击者数目的理论上界。1998年，O. Goldreich[13]对其做了比较完整的总结。O. Goldreich指出：用通用协议来解决安全多方计算问题中的特殊实例是不可行的， 应该针对具体的问题设计具体的安全多方协议。 目前很多学者对安全多方计算进行了深入研究，产生了一些新的研究方向： 保护隐私的计算几何、保护隐私的统计分析、保护隐私的数据挖掘及保护隐私的 信息检索等。保护私有信息的计算几何是指在分布式几何计算过程中，参与方在 不泄露自己私有信息的前提下与其他参与方相互协作计算来得到正确结果。 Wenliang Du、Atallah 在文献[4，5，14，15]中，提出了计算几何的很多特定问 题，并在这个领域提出了一个研究框架[15]。在保护私有信息的几何计算领域，他 们列出了五个重要的问题，分别是：交集问题、点包含问题、范围查询问题、最 近点对问题和凸包问题。 虽然不少学者对保护私有信息计算几何进行了大量的研究，也取得了很大 的理论价值，但是这些研究目前还仅局限于少数几个领域，并且现有的计算协议 还远没有达到实用的程度。这是因为在目前的研究中，理论方法还不够完善，也 存在着时间、空间以及通信的代价太高的问题，还不能很好的应用于解决实际问 题。本文重点讨论了最近点对、集合交集、几何对象的位置求解等问题，期待找 到更加高效实用的解决方案。 1.3 本文的主要研究工作 (1) 最