安全多方计算中秘密匹配问题的研究

来源 :中国科学院软件研究所 | 被引量 : 0次 | 上传用户:jhq0327
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
安全多方计算是近年来发展起来的一个研究方向,是密码学的重要分支,许多基础的密码学问题比如认证、密钥交换、签名等都可以用安全多方计算协议来解决。而秘密匹配问题是安全多方计算中的一类具体问题,在电子交易、秘密数据挖掘等方面有着重要的应用价值,对该问题的研究也倍受重视。   本文主要研究秘密匹配问题中的数值比较问题和集合运算问题,设计解决这两类秘密匹配问题的安全计算协议。本文研究的数值比较问题包括相等比较和大小比较,本文研究的集合运算问题包括判定性集合包含关系问题和集合交集等问题,旨在设计有效的数值比较协议和集合运算协议。本文主要研究成果和创新点:   分析了Cachin提出的比较大小协议以及秦静等提出的两个数值比较协议,发现这些协议的安全性证明有不足之处,并给出了正确的安全性证明。   提出了联合秘密相等比较问题。两个成员各自有一个秘密输入,在第三方参与的情况下进行相等比较,两个成员和第三方都能获得比较结果。基于同态加密方案,提出了一个联合秘密相等比较协议,并证明了协议的安全性。协议需要3轮通信,其计算复杂度和通信复杂度是输入长度的线性函数。改造了联合秘密相等协议,构造了一个比较相等协议,协议与已有最高效的协议具有相同的效率。   借鉴公平相等比较协议的思想,在Lin和Tzeng提出的比较大小协议的基础上引入一个半可信第三方,构造了一个公平的比较大小协议,并证明了协议的安全性。协议需要4轮通信,其计算复杂度和消息复杂度是输入长度的线性函数。   改造了一个判断集合交集是否为空的协议使之适用于判断集合是否具有包含关系的问题,分别基于同态加密和叠加密,构造了两个具有不同效率的判断集合包含关系的协议。   将信息论模型中协议常用的可验证秘密分享技术与密码学模型中求集合交集的思想结合,构造了一个无条件安全的多方集合交集协议,并分析了协议的效率和安全性。   提出了一个新的集合秘密运算问题。n个成员P1,…,Pn,每人有一个秘密的集合,分别记作S1,…,Sn。假设Pn是成员的领导者,tt次,那么Pn就得知Si中是否包含wj,否则,Pn不能得知任何信息,i=1...,n-1。即除了计算结果和其秘密集合所隐含的信息外,领导者Pn不能获得任何关于其他成员秘密集合的有用信息。在半诚实模型中,对于阈值2(n-1)/3
其他文献
随着感知和通信技术的发展,无线传感器网络在军事和民用特别是环境监测领域已经得到了广泛的应用。轮廓查询在涉及多目标决策的无线传感器网络应用中起着非常重要的作用。尽管
多核处理器已经成为处理器体系结构的主流发展方向。多核处理器中,高速缓存(Cache)结构通过将共享存储空间中的数据缓存在本地,加速了数据获取的过程,同时也带来了多核间数据一
查找效率问题是构建P2P网络的一个根本性问题,利用分布式哈希表,结构化的对等(Peer-to-Peer,简称P2P)网络具备了较少的路由跳数,然而此路由跳数只是P2P覆盖网络中的路由跳数,并没
随着Web的迅速发展和普及,可以获取信息的种类和结构日益丰富,从传统关系数据库到分布于Web上的大量半结构化信息,以及日益增多的HiddenWeb数据信息。如何实现基于Web的分布式信
随着人机交互技术的发展,各种新的交互手段不断涌现,使人机交互朝着更加自然、高效和更加智能化的方向前进。基于视频的交互(VBI,VisionBasedInteraction)或基于摄像头的交互(CB
学位
网络的对等技术(Peer-to-Peer)和网格(Grid)研究的深入,有力地推动Intenet上信息服务的发展。信息服务包括:分布式部署、信息的发现、存储服务、查询服务、服务组合、内容发布与
最近几年,因特网“杀手级应用”已经由Web浏览演变为P2P,基于P2P的下载工具已经成为因特网上最流行的下载软件。研究表明,P2P流量已经消耗了60%以上的网络带宽。P2P业务的不断增
现有的结构模式识别方法一般应用在已知的领域,要对一个不了解的专业领域实行结构模式识别,必须首先获取该领域的专业知识,而这往往要耗费很多的时间和精力。本文提出了一种独立
形式化开发安全保证技术是高安全等级操作系统的关键技术难点,国内尚未见相关研究成果,论文围绕高安全等级操作系统开发的整个生命周期,研究了安全策略模型和顶层规范的形式规范
传统高速互连网络中,采用基于客户机/服务器和消息传递的通信模型。在这种模型中,不仅需要软件为通信双方建立起连接,数据的传输过程也需要调用网络协议栈、文件系统以及存储管