Cryptographic Protocol : Security Analysis Based on Trusted Freshness - Ling Dong, Kefei Chen (Springer)