【摘 要】
：
始于2004年的理性多方计算(Rational Multiparty Computation,RMPC)是密码学的新兴研究方向,在多方隐私保护合作计算、电子商务等领域有重要应用。本文旨在建立有限理性假设
论文部分内容阅读
始于2004年的理性多方计算(Rational Multiparty Computation,RMPC)是密码学的新兴研究方向,在多方隐私保护合作计算、电子商务等领域有重要应用。本文旨在建立有限理性假设下的RMPC协议形式模型,使用仿真的方法分析现有RMPC协议在这种情况下的一致性(简称“一致性”),即在有限理性主体假设下,现有RMPC协议能否在博弈达到均衡时,得到协议设计时所期望的输出。具体地,本文进行了以下方面的研究：(1)使用有限自动机建立了RMPC协议的形式模型,以Kol和Naor提出的理性两方秘密共享协议为实例,在Swarm仿真平台上进行了模型的仿真,得到了在有限理性假设下理性两方秘密共享协议能够有一致性输出的参数条件。(2)以扩展行为的Petri网来描述每个参与者的内部状态变化,结合多主体仿真理论,建立了有限理性主体决策的Petri网模型,以(k,n)理性秘密共享协议为仿真实例,对可能影响RMPC协议一致性的变量和参数进行了仿真研究,验证了该模型的有效性。(3)基于Swarm仿真平台,设计了仿真RMPC协议所需要的类,详细地介绍了这些类中的关键实现方法；针对Swarm库函数中几个比较隐蔽的软件Bug进行了深入讨论,提出了相应的解决方法。
其他文献
独立分量分析(Independent Component Analysis,ICA)方法是从多维数据中寻找其内在具有独立性和非高斯性因子的一种盲源分离方法。独立分量分析方法可以在不知道源信号及混合
森林蓄积量是森林生态系统中最基本的数量特征，它是森林生态系统在长期生产与代谢过程中积累的结果。它是反映森林资源总规模的基本指标之一，也是反映森林资源的丰富程度、衡量
一以贯之的应试教育让我们的基础教育往往以知识的传授作为主导,对于培养学生的全面素质,例如培养学生的思维能力、对美的鉴赏能力以及对音乐的欣赏与感知能力,这些部分常常
《音乐课程标准》的实施,为音乐教育改革增添了浓重的一笔.如何优化音乐的教学效应,是一个有待解决的实际问题.普通音乐教育应以培养和发展学生健康的音乐、审美情趣和审美情
本文主要研究了时标上具有▽导数的分数阶微分方程的一些结论.首先,在时标上定义了▽-Laplace变换,分数阶▽幂函数,▽-Mittag-Leffler函数作为准备.然后在此基础上,分别在第
该文研究了具一般功能性反应的捕食者——食饵系统的全局稳定性,以及极限环的存在性,唯一性.通过一系列的非退化线性变换,系统被归结为我们熟知的Liénard系统,从而得到了系
该文从几何的观点出发,建立了线性且迭代解法的几何理论,揭示了线性方程组迭代法的几何实质,明确指出了如Jacobi、Gauss-Seidel、SOR等迭代法的几何本质并得到了一个有趣的结
在经济学、金融保险学、社会学、教育心理学、生物医学、工程技术等研究领域中，涉及到许多变量，其中一些变量本身不是不可观测的，但由于一些外在的原因致使这些变量没有被观测到
慕课以其显著的优势迅速风靡全球,它的出现是对传统教育的挑战.作为西班牙语教师也面临了机遇和挑战.本文立足于西班牙语本科教学的长远发展,提倡在西班牙语本科教学中引入慕
在这篇论文中，我们研究一些排序中的反问题.我们首先研究单台机器上的一个反问题，即以最大延迟时间为目标函数的单台机器排序问题反问题;然后我们研究了平行机上的两个反问题: