Improved formal model and algorithm for verifying cryptographic protocols

• 改进的加密协议形式化验证模型和算法