Cryptographic Protocol Security Analysis Based on Trusted Freshness - Dong, Ling; Chen, Kefei (Springer Berlin Heidelberg, 2012)