始于2004年的理性多方计算(Rational Multiparty Computation,RMPC)是密码学的新兴研究方向,在多方隐私保护合作计算、电子商务等领域有重要应用。本文旨在建立有限理性假设下的RMPC协议形式模型,使用仿真的方法分析现有RMPC协议在这种情况下的一致性(简称“一致性”),即在有限理性主体假设下,现有RMPC协议能否在博弈达到均衡时,得到协议设计时所期望的输出。具体地,本文进行了以下方面的研究：(1)使用有限自动机建立了RMPC协议的形式模型,以Kol和Naor提出的理性两方秘密共享协议为实例,在Swarm仿真平台上进行了模型的仿真,得到了在有限理性假设下理性两方秘密共享协议能够有一致性输出的参数条件。(2)以扩展行为的Petri网来描述每个参与者的内部状态变化,结合多主体仿真理论,建立了有限理性主体决策的Petri网模型,以(k,n)理性秘密共享协议为仿真实例,对可能影响RMPC协议一致性的变量和参数进行了仿真研究,验证了该模型的有效性。(3)基于Swarm仿真平台,设计了仿真RMPC协议所需要的类,详细地介绍了这些类中的关键实现方法；针对Swarm库函数中几个比较隐蔽的软件Bug进行了深入讨论,提出了相应的解决方法。