Logic analysis of the cryptographic protocol and its improvements

• 一种安全协议的逻辑分析与改进