Cryptographic Protocol : Security Analysis Based on Trusted Freshness - Dong, Ling.; Chen, Kefei