密码协议的符号模型检测及分析

• Symbolic model checking analysis for cryptographic protocol