Cryptographic protocol : security analysis based on trusted freshness - Ling, Dong; Kefei, Chen , 1959- (Higher Education Press ; Springer, 2012)