支持理性多方计算协议的群组通信基础研究

来源 :云南大学 | 被引量 : 0次 | 上传用户:youjiaxiaogege
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
新兴的理性多方计算(Rational Multiparty Computation, RMPC)是多方博弈、安全多方计算、多方通信等分支的交叉研究领域,致力于解决理性主体假设下协议运行结局与预期解的一致性问题。理想广播信道是已有RMPC协议在理论研究中极为重要的信道假设,对安全性和性能有着重要影响,支持RMPC协议实现的群组通信基础方面的研究尚未见诸国内外文献。实现群组通信常见方式有广播信道、多播协议等。在Internet中,RMPC的实现需要一种有效的群组通信机制来满足其对理想广播信道的需求,能够实现理想广播的网络基础结构是多播通信。本文以支持RMPC实现的群组通信基础为主题,进行了以下研究工作:(1)提出在现实网络中以多播模拟实现RMPC所需的理想广播信道,设计了多播与RMPC结合的体系结构—MPC over Multicast。(2)对RMPC所需求的多播安全性、原子性、有序性、同时性、公平性等性质进行复合研究,并提出上述多播性质间的层次体系结构。(3)基于Rabin二次剩余难题设计了不同网络环境下的三类组密钥管理协议,保证多播通信的安全性;设计了基于密码学机制的多播原子性协议、基于令牌传递的多播有序性协议和基于时钟同步的多播同时性协议。在JGroups基础上,实现了上述特殊性质相关的协议,形成了相应的开源类库。通过把需要分别单播的消息连接后在组内多播,将协议的通信复杂度降低了一个数量级,将节点处理延迟降低为原来的1/n。实验表明,本文研究成果可为RMPC的实现提供相对理想的公平、安全、可靠的群组通信基础。
其他文献
零和理论是组合数论的一个重要领域,我们主要研究零和理论中的零和序列,它是在有限阿贝尔加群中元素满足其和为0的序列。其中,确定最小的整数l使得对在G中任意的长度至少为Z的序
学位
非线性不可压模型在实际工程问题中普遍存在,比如,当考虑的不可压弹性材料具有大形变时,线性不可压弹性模型便不能刻划该弹性材料所处的状态,因此必须考虑非线性不可压弹性模
在因特网数据传输的科学研究领域中,信息传输平台是最重要的部分。从八十年代网络第一次发生拥塞、崩溃开始,如何避免网络拥塞已成为比较热门的研究问题之一。   为了解决
本文研究宏观经济变量对股票价格指数的预测效果,发现并解决宏观变量中存在的多重共线性问题。研究首先建立多因子模型,在此基础上使用逐步回归、岭回归与主成分回归等不同的
本文的内容主要分三部分。第一部分从简单的无套利和期权定价公式出发,介绍基础的利率衍生品,并引入本文重点讨论的固定期限利率掉期产品CMS.在假设波动率模型存在的情况下,
本文详细讨论了拟凸哈密顿系统的有效稳定性问题,介绍了两种证明有效稳定性的方法:一种是Poschel改进后的经典方法,另一种是Lochak发展的用周期轨逼近的方法。另外我们会对这
本文将主要基于各种新模型研究椭圆曲线上的有效算术以及椭圆曲线与超椭圆曲线上的快速配对计算.在椭圆曲线的有效算术方面,将发展和丰富由徐茂智,赵春来等率先引进的基于局
本文分三个部分.第一部分给出了关于有限Coxeter群的(扭)共轭类中的长度最小元素的一些重要性质的统一证明。第二部分我们将第一部分的主要结果推广到仿射Weyl群中去并给出了
非线性微分方程特定边值问题解的存在性及其性质的研究无论是偏微分方程还是常微分方程都已经取得相当丰富的成果,由于与物理学等其他学科的紧密联系,国内外大量的数学家,物