Strand space model is a new formal analysis tool to the analysis of cryptogram protocol.

• 串空间模型是一种新兴的密码协议形式化分析工具。