Security Analysis of Cryptographic Protocols Based on Fine-Grained Freshness
CHENG Zhengjie,CHEN Kefei,LAI Xuejia
Acta Scientiarum Naturalium Universitatis Pekinensis . 2010, (5): 763 -770 .