安全协议的博弈论机制

作     者：田有亮 彭长根 马建峰 姜奇 朱建明 Tian Youliang;Peng Changgen;Ma Jianfeng;Jiang Qi;Zhu Jianming

作者机构：贵州大学理学院贵阳550025 西安电子科技大学计算机学院西安710071 中央财经大学信息学院北京100081 

基　　金：国家自然基金会委员会-广东联合基金重点基金项目(U1135002) 国家科技部重大专项基金项目(2011ZX03005-002) 国家自然科学基金项目(61170280 61272398 61262073 61363068) 中国博士后基金项目(2013M530705) 贵州省自然科学基金项目(20132112) 贵州大学博士基金项目(2012-024) 

出 版 物：《计算机研究与发展》 (Journal of Computer Research and Development)

年 卷 期：2014年第51卷第2期

页      码：344-352页

摘      要：在博弈论框架下,基于纳什均衡设计安全协议的计算和通信规则.首先,提出安全协议的扩展式博弈模型,结合通用可组合安全的思想给出安全通信协议博弈参与者集合、信息集、可行策略、行动序列、参与者函数、效用函数等定义;在该模型下的安全协议能安全并发执行.其次,根据博弈的纳什均衡给出安全通信协议的形式化定义.最后,基于该机制给出一个安全协议实例,并分析该安全协议博弈机制的有效性.

主 题 词：博弈论 纳什均衡 博弈树 理性安全协议 通用可组合安全 

学科分类：0810[工学-土木类] 0808[工学-自动化类] 0839[0839] 08[工学] 0835[0835] 0811[工学-水利类] 081201[081201] 0812[工学-测绘类] 

核心收录：

D　O　I：10.7544/issn1000-1239.2014.20111375

馆 藏 号：203116572...