Improvement of authentication test based on strand spaces model
串空间模型及其认证测试方法的一种扩展与应用

Authentication test is a formal method of verifying the security protocols based on strand space model. However, it hardly analyzes some complex security protocols on account of its poor cryptographic primitives. Theory of strand spaces model and corresponding authentication test were extended by extending the message term, the in-term relation and penetrator's model. SSL3.0 handshaking protocols were analyzed with the proposed approach, and the properties of authentication were verified.