Keywords security protocol;strand space model;authentication tests;improved authentication tests;AAAP algorithm;authentication protocols;

• 安全协议;串空间模型;认证测试方法;改进的认证测试方法;AAAP算法;认证协议;