一个非否认协议ZG的形式化分析
范红, 冯登国
Formal Analysis of a Non-Repudiation Protocol ZG
FAN Hong, FENG Deng-guo
电子学报 . 2005, (1): 171 -173 .