安全协议的博弈论机制.pdfVIP

计算机研究与发展 DOI: 10. 7544fissn1000-1239. 2014. Journal of Computer Research and Development 51(2): 344-352 , 2014 安全协议的博弈论机制 田有亮1， 2 彭长根 1 马建峰 2 美 奇 2 朱建明 3 1 (贵州大学理学院 贵阳 550025) 2 (西安电子科技大学计算机学院 西安 71007 1) 气中央财经大学信息学院 北京 100081) (youliangtian@ 163. com) Game-Theoretic Mechanism for Cryptographic Protocol 1 2 2 3 Tian Youliang1. 2 , Peng Chenggen , Ma Jianfeng , Jiang Qi , and Zhu Jianming 1 (College of Science , Guizhou University , Guiyang 550025) 2 (School of Computer Science and Technology , Xidian University , Xian 710071) 3 (School of Information , Central University of Finance and Economics , Beijing 100081) Abstract Both game theory and secure communication protocols focus on the designing and analyzing mechanisms for parties in a collaborative manner. Yet the two fields developed very different sets of goals and formalisms. This paper studies the secure communication protocol problem in the game theoretic setting. The goal of this paper is to formulate computation and communication rules of a secure communication protocol based on Nash equilibrium in the game-theoretic framework. We firstly propose a game-theoretic model of secure protocols , including the player set , information set , available action, action sequence , player function , and utility function using the idea from universally composable security. Since our mode combines with the universally composable ideal, secure protocols can be concurrently run within this model. Secondly, the formalized definition of secure protocols is given according to concept of Nash equilibrium. Thirdly, we give an instance of secure protocol under the game-theoretic mechanism. Finally, the analysis shows that our mechanism is effect