Augment semantics SVO logic-based analysis of two-dimensional authentication protocol
Jin Jiang · Journal of Computer Applications · 2007
The two-dimensional construction-based entity authentication protocol without transmitting secret key in an insecure channel makes the authentication process safer and more convenient.But the validity and security of the protocol have not been proved strictly.Considering the characteristics of the entity authentication protocol,augment semantics SVO logic was used to describe its rationality and analyze its operation,and a flaw was found.A modification based on the SVO analysis was made to solve the flaw,which made the protocol more validate and more secure.