Cryptographic Protocol: Security Analysis Based on Trusted Freshness

"Cryptographic Prool: Security Analysis Based on Trusted Freshness" mainly discusses how to analyze and design cryptographic prools based on the idea of system engineering and that of the trusted freshness component. A novel freshness principle based on the trusted freshness component is presented; this principle is the basis for an efficient and easy method for analyzing the security of cryptographic prools. The reasoning results of the new approach, when compared with the security conditi...