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

• Logic analysis of the cryptographic protocol and its improvements