安全多方计算中的若干关键问题及其应用研究信息安全专业论文.docxVIP

巾国科学技术大学博士学位论文 巾国科学技术大学博士学位论文 摘 要 摘 要 安全多方计算(筒称SMC)是指在一个互不信任的多用户网络中，两 个或多个用户能够在不泄漏各自私有输入信息时协同合作执行某项计算 任务。该问题首先由图灵奖得主A．C．Yao于上世纪80年代初提出，而后 0．Goldreich，s．Micali和A．Wigderson提出了密码学安全的可以计算任意 函数的安全多方计算协议。1988年，M．Ben-Or，S．Goldwasser和A．Wigderson 与D．Chaum，C．Crepeau和I．Damgard几乎同时证明了信息论安全的安全 多方计算协议的存在性，并分别指出了被动攻击与主动攻击情况下串通攻 击者数目的理论上界。上述工作都集中于从理论上证明安全多方计算问题 的可解性，由于其中大量使用零知识证明，使得协议的通信复杂性很高而 极不实用。此后，安全多方计算吸引了许多学者的注意，他们在不同的模 型下对协议做了一些有益的改进。 随着Intemet的发展和普及，人们开始意识到应该有实用的SMC系统 来解决某些特定的实际问题。直到1998年，O．GoldRiech指出用通用协议 来解决安全多方计算问题的一些特殊实例是不切实际的，对于一些特殊问 题需要用一些特殊方法才能达到高效性，正是这一思想使得近年来不少学 者逐渐将SMC技术引入到数据挖掘、计算几何、统计分析、电子选举等 领域，促进安全多方计算朝着能够解决各类实际应用问题的方向发展。目 前这些求解方法基本都是将待解决问题转换为目前已有的基本SMC协议 后求解，但是缺乏求解特殊SMC问题的基本方法和步骤，可用于求解SMC 问题的基础协议也极少，并且现有的一些SMC基础协议在性能上也远未 达到实用的程度，这都制约了SMC技术的进一步发展。 本论文的研究工作分为两部分，第一部分致力于研究SMC的基本理 论及基础协议。 首先，本文对特殊安全多方计算问题的求解方法进行了研究，提出了 按照“数据伪装一交互计算一结果还原一协议分析”的过程求解SMC问 题的基本策略，即：协作计算用户首先使用数据伪装技术对自己输入的隐 私信息进行伪装，然后他们在伪装的数据集合上借助SMC基础协议进行 交互计算，再结合问题的具体特性，将得到的解恢复成原问题的最终解。 摘 摘 要 中国科学技术大学博士学位论文 这一方法准确概括了求解特殊SMC问题所必需的基本步骤，为解决各类 特殊SMC问题提供了基本思路。 紧接着本文研究了数据伪装技术，介绍了函数的秘密共享方法及z+y 伪装技术，从多精度计算的角度探讨了同态加密技术在SMC中的性能， 并对其中最核心的方幂模算法及多精度除法进行了研究，设计出了快速的 改进算法。数据伪装技术的研究为设计SMC协议做了重要铺垫。 在此基础上，本文提出了若干基础的安全多方计算问题并设计了一组 高效的SMC基础协议，包括乘法协议、叉积协议、秘密比较协议、数据 对应成比例协议及距离协议等。尤其是创造性地将计算几何中叉积的概念 应用于秘密数据比较，提出了一个新的秘密比较方法。这些基础协议为安 全多方计算中各参与方能在伪装的数据集上进行交互计算奠定了基础，是 解决SMC问题的关键技术。 本文的第二部分主要研究安全多方计算在一些特殊领域的应用问题。 首先，本文探讨了SMC在计算几何中的应用问题，系统研究了保护 私有信息的平面及空间几何对象之间的相对位置判定方法并设计了相应 的判定协议。这些问题不仅在军事、商业、金融等领域有着重要的应用前 景，也有助于SMC技术在计算几何领域的进一步应用。 其次，本文首次提出了将随机化算法应用于求解SMC问题的思想， 并以多边形相交判定及两圆相交面积计算为例研究了蒙特卡洛算法、数值 概率算法在安全多方计算中的应用。这两个问题的解决为求解特殊SMC 问题提供了一种新的思路与方法。 最后，在多方参与计算方面，本文将随机响应技术应用于保护私有信 息的布尔关联规则挖掘，解决了水平划分模型下的隐私保护问题并设计了 相应的挖掘算法。同时，将两方参与的平均值、相关系数、回9-3分析及线 性方程组求解等问题推广到了参与用户数不小于3的情形。 关键词：安全多方计算，计算几何，隐私保护，同态加密，随机算法， 协议 巾国科学技术大学博士学位论文 巾国科学技术大学博士学位论文 摘