Cryptographic protocol was specified as the procedure of challenge and response using cryptography

not only to confirm the existence of other principals but also to negotiate about some data such as session keys. Applying the idea and some authentication logic results

a new efficient method that provided SSM semantics-based definition of authentication goal was proposed

which summed up correspondence analysis as the analysis of the existence relationship of strands and the consistence of strand parameters.