Improvement of authentication test based on strand spaces model
Guangquan Zhang · Journal of Computer Applications · 2008
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.