论文部分内容阅读
本文在博弈论框架下，基于纳什均衡设计安全协议的计算和通信规则。首先，提出安全协议的扩展式博弈模型，结合通用可组合安全的思想给出安全通信协议博弈参与者集合、信息集、可行策略、行动序列、效用函数等定义；其次，根据博弈的纳什均衡给出安全通信协议的形式化定义；再次，基于该机制给出一个安全协议实例。最后通过实例分析该安全协议博弈机制的有效性。