论文部分内容阅读
理性密码协议作为密码协议与博弈论交叉的一个研究领域，主要研究的是引入博弈论中理性参与者的密码协议。现有的理性密码协议都是通过博弈论的分析来说明协议的可行性和安全性，这是由于理性假设的苛刻，使得理性密码协议不易在实际的网络环境中运行，从而也很难通过协议的实现来检测协议。本文通过多主体仿真对理性密码协议进行仿真，观察理性参与者执行协议的过程和结果。 多主体仿真在复杂适应系统研究领域有广泛的应用，理性密码协议可以看作是一个多方博弈模型或者是一个多主体系统，从而使用基于Agent的技术建模，基于多主体仿真平台对其进行仿真。本文做了如下工作: 1.以Repast为平台，使用有限状态自动机模型，我们以Halpern和Teague提出的(3，3)理性秘密共享方案为例，描述如何在Repast仿真平台上进行多主体的仿真，并给出具体的仿真过程，根据仿真的结果分析协议中随机参数的选取对协议执行轮次的影响。 2.以Ascape为平台，使用重复博弈模型，我们以Mehrdad等人提出的社会理性秘密共享方案为例，描述如何在Ascape平台上进行多主体仿真，并给出具体的仿真过程，根据对3个不同情形仿真的结果分析方案中各个参数对协议的影响。 3.从实验中我们可以看出，与Swarm相比，Repast设计状态机的思想更加适合于理性密码协议的仿真，而Ascape中提供的简洁的编程过程和方便的规则功能，也更适合一般仿真的实现和分析。