基于半密实模型的隐私保护判定协议.docxVIP

基于半密实模型的隐私保护判定协议 1 安全多方计算的解决方法 安全多因素计算（smc）是一项研究群体不受信任参与者保护数据保护信息的合作计划。近年来,该问题已成为国内外信息安全学者研究的热点之一。1982年由A.C Yao首次提出来后,已经得到了一些不错的理论成果,其应用领域涵盖了科学计算与统计分析、计算几何、数据挖掘、信息检索等。由于受到计算复杂度和通信复杂度的双重制约,想构造一般通用的方法来解决现实中的实际问题是不现实的。对于特殊的应用协议,需要对通用的方法进行有效剪裁来提高协议的适应性、实用性和高效性。 保护隐私的计算几何(Privacy Preserving Computational Geometry,PPCG)是安全多方计算的一个重要分支,其主要研究的是分布式网络中计算几何的信息安全和隐私保护的问题。文献中, 作者Du和Atallah首次引入了保护隐私计算几何的概念,并指出它在军事、商业等领域有着广泛的应用前景。他们提出安全两方点乘协议,并在此基础上研究和解决了点与线关系、点与多边形关系、线段与线段关系、线段与多边形以及多边形与多边形保护隐私位置关系判定的问题。安全两方点乘协议在PPCG中有着重要的应用,此后很多的协议方案都是基于这个协议实现的。 本文分析和比较了不同的点与多边形位置关系判定算法,将铅垂线算法应用到保护隐私的点与多边形位置关系判定问题中,并结合了不经意传输协议进行两方安全判定协议的设计。与此前的协议相比较,不仅在效率上得到了提升,而且应用范围也拓展到了实数域,并能适应于任意多边形的情况(包括凸、凹、带孔的多边形)。 本文假设参与计算的双方都是半诚实的,即参与的双方严格遵照协议的规程来进行,不会出现中途强行退出或者恶意掺入虚假信息的行为。但是执行的双方可能是好奇的,他们会保存和收集协议执行过程中的信息,并期望能从这些信息中推算对方的隐私信息。 2 高效的1-to-of-m不符传输协议 这里将介绍该协议中需要使用的一个算法、一个SMC基础协议以及半诚实模型下协议安全性的定义。 算法1铅垂线段与给定线段相交计算 已知铅垂线l1顶点分别为A1(x,ya)、A2(x,yb)(横坐标相同,yayb,即A1点在A2点上方),给定线段l2顶点分别为B1(x1,y1)和B2(x2,y2)(满足y1yb且y2yb),判断l1和l2是否相交,具体算法步骤如下: (1) 如果x不属于区间[x1,x2],则断定l1与l2不相交,结束;否则继续(2); (2) 如果yay1且yay2,则断定l1与l2不相交,结束;否则继续(3); (3) 通过两点B1和B2易得过这两点的直线方程ax+by+c=0,如果将A1(x,ya)点坐标带入直线方程:①满足ax+by+c≥0,则l1与l2相交;②满足ax+by+c0,则l1与l2不相交;结束。 协议1 1-out-of-m不经意传输协议(Oblivious Transfer,OT1m1m) Alice将n个消息m1,m2,…,mn发送给Bob,协议执行后Bob只得到其中的一个消息(对Alice的隐私性),Alice并不知道Bob选择的是哪一个消息(对Bob隐私性),Bob可以确信他得到了想要的消息(正确性) 。本文将使用文献中的高效的1-out-of-m不经意传输协议,具体协议情况如下: 系统参数:(g,h,Gq),Gq是一个q阶循环群,g、h是Gq的两个生成元,而且loghghg保密。 初始化:发送者Alice的输入为:m1,m2,…,mn∈Gq;接受者Bob的选择为α,1≤α≤n。 交互步骤: Bob发送y=grhα,r∈RZq。Bob向Alice承诺要选择的消息mα。 Alice发送ci=(gki,mi(y/hi)ki),ki∈RZq,1≤i≤n。Alice将消息序列进行有效的隐藏。 Bob获得cα=(a,b),计算mα=b/ar。Bob只能计算得到他承诺的消息,其他都是无意义的信息。 协议的算法复杂度分析:Bob只需要2个摸指数运算——计算y和ar;Alice需要3个摸指数运算——计算a,yk和hk,而且a和hk都是可以被预先计算的,所以该协议是高效的。 安全定义:在半诚实模型下,假设参与计算的双方分别为Alice和Bob,设f=(f1,f2)是一个概率多项式时间的函数,Π则是参与合作计算的协议。运行协议Π的过程中,参与者Alice和Bob所到的消息序列分别记为视图ViewΠ1(x,y)=(x,r,m1111,m1212,…,m1t1t)、ViewΠ2(x,y)=(y,r,m2121,m2222,…,m2t2t),其中r为双方共同产生的随机数,双方接收到的第i个消息分别记为m1i1i、m2i2i。执行协议后,双放的输出为OutputΠ1(x,y)和OutputΠ2(x,y),显