Cryptographic protocol : Security Analysis Based on Trusted Freshness (2012)