一种理性安全协议的博弈逻辑描述模型 (Game Logic Formal Model of Rational Secure Protocol). - Hai Liu 007; Changgen Peng; Hong Zhang; Zhijing Ren (计算机科学, 2015)