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

• Improved formal model and algorithm for verifying cryptographic protocols