有效异步理性安全多方计算协议的设计与分析

来源 :云南大学 | 被引量 : 0次 | 上传用户:yuxk781224
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
早期的安全多方计算协议都是在同步网络模型下研究的,但是这类网络模型不能够模拟像Internet这样的实际网络。异步网络模型能更好地模拟实际网络,但是在异步网络模型下,当一个参与者没有接收到其他参与者发送的消息时,这个参与者不能判定是发送方被贿赂了还是消息被延迟了,因此可能会造成无止境的等待。鉴于异步网络模型这样的内在特点以及异步安全多方计算协议的现实应用价值,如何设计异步安全多方计算协议乃至有效异步安全多方计算协议是本文重点研究的问题。  进行安全多方计算需要得到其他参与者的输入,在异步网络模型下设计协议可能会导致一直等待所有参与者输入的情况,本文在异步网络模型下设计安全多方计算协议,从异步多方计算的输入分发瓶颈着手,从本质上提高协议的效率。  本文的研究主要划分为以下三个部分:  (1)设计了一个适合于理性密码协议的多优先级驱动、多轮次的协商核心集协议,协议考虑参与者是理性的情况,利用优先级对参与者实施惩罚,使参与者间的信息能够快速共享,加速了核心集合的生成。  (2)设计了一个有效异步理性安全多方计算协议,在多方计算的协议设计中加入适合于理性密码协议的多优先级驱动、多轮次的协商核心集协议,解决了在异步网络模型下可能会导致一直等待所有参与者输入的问题。  (3)针对现有文献中参与者剔除技术惩罚力度过大的缺点,利用博弈惩罚机制的思想,设计了新的参与者剔除惩罚方案。考虑到异步网络模型具有在一个时间点发送的消息经历一个随机的时间延迟到达对方的特点,新的方案惩罚力度不至于太大,避免剔除掉一些不是由于参与者本意而出错的参与者。  在设计异步理性安全多方计算协议时加入协商核心集协议和参与者剔除惩罚机制,在保证安全多方计算协议的正确性、安全性的同时,从时间上提高了协议的执行效率,优化了协议的性能。
其他文献
我们的生活中需要面对各种各样的风险,面对风险时人们更加愿意采取保险的方式来转移风险。保险行业经过多年的演化与发展,在我们日常生活中扮演着越来越重要的角色,与此同时保险
关于奇异型随机控制问题,已有很多研究,但多数研究的是时间无穷的情形.该硕士论文主要研究了带停时的奇异型折扣费用的问题,给出了最佳控制的存该区域,并根据参数的不同,给出
在多自主体系统中,每个自主体之间不只是合作关系,还存在竞争关系.针对这类系统,本文研究了通讯噪声影响下多自主体系统的双向趋同问题.我们在双向趋同协议的设计中首次引入了时
二元码的检错性能在编码理论中占有重要的地位,码的不可检错误概率是反映数字通信系统性能的一个重要参数.二元等重码作为检错码得到了广泛的应用.二元2-重量码作为等重码的
种群动力系统是生物数学的重要分支学科之一,在种群动力系统的研究中,各种各样的模型都具有广泛的生物意义.学者们主要运用数学理论和数学模型分析复杂的生物系统的内在特征,例
随着城市规模的扩大,环卫车辆的技术升级迫在眉睫.本文选取某企业主打产品可卸式垃圾车为研究对象,运用虚拟样机技术的ProE三维建模软件对主要工作部件拉臂机构进行建模,然后
设Γ为一个有限的、连通的无向图,用VΓ,EΓ,AΓ和Aut(Γ)分别表示图Γ的点集、边集、弧集和全自同构群。对任意的α∈VΓ,记Γ(α)是与α邻接的所有点的集合,Γ(α)的大小称为图
本文研究了在连接项中带变时滞的神经网络模型解的存在性和稳定性,首先,利用指数二分和不动点定理,建立一些条件,得到了在连接项中带变时滞的中立型神经网络模型的解的存在性和指
本文运用时标上不等式的性质和Lyapunov函数,研究如下两类食物链模型:{xΔ1(t)=r1(t)-a11(t)exp{x1(t)}-a12(t) exp{x2(t)},xΔ1(t)=-r2(t)+a21(t) exp{x1(t)}-a22(t) exp{x2(
算子理论是数学学科中的一个重要分支,可以为许多数学分支的发展提供强有力的理论支持,例如微分方程、概率论和函数论等.不仅如此,它还被广泛应用到控制论、量子力学和量子信息