Cryptographic Protocol - Security Analysis Based on Trusted Freshness