An Agreement Analysis Method of Security Protocol Based on Authentication Test

• 基于认证测试的一种安全协议一致性分析方法