The formal modeling for cryptographic protocols, namely security protocols, is the basis of their analysis and design.

• 摘要密码协议分析与设计的基础是对其进行形式化建模。