The proofs of Neuman-Stubblebine protocol and Kao-Chow protocol show that the proposed analysis method can easily find the type flaw attack on the Neuman-Stubblebine protocol,and provide more precise proof of the Kao-Chow protocol.

• 对Neuman-Stubblebine协议和Kao-Chow协议的分析结果表明；基于消息类型检测的认证测试方法能够发现对Neuman-Stubblebine协议的类型攻击；并且为Kao-Chow协议提供更为准确的证明.